-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Sun, 19 Feb 2006 11:33:21 +0000 Source: coq Binary: coq7-libs coqide coq-libs coq Architecture: source all i386 Version: 8.0pl3-2 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: 353493 Changes: coq (8.0pl3-2) unstable; urgency=low . * Added coq-8.0pl3-ocaml-3.09.dpatch in order to prevent intuition from looping forever, closes: #353493. Files: 548a296b46bb18c10acb0175a6a50396 891 math optional coq_8.0pl3-2.dsc c871e14e4f6a3e861ea351fa8e0d6da2 16289 math optional coq_8.0pl3-2.diff.gz 9a0fdcb82fd28c013f9aebc0e9dc79ad 3737024 math optional coq-libs_8.0pl3-2_all.deb 953b60e6a96afebda37ffddcfdcb2e5b 3812424 math optional coq7-libs_8.0pl3-2_all.deb a09ea7f959b72228c91cd2520a7fd3a8 6111850 math optional coq_8.0pl3-2_i386.deb 7a2d32ee778f56c00bac079cadcdf79a 3441578 math optional coqide_8.0pl3-2_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.2 (GNU/Linux) iD8DBQFD+GLBIae1O4AJae8RAr88AJoDTtRc9CLVawTpxLNICdMSxHMKKACfSuiW WTRAVCoVevUxYXMTZgSiMw0= =RtmT -----END PGP SIGNATURE----- Accepted: coq-libs_8.0pl3-2_all.deb to pool/main/c/coq/coq-libs_8.0pl3-2_all.deb coq7-libs_8.0pl3-2_all.deb to pool/main/c/coq/coq7-libs_8.0pl3-2_all.deb coq_8.0pl3-2.diff.gz to pool/main/c/coq/coq_8.0pl3-2.diff.gz coq_8.0pl3-2.dsc to pool/main/c/coq/coq_8.0pl3-2.dsc coq_8.0pl3-2_i386.deb to pool/main/c/coq/coq_8.0pl3-2_i386.deb coqide_8.0pl3-2_i386.deb to pool/main/c/coq/coqide_8.0pl3-2_i386.deb
