[
Date Prev
][
Date Next
] [
Thread Prev
][
Thread Next
] [
Date Index
] [
Thread Index
]
Bug#559245:
To
:
559245@bugs.debian.org
Subject
: Bug#559245:
From
: Christopher L Conway <
cconway@cs.nyu.edu
>
Date
: Wed, 9 Dec 2009 17:37:04 -0500
Message-id
: <
[🔎]
4a051d930912091437n1b64a698gaae5ff98df862b4a@mail.gmail.com
>
Reply-to
: Christopher L Conway <
cconway@cs.nyu.edu
>,
559245@bugs.debian.org
This package has been uploaded to
mentors.debian.org
and needs a sponsor:
http://mentors.debian.net/cgi-bin/sponsor-pkglist?action="">
It has also been uploaded to REVU:
http://revu.ubuntuwire.com/details.py?package=cvc3
Reply to:
debian-wnpp@lists.debian.org
Christopher L Conway (on-list)
Christopher L Conway (off-list)
Prev by Date:
Processed: ITP: cvc3 -- automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Next by Date:
Bug#474034: ITP: gpxe -- PXE network bootloader for x86 PCs
Previous by thread:
Bug#560244: RFP: mysql-cluster-7 -- MySQL Cluster is the flexibility and a high availability database.
Next by thread:
Bug#560255: ITP: nordugrid-arc-nox -- Grid Middleware of the NorduGrid
Index(es):
Date
Thread