Sponsoring stp/2.1.2+dfsg-1 [ITP] -- Simple theorem prover

[Marko Dimjašević]

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ć <marko at 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ć <marko at dimjasevic.net>
Reply-to: Marko Dimjašević <marko at dimjasevic.net>,
814680 at bugs.debian.org
To: submit at 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



-------------- 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/20160215/d3e015c7/attachment.sig>