Dear all, I am looking for a sponsor for an ITP package for the Simple theorem prover (STP). STP is a constraint solver that can solve many kinds of problems including those by program analysis tools, theorem provers, automated bug finders, cryptographic algorithms, intelligent fuzzers and model checkers. It is a dependency for KLEE, another tool I've been packaging.
Its first upload was sponsored directly (i.e., without an RFS) and the upload was rejected from the New queue. The same sponsor doesn't seem to be available at the time to sponsor this upload. I fixed the issue with the first upload (missing copyright info, as explained below) and now I am looking for a sponsor. If you are interested, please see my RFS below or visit: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=814680 -- Kind regards, Marko Dimjašević <ma...@cs.utah.edu> . University of Utah https://dimjasevic.net/marko . PGP key ID: 1503F0AA Learn email self-defense! https://emailselfdefense.fsf.org -------- Forwarded Message -------- From: Marko Dimjašević <ma...@dimjasevic.net> Reply-to: Marko Dimjašević <ma...@dimjasevic.net>, 814...@bugs.debian.org To: sub...@bugs.debian.org Subject: Bug#814680: RFS: stp/2.1.2+dfsg-1 [ITP] -- Simple theorem prover Date: Sat, 13 Feb 2016 17:41:30 -0700 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
signature.asc
Description: This is a digitally signed message part
-- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers