Accepted coq 7.3.1-3 (i386 source)

[Ralf Treinen <treinen@debian.org>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.7
Date: Fri,  9 Apr 2004 18:03:41 +0200
Source: coq
Binary: coq
Architecture: source i386
Version: 7.3.1-3
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description: 
 coq        - Proof assistant for higher-order logic
Closes: 242761
Changes: 
 coq (7.3.1-3) unstable; urgency=low
 .
   * Added build-dependency on ocaml-best-compilers, check for opt compilers
     in the configure-stamp target of debian/rules. Thanks to Mike Furr for
     the patch (closes: #242761).
   * Converted changelog to UTF-8.
Files: 
 b39aa257a852f209b36345202e0e1319 799 devel optional coq_7.3.1-3.dsc
 7e3c6aa74a21797abd554b929beef68b 8521 devel optional coq_7.3.1-3.diff.gz
 f39734a2edfe2d7d35809122b688a818 7546024 devel optional coq_7.3.1-3_i386.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.4 (GNU/Linux)

iD8DBQFAdtdOtzWmSeC6BMERAsgrAJ9A+vY4IdpIfukiF0vu8q1tJusmzQCfbI4j
UbxeXlamLzfXZ2V4f/plHik=
=ithR
-----END PGP SIGNATURE-----


Accepted:
coq_7.3.1-3.diff.gz
  to pool/main/c/coq/coq_7.3.1-3.diff.gz
coq_7.3.1-3.dsc
  to pool/main/c/coq/coq_7.3.1-3.dsc
coq_7.3.1-3_i386.deb
  to pool/main/c/coq/coq_7.3.1-3_i386.deb