Package: sponsorship-requests Severity: wishlist Dear mentors, I am looking for a sponsor for my package "stp" * Package name : stp Version : 2.1.2+dfsg-1 Upstream Author : STP developers * URL : https://stp.github.io/ * License : Expat and others Section : science It builds those binary packages: python-stp - Simple theorem prover library bindgings for Python stp - Simple theorem prover To access further information about this package, please visit the following URL: http://mentors.debian.net/package/stp Alternatively, one can download the package with dget using this command: dget -x http://mentors.debian.net/debian/pool/main/s/stp/stp_2.1.2 +dfsg-1.dsc More information about STP can be obtained from https://stp.github.io/. Changes since the last upload: - new upstream release - added copyright for the OutputCheck archive per Thorsten Alteholz's instructions (ftp-master) -- Kind regards, Marko Dimjašević https://dimjasevic.net/marko
Attachment:
signature.asc
Description: This is a digitally signed message part