Installed coq 7.2-9 (i386 source)

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

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

Format: 1.7
Date: Fri, 15 Feb 2002 09:17:20 +0100
Source: coq
Binary: coq
Architecture: source i386
Version: 7.2-9
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.2-9) unstable; urgency=low
 .
   * ocamlc.opt completely broken on powerpc. Added a special case in
     "rules" for using only bytecode.
Files: 
 7caba7126b065bc7a6ba383d1f973d12 614 devel optional coq_7.2-9.dsc
 575239c39103fcb51bfa8525b5403cda 4657 devel optional coq_7.2-9.diff.gz
 2f4ed2062a232a603030d712d5cefc38 8177822 devel optional coq_7.2-9_i386.deb

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

iD8DBQE8bVuWtzWmSeC6BMERArXdAKCOnKZqyQaa4Ud6hlzPZ5ynYxnTlwCfRZ/L
6UtyRSk92F9VC3yGx8g7KDQ=
=24Rc
-----END PGP SIGNATURE-----


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