Accepted coq 7.3.1-1 (i386 source)

[Judicael Courant <Judicael.Courant@lri.fr>]

-----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