Accepted coq 7.3.1-1 (i386 source)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Mon, 7 Oct 2002 12:34:03 +0200
Source: coq
Binary: coq
Architecture: source i386
Version: 7.3.1-1
Distribution: unstable
Urgency: low
Maintainer: Judicaël Courant <Judicael.Courant@lri.fr>
Changed-By: Judicael Courant <Judicael.Courant@lri.fr>
Description:
coq - a proof assistant for higher-order logic.
Closes: 162894
Changes:
coq (7.3.1-1) unstable; urgency=low
.
* New bugfix upstream version.
* Proof General is now Recommended since he has been freed (closes:
Bug#162894).
Files:
e1ac46f4f7b12b36aa795bb892bdae84 577 devel optional coq_7.3.1-1.dsc
a1a927e014470169b0e0b2d093715e66 1244554 devel optional coq_7.3.1.orig.tar.gz
a98a34fbfd2ba00207470a9bf771f6a0 4806 devel optional coq_7.3.1-1.diff.gz
db39696d2d184991094a72207f2c4944 7428634 devel optional coq_7.3.1-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.0 (GNU/Linux)
iD8DBQE9pJJztzWmSeC6BMERAgSlAJ4gveZg1xTGLtnAG9V+QCgiBgQLgACg+quB
DfIl2ujU3qBlxvzUNXDl5Bo=
=qoKr
-----END PGP SIGNATURE-----
Accepted:
coq_7.3.1-1.diff.gz
to pool/main/c/coq/coq_7.3.1-1.diff.gz
coq_7.3.1-1.dsc
to pool/main/c/coq/coq_7.3.1-1.dsc
coq_7.3.1-1_i386.deb
to pool/main/c/coq/coq_7.3.1-1_i386.deb
coq_7.3.1.orig.tar.gz
to pool/main/c/coq/coq_7.3.1.orig.tar.gz
Reply to: