Hi, I am neither a DM nor any mentor student but I have tried to start working on packaging the following: https://www.eprover.org/ or https://github.com/eprover/eprover My first attempt is here on Salsa: https://salsa.debian.org/Peutch-guest/eprover Is this interesting? (before going further with RFP/ITP, etc.) Cheers, Patrice