Bug#814680: RFS: stp/2.1.2+dfsg-1 [ITP] -- Simple theorem prover

[Marko Dimjašević]

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ć <marko at 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)
> 
> 

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: This is a digitally signed message part
URL: <http://lists.alioth.debian.org/pipermail/debian-science-maintainers/attachments/20160221/34a7362a/attachment.sig>