Your message dated Tue, 10 Apr 2012 17:32:17 -0400 with message-id <CAFtUYSnqkK=73SHnwVWNTVZ_PUSkYq4rSsOj7qvk1DAhjFGTLQ@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 owner@bugs.debian.org immediately.) -- 661570: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=661570 Debian Bug Tracking System Contact owner@bugs.debian.org with problems
--- Begin Message ---Package: sponsorship-requests
- To: submit@bugs.debian.org
- Cc: Michael Tautschnig <mt@debian.org>
- Subject: RFS: cvc3/2.4.1-1
- From: Christopher L Conway <cconway@cs.nyu.edu>
- Date: Mon, 27 Feb 2012 23:02:03 -0500
- Message-id: <CAFtUYSnjzhAFqd4icyPYYJndgWbsvhQmpkE8CtS3yuH_xD7kAw@mail.gmail.com>
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 <cconway@cs.nyu.edu> Sat, 25 Feb 2012 13:54:15 -Regards,
Chris
--- End Message ---
--- Begin Message ---
- To: Paul Tagliamonte <paultag@ubuntu.com>, 661570-done@bugs.debian.org
- Subject: Re: Bug#661570: Is this done?
- From: Christopher L Conway <cconway@cs.nyu.edu>
- Date: Tue, 10 Apr 2012 17:32:17 -0400
- Message-id: <CAFtUYSnqkK=73SHnwVWNTVZ_PUSkYq4rSsOj7qvk1DAhjFGTLQ@mail.gmail.com>
- In-reply-to: <[🔎] CAO6P2QSZQ6FFj3tjHs+UVJtHGEtgy-h7M-ASeekadWsbcsMpRA@mail.gmail.com>
- References: <[🔎] CAO6P2QSZQ6FFj3tjHs+UVJtHGEtgy-h7M-ASeekadWsbcsMpRA@mail.gmail.com>
Version: 2.4.1-2 Thanks for the reminder. This package version was sponsored by Michael Tautschnig <mt@debian.org>. 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 <paultag@ubuntu.com> 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 661570-unsubscribe@bugs.debian.org.
--- End Message ---