Your message dated Sun, 19 Aug 2012 04:20:06 +
with message-id
and subject line closing RFS: cvc3/2.4.1-4 [RC]
has caused the Debian Bug report #685077,
regarding RFS: cvc3/2.4.1-4 [RC]
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the
Your message dated Sat, 04 Aug 2012 16:20:05 +
with message-id
and subject line closing RFS: cvc3/2.4.1-3
has caused the Debian Bug report #668398,
regarding RFS: cvc3/2.4.1-3
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
I suggest that you ask also release team (debian-rele...@lists.debian.org)
for advise, because wheezy is freezed (very) soon, and you may want to
have fixed cvc3 version in wheezy.
Package renaming shouldn't affect outside users, right?
--
To UNSUBSCRIBE, email to debian-mentors-requ...@lists.d
Package: sponsorship-requests
Severity: normal
Dear mentors,
I am looking for a sponsor for the latest version of my package
"cvc3". The version fixes bugs that are keeping the previous package
version out of testing.
Package name : cvc3
Version : 2.4.1-3
Upstream Author : Clark Barrett
URL : ht
Your message dated Tue, 10 Apr 2012 17:32:17 -0400
with message-id
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
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 : c
Michael,
I still need a sponsor AFAIK. Thanks for your help.
On Thu, Dec 10, 2009 at 2:33 AM, Michael Tautschnig wrote:
> Daniel, Christopher,
>
>> Hi,
>>
>> Very interesting package; I was considering packaging it myself over the
>> holiday season but it looks like you beat me to it!
>>
>> On 1
On 12/09/2009 11:33 PM, Michael Tautschnig wrote:
> Daniel, Christopher,
>
>> Hi,
>>
>> Very interesting package; I was considering packaging it myself over the
>> holiday season but it looks like you beat me to it!
>>
>> On 12/09/2009 11:57 AM, Christopher L Conway wrote:
>>> Dear mentors,
>>>
>>
Daniel, Christopher,
> Hi,
>
> Very interesting package; I was considering packaging it myself over the
> holiday season but it looks like you beat me to it!
>
> On 12/09/2009 11:57 AM, Christopher L Conway wrote:
> > Dear mentors,
> >
> > I am looking for a sponsor for my package "cvc3". Pleas
Hi,
Very interesting package; I was considering packaging it myself over the
holiday season but it looks like you beat me to it!
On 12/09/2009 11:57 AM, Christopher L Conway wrote:
> Dear mentors,
>
> I am looking for a sponsor for my package "cvc3". Please CC: me in any reply.
>
> * Package na
Dear mentors,
I am looking for a sponsor for my package "cvc3". Please CC: me in any reply.
* Package name: cvc3
Version : 2.2-1
Upstream Author : Clark Barrett , Cesare Tinelli
* URL : http://www.cs.nyu.edu/acsys/cvc3/
* License : BSD
Section : math
11 matches
Mail list logo
