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