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
mgerber59@gmail.com writes:
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.
The Python API we use is version dependent, so those restrictions are automatically added by Debian's build scripts. We build the packages for _all_ versions of Python listed as supported by Debian. Currently Debian stable (bullseye) only supports 3.9 and Debian testing/unstable (bookworm/sid) only supports 3.11.