-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Fri, 27 Feb 2009 13:31:30 +0100 Source: coq Binary: coq coqide coq-theories libcoq-ocaml-dev Architecture: source all amd64 Version: 8.2-1+dfsg-1 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: 517107 Changes: coq (8.2-1+dfsg-1) unstable; urgency=low . * New Upstream Version * Use variables and ocamlinit rule from dh-ocaml in rules * Added coqvars.mk helper for coq-related packages, and remove /usr/lib/coq/abi (its contents is now it the COQ_ABI variable) * Remove dependency on dpatch * Add some missing Conflicts and Replaces in coq and libcoq-ocaml-dev (Closes: #517107) * Add missing dependency for coqide.byte (no longer compiled in custom mode): liblablgtk2-ocaml * Rebuild with OCaml 3.11 Checksums-Sha1: f8002c56afebe1f2cb17a19aed6208d69e9050f6 1590 coq_8.2-1+dfsg-1.dsc 5010159fbff85544ae05952ebf78619808b485a7 3137238 coq_8.2-1+dfsg.orig.tar.gz 74035e38618ebfd701d04534a270d30b8f2794a4 13989 coq_8.2-1+dfsg-1.diff.gz 1cb8412784bf6bb172a7eeffb66468206b835bd7 18224744 coq-theories_8.2-1+dfsg-1_all.deb 196c69f6a3ee7f978efcf27dc6f79480b48101c3 15294414 coq_8.2-1+dfsg-1_amd64.deb b0629a1dd853139075fbf4df19ef28c4dbc93c38 6485364 coqide_8.2-1+dfsg-1_amd64.deb 44cf49bafe1548a9fa97ccbb491404c1b3672ad7 6044152 libcoq-ocaml-dev_8.2-1+dfsg-1_amd64.deb Checksums-Sha256: 32ac8f4e3b279c628ea376b354b9da7abdc21c3af35f976b4d19d172cf0da499 1590 coq_8.2-1+dfsg-1.dsc acf410135156f70890955828daa132f8c13da33d2476adb5f880b45814887bd4 3137238 coq_8.2-1+dfsg.orig.tar.gz a8b0dfd2aad2837faf44908d1fb7e7565d01c7855747dca532ee040a5929d0b9 13989 coq_8.2-1+dfsg-1.diff.gz a8e1fd805037ee7e6b96ef69c9feafa762ee2a5ddd2bb896faf04f6d26fd2b3d 18224744 coq-theories_8.2-1+dfsg-1_all.deb 0aca3403ef67edf891b532d0e9c0df65ba6eb031ad47266b0e34d5da6f06b398 15294414 coq_8.2-1+dfsg-1_amd64.deb d093190b4e7d360d937b8ebd5884bef32f3a1d67853e8db240659436979dd94d 6485364 coqide_8.2-1+dfsg-1_amd64.deb ed1ff17d5995363f48b746cb0994584aa66ada777034deb12439d8db4d5b645b 6044152 libcoq-ocaml-dev_8.2-1+dfsg-1_amd64.deb Files: 071123b0e9f4014c8204741005bc0621 1590 math optional coq_8.2-1+dfsg-1.dsc f3f84a182fc1ed6ef2fd5affc114fedc 3137238 math optional coq_8.2-1+dfsg.orig.tar.gz 36c6ec7d2327884c4c8ea952ac541a56 13989 math optional coq_8.2-1+dfsg-1.diff.gz 3a9f9bb088bff00c92017aff7270985b 18224744 math optional coq-theories_8.2-1+dfsg-1_all.deb fdc110b03e9b1700ea1af5ee2d6803a7 15294414 math optional coq_8.2-1+dfsg-1_amd64.deb 2aa1fd0e3f7b11fce3178c8795c38f48 6485364 math optional coqide_8.2-1+dfsg-1_amd64.deb e2c149514672236a1995e160e788914a 6044152 libdevel optional libcoq-ocaml-dev_8.2-1+dfsg-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkmpJCwACgkQBg8odvzgPapK0ACcCFwEwXgy83+zVCBXKA8WASCF yGUAn2sInchYqydj+qDnc64/N/nYMtG9 =wEO9 -----END PGP SIGNATURE----- Accepted: coq-theories_8.2-1+dfsg-1_all.deb to pool/main/c/coq/coq-theories_8.2-1+dfsg-1_all.deb coq_8.2-1+dfsg-1.diff.gz to pool/main/c/coq/coq_8.2-1+dfsg-1.diff.gz coq_8.2-1+dfsg-1.dsc to pool/main/c/coq/coq_8.2-1+dfsg-1.dsc coq_8.2-1+dfsg-1_amd64.deb to pool/main/c/coq/coq_8.2-1+dfsg-1_amd64.deb coq_8.2-1+dfsg.orig.tar.gz to pool/main/c/coq/coq_8.2-1+dfsg.orig.tar.gz coqide_8.2-1+dfsg-1_amd64.deb to pool/main/c/coq/coqide_8.2-1+dfsg-1_amd64.deb libcoq-ocaml-dev_8.2-1+dfsg-1_amd64.deb to pool/main/c/coq/libcoq-ocaml-dev_8.2-1+dfsg-1_amd64.deb