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