Your message dated Tue, 10 Apr 2012 17:32:17 -0400
with message-id
<CAFtUYSnqkK=73shnwvwntvz_puskyq4rssoj7qvk1dahjfg...@mail.gmail.com>
and subject line Re: Bug#661570: Is this done?
has caused the Debian Bug report #661570,
regarding RFS: cvc3/2.4.1-1 -- Automatic theorem prover for SMT problems
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
661570: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=661570
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: sponsorship-requests
Severity: normal
Dear mentors,
I am looking for a sponsor for my package "cvc3". This is an existing
package that has been updated for a new upstream version. I haven't been
able to get in touch with my previous sponsor.
Please CC: me in any reply.
Package name : cvc3
Version : 2.4.1-1
Upstream Author : Clark Barrett
URL : http://www.cs.nyu.edu/acsys/cvc3/
License : BSD
Section : math
It builds those binary packages:
cvc3 - Automatic theorem prover for SMT problems
cvc3-el - Emacs mode for CVC3
libcvc3-5 - Automatic theorem prover library for SMT problems
libcvc3-5-dev - Automatic theorem prover library for SMT problems
(development files)
libcvc3-5-java - Java bindings for CVC3 (bytecode library)
libcvc3-5-jni - Java bindings for CVC3 (native library)
To access further information about this package, please visit the
following URL:
http://mentors.debian.net/package/cvc3
Alternatively, one can download the package with dget using this command:
dget -x http://mentors.debian.net/debian/pool/main/c/cvc3/cvc3_2.4.1-1.dsc
Changes since the last upload:
cvc3 (2.4.1-1) unstable; urgency=low
* New upstream release (Closes: #660244)
* Updating to standards version 3.9.2
* Switching to dpkg-source 3.0 (quilt) format
* Changing default-jdk-builddep build dependency to default-jdk
* Re-enabling libcvc3-jni on kfreebsd-amd64 (Closes: #576335)
-- Christopher L. Conway <[email protected]> Sat, 25 Feb 2012 13:54:15 -
Regards,
Chris
--- End Message ---
--- Begin Message ---
Version: 2.4.1-2
Thanks for the reminder. This package version was sponsored by Michael
Tautschnig <[email protected]>. The newer version has been languishing
without a sponsor. I'll open a new ticket for it now.
On Tue, Apr 10, 2012 at 1:23 PM, Paul Tagliamonte <[email protected]> wrote:
> This looks done, because the uploaded version[1] was -2, but there's
> also a -3[2] in the mentors.d.n - retitile / close + refile?
>
> -T
>
> [1]: http://packages.qa.debian.org/c/cvc3/news/20120304T093218Z.html
> [2]: http://mentors.debian.net/package/cvc3
>
>
> --
> All programmers are playwrights, and all computers are lousy actors.
>
> #define sizeof(x) rand()
> :wq
>
>
>
> --
> To unsubscribe, send mail to [email protected].
--- End Message ---
