-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Mon, 02 Feb 2009 09:23:42 +0100 Source: coq Binary: coq coqide coq-theories libcoq-ocaml-dev Architecture: source all i386 Version: 8.2~rc2+dfsg-1 Distribution: experimental 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: 436684 Changes: coq (8.2~rc2+dfsg-1) experimental; urgency=low . * New upstream release candidate * Bump debhelper compatibility level to 7 * Remove obsolete patches * Use debhelper 7, simplify debian/rules (Closes: #436684) * Add binary package libcoq-ocaml-dev * Rename package coq-libs to coq-theories to avoid confusion, and add a NEWS file to document it * Add virtual coq-$ABI package, to express some ABI dependencies, and put $ABI in /usr/lib/coq/abi. Checksums-Sha1: f91c06ded70ffdc0812063d1f215d5d5dfecc249 1560 coq_8.2~rc2+dfsg-1.dsc 93190df6c585b1a515031f0bfebf431c5c7ebb1d 3127273 coq_8.2~rc2+dfsg.orig.tar.gz dd2b59955115c82754804066901762fad8549b2f 13656 coq_8.2~rc2+dfsg-1.diff.gz cdd8f09f52b830001b13295ec2739aab2064a786 17923258 coq-theories_8.2~rc2+dfsg-1_all.deb f6cbb7639c3987accfbe8eeab50cd5a4a5e2fc57 12834964 coq_8.2~rc2+dfsg-1_i386.deb 0a699383f3972a2e5f6616a0a4ac9db9cc84da89 5941584 coqide_8.2~rc2+dfsg-1_i386.deb f6e42422509b6c519e848d7031aff25708fc3340 5855682 libcoq-ocaml-dev_8.2~rc2+dfsg-1_i386.deb Checksums-Sha256: 3c7f84b7e463205d4063b655404579c4a61da3d5c3526a25229477d530f514e6 1560 coq_8.2~rc2+dfsg-1.dsc 35b6adf15cd978323d878dfe1e42aba38f6560e69f871a07aa178ef428e1ad31 3127273 coq_8.2~rc2+dfsg.orig.tar.gz accf50717e3b67a526378be8783704f02147f0813d241fdb2f8a09c455a50509 13656 coq_8.2~rc2+dfsg-1.diff.gz b41c8e14b7e1af42ed0d808291eddfb3eb31a90414650fe66101d8f120c30da7 17923258 coq-theories_8.2~rc2+dfsg-1_all.deb 1146593a00a77704866436dbacee3d42350d3f2dbdc462d2f96c66156e65014f 12834964 coq_8.2~rc2+dfsg-1_i386.deb 7c7583bcec311d5d6e24eb154f3605c18bb6d8fda36eb82fb4272f905ac6b40e 5941584 coqide_8.2~rc2+dfsg-1_i386.deb 7de368933b089743a4b86ca31c79c91df863dc93a719f0cbe6c6a989590f0db7 5855682 libcoq-ocaml-dev_8.2~rc2+dfsg-1_i386.deb Files: 14a60f2699b53cb3b63df18e169a7fba 1560 math optional coq_8.2~rc2+dfsg-1.dsc 15c6f32010e937087b31be841d0aee10 3127273 math optional coq_8.2~rc2+dfsg.orig.tar.gz b6171c0e8e824d1fc657fb56f1af5749 13656 math optional coq_8.2~rc2+dfsg-1.diff.gz d82ae1ef748cfbfe11c27232a7b2c1f3 17923258 math optional coq-theories_8.2~rc2+dfsg-1_all.deb d497b1496598249f0ac0e8ef4098230d 12834964 math optional coq_8.2~rc2+dfsg-1_i386.deb 521a0719b81336606de51b1881afa7df 5941584 math optional coqide_8.2~rc2+dfsg-1_i386.deb b14a40a35679c940497e08cf7cecc698 5855682 libdevel optional libcoq-ocaml-dev_8.2~rc2+dfsg-1_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkmLGVgACgkQIae1O4AJae+GagCeIR8Ss0j2daMyDKBw1xjqiltc wG8An0SEZPgAwjvYO67GR8Ymb7lVAQK6 =He3N -----END PGP SIGNATURE----- Accepted: coq-theories_8.2~rc2+dfsg-1_all.deb to pool/main/c/coq/coq-theories_8.2~rc2+dfsg-1_all.deb coq_8.2~rc2+dfsg-1.diff.gz to pool/main/c/coq/coq_8.2~rc2+dfsg-1.diff.gz coq_8.2~rc2+dfsg-1.dsc to pool/main/c/coq/coq_8.2~rc2+dfsg-1.dsc coq_8.2~rc2+dfsg-1_i386.deb to pool/main/c/coq/coq_8.2~rc2+dfsg-1_i386.deb coq_8.2~rc2+dfsg.orig.tar.gz to pool/main/c/coq/coq_8.2~rc2+dfsg.orig.tar.gz coqide_8.2~rc2+dfsg-1_i386.deb to pool/main/c/coq/coqide_8.2~rc2+dfsg-1_i386.deb libcoq-ocaml-dev_8.2~rc2+dfsg-1_i386.deb to pool/main/c/coq/libcoq-ocaml-dev_8.2~rc2+dfsg-1_i386.deb
