Accepted coq 8.0pl1-3 (powerpc source)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Tue, 17 Aug 2004 20:54:25 +0200
Source: coq
Binary: coq7-libs coqide coq-libs coq
Architecture: source powerpc
Version: 8.0pl1-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Samuel Mimram <samuel.mimram@ens-lyon.org>
Description:
coq - Proof assistant for higher-order logic (toplevel and compiler)
coq-libs - Proof assistant for higher-order logic (theories)
coq7-libs - Proof assistant for higher-order logic (Coq 7 theories)
coqide - Proof assistant for higher-order logic (gtk interface)
Changes:
coq (8.0pl1-3) unstable; urgency=medium
.
* Small patch to be able to compile with ocaml 3.08.1.
* Added a dependency to ocaml-base-nox when coq is compiled in bytecode.
* Added a menu for coqide.
* Enhanced the manpages.
* Enhanced the short descriptions of the packages.
Files:
ddd4051cc1063b15866aa5d232bfa10f 918 math optional coq_8.0pl1-3.dsc
6f28053b3ab89f8c916fdd361bdbbb86 11306 math optional coq_8.0pl1-3.diff.gz
15bb954e80bec548b73962c726867142 6873202 math optional coq_8.0pl1-3_powerpc.deb
d4c9614853ce1ba61ce38937c82630b3 4485372 math optional coqide_8.0pl1-3_powerpc.deb
1cc6fe29f5cde4957956d7a18e8fe897 3728086 math optional coq-libs_8.0pl1-3_powerpc.deb
60956c384a13474b8621e2d3218e9ff6 3806934 math optional coq7-libs_8.0pl1-3_powerpc.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.5 (GNU/Linux)
iD8DBQFBLibe2WTeT3CRQaQRAtfNAJ4wmg29z9IIH+W6YJzGex2/PlGYQQCeO+N/
xYP8llMSUDY07kBiMzmGUWE=
=Rlwd
-----END PGP SIGNATURE-----
Accepted:
coq-libs_8.0pl1-3_powerpc.deb
to pool/main/c/coq/coq-libs_8.0pl1-3_powerpc.deb
coq7-libs_8.0pl1-3_powerpc.deb
to pool/main/c/coq/coq7-libs_8.0pl1-3_powerpc.deb
coq_8.0pl1-3.diff.gz
to pool/main/c/coq/coq_8.0pl1-3.diff.gz
coq_8.0pl1-3.dsc
to pool/main/c/coq/coq_8.0pl1-3.dsc
coq_8.0pl1-3_powerpc.deb
to pool/main/c/coq/coq_8.0pl1-3_powerpc.deb
coqide_8.0pl1-3_powerpc.deb
to pool/main/c/coq/coqide_8.0pl1-3_powerpc.deb
Reply to: