Accepted coq 7.3-1 (i386 source)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Wed, 22 May 2002 14:48:21 +0200
Source: coq
Binary: coq
Architecture: source i386
Version: 7.3-1
Distribution: unstable
Urgency: low
Maintainer: Ralf Treinen <treinen@debian.org>
Changed-By: Judicael Courant <Judicael.Courant@lri.fr>
Description:
coq - a proof assistant for higher-order logic.
Changes:
coq (7.3-1) unstable; urgency=low
.
* New upstream version.
Files:
1d805c8ac1d735c912ad04f0981ac053 571 devel optional coq_7.3-1.dsc
a2214aee9b9603b520ea604cc18bc87e 1244858 devel optional coq_7.3.orig.tar.gz
d61ba61290812e0541b8d4344928a3e3 6071 devel optional coq_7.3-1.diff.gz
d27dbd9567696652a270db9b60e56e6c 7330228 devel optional coq_7.3-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.7 (GNU/Linux)
iD8DBQE86+2FtzWmSeC6BMERAouZAJwLJIPYZYdGFMoJDtVX4n/L+TEeUACeKeAs
1MyKB6xwhg1zcWJgdhdDDbc=
=n3TL
-----END PGP SIGNATURE-----
Accepted:
coq_7.3-1.diff.gz
to pool/main/c/coq/coq_7.3-1.diff.gz
coq_7.3-1.dsc
to pool/main/c/coq/coq_7.3-1.dsc
coq_7.3-1_i386.deb
to pool/main/c/coq/coq_7.3-1_i386.deb
coq_7.3.orig.tar.gz
to pool/main/c/coq/coq_7.3.orig.tar.gz
--
To UNSUBSCRIBE, email to debian-devel-changes-request@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
Reply to: