-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Mon, 16 Aug 2004 20:39:48 +0200
Source: coq
Binary: coq7-libs coqide coq-libs coq
Architecture: source powerpc
Version: 8.0pl1-2
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
coq-libs - Proof assistant for higher-order logic
coq7-libs - Proof assistant for higher-order logic
coqide - Proof assistant for higher-order logic
Changes:
coq (8.0pl1-2) unstable; urgency=medium
.
* Changed section to math.
* Versionned the dependency to liblablgtk2-ocaml(-dev).
* If we fallback on bytecode, we also try to build coqide in bytecode (I hope
this will fix the FTBFS on alpha).
* Added a watch file.
* Removed the unnecessary patch an unpatch targets in the rules.
Files:
c752ccf3e934eb1a32061316d65e5770 905 math optional coq_8.0pl1-2.dsc
97373b84c858730df126b70aa041482f 9911 math optional coq_8.0pl1-2.diff.gz
eaa682a6184a13232cb672eff5fcfcaa 6869906 math optional coq_8.0pl1-2_powerpc.deb
ca206bd48d12471efe52ccb49e1f9f2e 4480366 math optional coqide_8.0pl1-2_powerpc.deb
d3a8b1aedf3a6603aafad8b3c30a276e 3728088 math optional coq-libs_8.0pl1-2_powerpc.deb
de9e035b097ccd8a156a9ef8a67a0d13 3806978 math optional coq7-libs_8.0pl1-2_powerpc.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.5 (GNU/Linux)
iD8DBQFBIjDM2WTeT3CRQaQRArTnAJ46t0TP81Pwixa58ZfFmQg9AGWmdACgom2P
BhhHVqNXf5SBKjOo3aTYMEo=
=ADNu
-----END PGP SIGNATURE-----
Accepted:
coq-libs_8.0pl1-2_powerpc.deb
to pool/main/c/coq/coq-libs_8.0pl1-2_powerpc.deb
coq7-libs_8.0pl1-2_powerpc.deb
to pool/main/c/coq/coq7-libs_8.0pl1-2_powerpc.deb
coq_8.0pl1-2.diff.gz
to pool/main/c/coq/coq_8.0pl1-2.diff.gz
coq_8.0pl1-2.dsc
to pool/main/c/coq/coq_8.0pl1-2.dsc
coq_8.0pl1-2_powerpc.deb
to pool/main/c/coq/coq_8.0pl1-2_powerpc.deb
coqide_8.0pl1-2_powerpc.deb
to pool/main/c/coq/coqide_8.0pl1-2_powerpc.deb
--
To UNSUBSCRIBE, email to debian-devel-changes-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
