Installed coq 6.3.1-3 (source i386)

Installed:
coq_6.3.1-3.dsc
  to dists/woody/main/source/devel/coq_6.3.1-3.dsc
  replacing coq_6.3.1-2.dsc
coq_6.3.1-3_i386.deb
  to dists/woody/main/binary-i386/devel/coq_6.3.1-3.deb
  replacing coq_6.3.1-2.deb
coq_6.3.1.orig.tar.gz
  to dists/woody/main/source/devel/coq_6.3.1.orig.tar.gz
  replacing coq_6.3.1.orig.tar.gz
coq_6.3.1-3.diff.gz
  to dists/woody/main/source/devel/coq_6.3.1-3.diff.gz
  replacing coq_6.3.1-2.diff.gz


-----BEGIN PGP SIGNED MESSAGE-----

Format: 1.6
Date: Fri,  7 Jul 2000 08:05:47 +0200
Source: coq
Binary: coq
Architecture: source i386
Version: 6.3.1-3
Distribution: unstable
Urgency: low
Maintainer: Fernando Sanchez <fer@debian.org>
Description: 
 coq        - a proof assistant for higher-order logic.
Changes: 
 coq (6.3.1-3) unstable; urgency=low
 .
   * Patched to allow use of ocaml3.
Files: 
 4bf3e1cc0a5cac4a4564bfb19f39e0b3 818 devel optional coq_6.3.1-3.dsc
 14e81f01a2c557478882168367eeb5cf 1105865 devel optional coq_6.3.1.orig.tar.gz
 1518a8bd2ecaa0257138068ecdce810b 3065 devel optional coq_6.3.1-3.diff.gz
 f654bc253729736a6509ea33ffdee7c9 8740784 devel optional coq_6.3.1-3_i386.deb

-----BEGIN PGP SIGNATURE-----
Version: PGPfreeware 5.0i for non-commercial use
Charset: noconv

iQEVAwUBOWkJUUe61tg/7DnrAQEoDwgAiH2puO93XXyr+dw2Txj+FInPQ1UshCC3
z7QIn/ZDt7Kt806+FI6+1paYfl5c65IIHvLZN5+wre+mP4UwVfkjFz+EuviPMyg7
jlwPnDKy73m7fZboWyOuSysBjDdevrvE+fBKuEHnnts1ibwGCmCkIZMCxIiUoNK0
cF+BY3TFrAs+eavYX0vcUARoFmZ9UT6M1btKMB028L7NUAD/K44CvIrFUzkQCpwL
VtpHJS3M79YcGFmQPYhoJKDfxXQfD9Liqm62k28XWJvnlS4mOWXyJB3wFf7kdCNF
oefZUGifJUbqavfxpFCbPwDlxJbHxtaTFfsY4rDTZALbTrnCi6icmg==
=OpVh
-----END PGP SIGNATURE-----