Installed:
coq_6.3.1-2_i386.deb
to dists/potato/main/binary-i386/devel/coq_6.3.1-2.deb
replacing coq_6.3.1-1.deb
coq_6.3.1-2.diff.gz
to dists/potato/main/source/devel/coq_6.3.1-2.diff.gz
replacing coq_6.3.1-1.diff.gz
coq_6.3.1-2.dsc
to dists/potato/main/source/devel/coq_6.3.1-2.dsc
replacing coq_6.3.1-1.dsc
-----BEGIN PGP SIGNED MESSAGE-----
Format: 1.6
Date: Sat, 18 Dec 1999 16:45:01 +0100
Source: coq
Binary: coq
Architecture: source i386
Version: 6.3.1-2
Distribution: unstable
Urgency: low
Maintainer: Fernando Sanchez <fer@debian.org>
Description:
coq - a proof assistant for higher-order logic.
Changes:
coq (6.3.1-2) unstable; urgency=low
.
* Some changes to allow successful porting of this package:
* Added checking for ocamlopt.opt before running ./configure with -opt,
and configure without it if it is not present for this architecture.
* Added checking for ocamlopt before making world-opt.
Files:
2527cf12fbfa33ea988ee021adcdd115 810 devel optional coq_6.3.1-2.dsc
01f3cc8d3eb2dca66db0d1051abd5ef1 3023 devel optional coq_6.3.1-2.diff.gz
06a05bad65c9d111974ffc3b9cdda2f7 8879948 devel optional coq_6.3.1-2_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: PGPfreeware 5.0i for non-commercial use
Charset: noconv
iQEVAwUBOFzX0ke61tg/7DnrAQEsfAf9GE27zyAt2HZzZ/i8iqqXomDDsFbTd+Ev
Fpa5dgNSqi/xak9y62eEu/JPgtFFiadFmRFH8pWXaSo8UNAm9j49WFlYkAN3C3Ao
5jbvFcNZ0gjCVpO2gUk/nYFoKEBN6gZ8CJBiqV84G9G4xeJA3L4cqRVUN28iNrRY
gzdtkSRFy17r1yfzc8KSPAYRiO04WynfY1Oz0mMGlFdqoXAR0HM8CTLgeUd+sLrZ
JzSPqznVg/ju5Pt94wEEUR62QHh45RQQl6hA/Xa4KLIW+uBesTtLbtA5GxHrIi+R
SZ8pMKUys9eAc4bCdtGvu2QXZ7SxQ+LTETVWpYCPCoE4fbyF8Vx6DA==
=8d1k
-----END PGP SIGNATURE-----
