Installed coq 7.2-3 (i386 source)

["Judicaël" Courant <Judicael.Courant@lri.fr>]

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

Format: 1.7
Date: Mon, 21 Jan 2002 09:46:16 +0100
Source: coq
Binary: coq
Architecture: source i386
Version: 7.2-3
Distribution: unstable
Urgency: low
Maintainer: Ralf Treinen <treinen@debian.org>
Changed-By: Judicaël Courant <Judicael.Courant@lri.fr>
Description: 
 coq        - a proof assistant for higher-order logic.
Closes: 130046
Changes: 
 coq (7.2-3) unstable; urgency=low
 .
   * Workaround for problems with buildd/apt trying to install camlp4
     (closes: Bug#130046).
Files: 
 0c0a34f01dee7e9dd28cd8f42685c334 630 devel optional coq_7.2-3.dsc
 829106eebad606f611d3d885b7eb5277 3727 devel optional coq_7.2-3.diff.gz
 f18aad8d9ebfebea5abc544d64afa406 8177164 devel optional coq_7.2-3_i386.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.6 (GNU/Linux)
Comment: For info see http://www.gnupg.org

iD8DBQE8WF99tzWmSeC6BMERAnrHAJ48C4rnlHJo/+/HabkX0OAPYlNphgCfTL7i
IMJdAIMQDY0dXfe04GE8Ji0=
=j6Ay
-----END PGP SIGNATURE-----


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