Accepted coq 8.2~rc2+dfsg-1 (source all i386)
-----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
Reply to: