-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Mon, 21 Nov 2005 19:52:53 +0100 Source: coq Binary: coq7-libs coqide coq-libs coq Architecture: source all i386 Version: 8.0pl2-4 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Samuel Mimram <smimram@debian.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) Closes: 340185 Changes: coq (8.0pl2-4) unstable; urgency=low . * Added ocaml309.dpatch patch to compile cleanly with OCaml 3.09, closes: #340185. * Removed recommends on coq-doc which is not in main anymore. * Updated standards version to 3.6.2, no changes needed. Files: 46c3f97cff31d2d0c001611ed06973b3 882 math optional coq_8.0pl2-4.dsc a7dcfd2964389244aa641320a886f260 12018 math optional coq_8.0pl2-4.diff.gz 2c31ea8067d38b584e08a2e8e3907a08 3735548 math optional coq-libs_8.0pl2-4_all.deb 71c1b229dd59c263b41a5ca20c1a3341 3811086 math optional coq7-libs_8.0pl2-4_all.deb 71444c7183660bdd9b310b019a5141f9 6089540 math optional coq_8.0pl2-4_i386.deb 7dd0c5fa4a7beb31804f04137e1cf231 4140764 math optional coqide_8.0pl2-4_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.2 (GNU/Linux) iD8DBQFDgiPbIae1O4AJae8RAiC4AJ9wNpqY4jLL9NurtRyvxxMc0lDqdgCdFKr7 PRn5rDsyzvEH5tbrOo7YPzA= =fMTJ -----END PGP SIGNATURE----- Accepted: coq-libs_8.0pl2-4_all.deb to pool/main/c/coq/coq-libs_8.0pl2-4_all.deb coq7-libs_8.0pl2-4_all.deb to pool/main/c/coq/coq7-libs_8.0pl2-4_all.deb coq_8.0pl2-4.diff.gz to pool/main/c/coq/coq_8.0pl2-4.diff.gz coq_8.0pl2-4.dsc to pool/main/c/coq/coq_8.0pl2-4.dsc coq_8.0pl2-4_i386.deb to pool/main/c/coq/coq_8.0pl2-4_i386.deb coqide_8.0pl2-4_i386.deb to pool/main/c/coq/coqide_8.0pl2-4_i386.deb
