Dear all, Let me know if I can do something to get you interested in sponsoring this package for the Simple theorem prover. I am desperately looking for a sponsor. The package has been in the New queue before. Its details are given below. The package is also available on Alioth:
git.debian.org/git/debian-science/packages/stp.git -- 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 On Sat, 2016-02-13 at 17:41 -0700, Marko Dimjašević wrote: > 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) > >
signature.asc
Description: This is a digitally signed message part
