Hi,
I'm a master student at RWTH Aachen, and am using spot as part of my master
thesis. Thank you very much for developing and providing this awesome tool!
However, I noticed that when attempting to install python3-spot via `apt
install`, it fails with:
The following packages have unmet dependencies:
python3-spot : Depends: python3 (< 3.10) but 3.10.6-1~22.04 is to be
installed
E: Unable to correct problems, you have held broken packages.
Checking out the package index at
https://www.lrde.epita.fr/repo/debian/stable/Packages (Cmd-F for
`python3-spot_2.11.5.0-1`), I notice that the package indeed specifies
`python3 >= 3.9, python3 << 3.10` as a dependency, making it so it can only
be installed alongside Python 3.9.
I don't know what this restriction is used for, and would greatly
appreciate it if it can be removed.
Thank you,
Marcel