Installed coq 6.3.1-1 (source i386)

Installed:
coq_6.3.1-1_i386.deb
  to dists/potato/main/binary-i386/devel/coq_6.3.1-1.deb
coq_6.3.1.orig.tar.gz
  to dists/potato/main/source/devel/coq_6.3.1.orig.tar.gz
coq_6.3.1-1.diff.gz
  to dists/potato/main/source/devel/coq_6.3.1-1.diff.gz
coq_6.3.1-1.dsc
  to dists/potato/main/source/devel/coq_6.3.1-1.dsc


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

Format: 1.6
Date: Fri,  3 Dec 1999 22:06:04 +0100
Source: coq
Binary: coq
Architecture: source i386
Version: 6.3.1-1
Distribution: unstable
Urgency: low
Maintainer: Fernando Sanchez <fer@debian.org>
Description: 
 coq        - a proof assistant for higher-order logic.
Changes: 
 coq (6.3.1-1) unstable; urgency=low
 .
   * Initial Release.
Files: 
 522619a3ae0e2b7d64078290a77de281 810 devel optional coq_6.3.1-1.dsc
 2538899a58670945dfa8f440ca80bffe 1080894 devel optional coq_6.3.1.orig.tar.gz
 3de17c72c8382f4edb91f9f9262543eb 2509 devel optional coq_6.3.1-1.diff.gz
 3541255a827bbddf35ddab11c38ca482 8879056 devel optional coq_6.3.1-1_i386.deb

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

iQEVAwUBOErBPUe61tg/7DnrAQFsdgf/TVfETA6ZkwvcirujkN0kFpuP39l+QPeU
Hex9S1u6Xj9L43opWGC5dNBy4lDJBTcEWorBUWtP+RcG93BwsMBjEIDInRxXSEuE
QFMga3IDPTKfpU/StAv0D8Y/d0Y8XSw/GU+2abhVxNBuK3TUUQKekQTK5xCU4g89
WX0yKEALXcrzmlchsi8Rmxaej6HPVqeEDd6eVoKVUqklZpxs2gkGLZwcK30JfpN3
YrClpL2B64e8s/PC9vS84aGL8GxlIknxVfR6XMvUbnim0Q5c35O8OW7+WeDcn1Fb
v+AUDMEW3dvbpSnB39i6JSbE5egV3WSfXBNK6odLDDtobTOzV30JSA==
=oj4i
-----END PGP SIGNATURE-----