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-----