-----BEGIN PGP SIGNED MESSAGE----- Hash: RIPEMD160 Format: 1.8 Date: Wed, 01 Jul 2009 17:41:55 +0200 Source: coq Binary: coq coqide coq-theories libcoq-ocaml-dev Architecture: source all amd64 Version: 8.2-1+dfsg-2 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stephane Glondu <steph@glondu.net> Description: coq - proof assistant for higher-order logic (toplevel and compiler) coq-theories - proof assistant for higher-order logic (theories) coqide - proof assistant for higher-order logic (gtk interface) libcoq-ocaml-dev - development libraries and tools for Coq Closes: 524037 535320 Changes: coq (8.2-1+dfsg-2) unstable; urgency=low . [ Samuel Mimram ] * Remove upstream url from long descriptions since we already use the Homepage field, closes: #524037. * Updated watch file. . [ Stephane Glondu ] * Remove suggestion on package cle (which has been removed), use readline-editor instead * Recompile with OCaml 3.11.1 (Closes: #535320) * Add versioned dependencies to camlp5 and liblablgtk2-ocaml-dev to ease OCaml 3.11.1 transition * Move libcoq-ocaml-dev to section ocaml * Update Standards-Version to 3.8.2 Checksums-Sha1: 484a71fe02d4a9f5b62c43c1500156f94fe37a25 1593 coq_8.2-1+dfsg-2.dsc e055d7d49e86746c3e6768fc066f5621e814c197 14193 coq_8.2-1+dfsg-2.diff.gz d03ef4e3007a3c1bb8fb17fffefb8dc632170298 18214944 coq-theories_8.2-1+dfsg-2_all.deb 13092981cf875cc88ffa955bae20ad06c91ce4e3 15303582 coq_8.2-1+dfsg-2_amd64.deb 824db8d1dc99a88f6ae62544d0361b918b301efe 6536950 coqide_8.2-1+dfsg-2_amd64.deb bbbc9236fb8a36a241ab2dccdf6986e017f82d8c 6043274 libcoq-ocaml-dev_8.2-1+dfsg-2_amd64.deb Checksums-Sha256: 98c0d9ca84ced1269f22bcc4c55497fa9d6568dc354f5ad4923443f7e81fe22a 1593 coq_8.2-1+dfsg-2.dsc bcdb368a342a6e11d949e9cdf99437a196cedee5a8b42aa31846e777c2d6d171 14193 coq_8.2-1+dfsg-2.diff.gz 13f9edd1821fa617dd731e0aabea7c6363440359bcda5ff4f9ec3aca7493703e 18214944 coq-theories_8.2-1+dfsg-2_all.deb c26e35b7154ab60cf8c43a06d0c5d930d788e2ef7cb8ac7eede19e0294c2184d 15303582 coq_8.2-1+dfsg-2_amd64.deb f0b10c7b4ecbb45e58b41adab95d2256eef5f3887115168a34571be8a9839780 6536950 coqide_8.2-1+dfsg-2_amd64.deb 86b3c11ed1030ecfd386f941ba42e7b2f34480290578b1f4d445f796cee1181d 6043274 libcoq-ocaml-dev_8.2-1+dfsg-2_amd64.deb Files: 2aad42085c4110fce3512ebe17a56d20 1593 math optional coq_8.2-1+dfsg-2.dsc 949d55351b3c4aeffa3d0084e06fc816 14193 math optional coq_8.2-1+dfsg-2.diff.gz 36ecf125fffc6f4c6c6ec1876815a80d 18214944 math optional coq-theories_8.2-1+dfsg-2_all.deb 8fc150ad80c0e669b30ae644d09af8c6 15303582 math optional coq_8.2-1+dfsg-2_amd64.deb d9178a2cc71fa3274264522d9cef64bc 6536950 math optional coqide_8.2-1+dfsg-2_amd64.deb 290ae65148cd79d7e51b38d44282699b 6043274 ocaml optional libcoq-ocaml-dev_8.2-1+dfsg-2_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEAREDAAYFAkpLmPIACgkQBg8odvzgParctwCfUwxCTC0jChOroK2QuP1dfFC6 tWIAoMFN94ChFPSBSdOy/87InxPYAU0U =fPmo -----END PGP SIGNATURE----- Accepted: coq-theories_8.2-1+dfsg-2_all.deb to pool/main/c/coq/coq-theories_8.2-1+dfsg-2_all.deb coq_8.2-1+dfsg-2.diff.gz to pool/main/c/coq/coq_8.2-1+dfsg-2.diff.gz coq_8.2-1+dfsg-2.dsc to pool/main/c/coq/coq_8.2-1+dfsg-2.dsc coq_8.2-1+dfsg-2_amd64.deb to pool/main/c/coq/coq_8.2-1+dfsg-2_amd64.deb coqide_8.2-1+dfsg-2_amd64.deb to pool/main/c/coq/coqide_8.2-1+dfsg-2_amd64.deb libcoq-ocaml-dev_8.2-1+dfsg-2_amd64.deb to pool/main/c/coq/libcoq-ocaml-dev_8.2-1+dfsg-2_amd64.deb
