Installed coq 7.0-1 (i386 source)

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

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

Format: 1.7
Date: Tue,  17 Apr 2001 19:24:34 +0200
Source: coq
Binary: coq
Architecture: source i386
Version: 7.0-1
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: 70273 92461
Changes: 
 coq (7.0-1) unstable; urgency=low
 .
   * New maintainer Judicaël Courant <Judicael.Courant@lri.fr>.
   * New upstream version.
   * Added Build-Depends (closes: Bug#70273).
   * Cleaned up dependencies.
   * Emacs mode installation now follows Emacs policy.
   * Made compilation non-interactive (closes: Bug#92461).
   * Added Suggests cle.
Files: 
 6ab231400d1ecd0018ca934dbf06e301 622 devel optional coq_7.0-1.dsc
 dccf37c43443353294578c45de23a005 991904 devel optional coq_7.0.orig.tar.gz
 7df83fad1c8784310f4621781a73163a 4148 devel optional coq_7.0-1.diff.gz
 9f774e62b620921203a6eac0b446fe58 8372254 devel optional coq_7.0-1_i386.deb

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

iD8DBQE66JEItzWmSeC6BMERArVwAKDVT58L/RHjjuWSZtZe+PCt5NpOAQCgzI/J
w+CGXL2/hs7tQVnUoMyNlI4=
=Ogl2
-----END PGP SIGNATURE-----


Installed:
coq_7.0.orig.tar.gz
  to pool/main/c/coq/coq_7.0.orig.tar.gz
coq_7.0-1_i386.deb
  to pool/main/c/coq/coq_7.0-1_i386.deb
coq_7.0-1.diff.gz
  to pool/main/c/coq/coq_7.0-1.diff.gz
coq_7.0-1.dsc
  to pool/main/c/coq/coq_7.0-1.dsc