Dear authors, I am a PhD student at Technical University of Iasi, Romania and I also work with professor Cristian Mahulea from University of Zaragoza, Spain. During my research I'm finding the Spot tool to be very useful. I am writing to you as I encountered an error during the installation of Spot during the "make check" step. The generated file is attached below and it is not clear to me how I can solve this problem. I tried multiple times to install the tool, even by skipping the "make check" step, but in this case another error appeared when trying to install the stable package "python3-spot" - the python version that I have (meaning 3.9.7) is not >=3 python 3.5, which is quite strange. What would you recommend me to do? Thank you, Ioana Hustiu