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-----
Reply to: