-----BEGIN PGP SIGNED MESSAGE-----
Hash: RIPEMD160
Format: 1.8
Date: Sat, 04 Jul 2009 12:13:28 +0200
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml-dev
Architecture: source all amd64
Version: 8.2.pl1+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
Changes:
coq (8.2.pl1+dfsg-1) unstable; urgency=low
.
* New Upstream Version
* debian/purify_tarball: keep some files from doc/common/styles/html
needed for HTML API doc generation
Checksums-Sha1:
6f854c1a9fa7bd50c868b93170a33d13674d5230 1607 coq_8.2.pl1+dfsg-1.dsc
92e1b8ea076a45d0273ee8a2e0fb117666611b8e 3142201 coq_8.2.pl1+dfsg.orig.tar.gz
e07ffd9177dcc492d840c4741e00433f1d61002e 14325 coq_8.2.pl1+dfsg-1.diff.gz
c1fa68d838535f9e6a6187004fce41869a78eedb 18384614 coq-theories_8.2.pl1+dfsg-1_all.deb
884b323b4d46d619a96faf1aa8bc790dc4fdd12e 15311716 coq_8.2.pl1+dfsg-1_amd64.deb
19a73fc7f2f82905c3bd25b7495d95028994df54 6537940 coqide_8.2.pl1+dfsg-1_amd64.deb
535284b717e40fd212b7f3d82a3bbcc5ab48c399 6047776 libcoq-ocaml-dev_8.2.pl1+dfsg-1_amd64.deb
Checksums-Sha256:
679e272a094db6dd063ffc7c1f7e81b893c5f6fa29302af03b0cccec4a35cae3 1607 coq_8.2.pl1+dfsg-1.dsc
297c729570d923964c66926e1e66bd9845a640d4b80aaeea524e30a382c5aad3 3142201 coq_8.2.pl1+dfsg.orig.tar.gz
d1c791b167fa46c0e544cfbc9a399042059ea5aaaa25b6afff84a2fdb6b070db 14325 coq_8.2.pl1+dfsg-1.diff.gz
8ff1180282f29a1a54da5dbbccc5bf5d978316ecbf2a05dc62f2f2361b4cf100 18384614 coq-theories_8.2.pl1+dfsg-1_all.deb
d1567c64f3f637228155788362730459c8556e2db227d071489dbace92a71852 15311716 coq_8.2.pl1+dfsg-1_amd64.deb
cd84e6bad94e84ba568350e86c7d8f0df7049e0034ff993fe3f8f23bfc538e89 6537940 coqide_8.2.pl1+dfsg-1_amd64.deb
183653a0e9502b7345f962170ebcfdb18dd474be459251262e1d28a115b33809 6047776 libcoq-ocaml-dev_8.2.pl1+dfsg-1_amd64.deb
Files:
6d63a1604f855d3f38588427a8f48964 1607 math optional coq_8.2.pl1+dfsg-1.dsc
93a88f13726cf363c69daedd8da580ae 3142201 math optional coq_8.2.pl1+dfsg.orig.tar.gz
45ce86ad11c407cb73b84c7f65272578 14325 math optional coq_8.2.pl1+dfsg-1.diff.gz
8b4740a88a3e6a427ca4f04e55754ec7 18384614 math optional coq-theories_8.2.pl1+dfsg-1_all.deb
21fadf8435b77e61791d5b148c5b63d1 15311716 math optional coq_8.2.pl1+dfsg-1_amd64.deb
f779357ab7b328678aa4279ba6a5fcd4 6537940 math optional coqide_8.2.pl1+dfsg-1_amd64.deb
b6fcb495800c9bd3a30cfc26cd81ec3c 6047776 ocaml optional libcoq-ocaml-dev_8.2.pl1+dfsg-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEAREDAAYFAkpPR/QACgkQBg8odvzgPaoNFwCggqEne2Hzt5G6umKG9W/N6Ghn
QYwAnRCytxK4qeyUsfAlx4Ts2Z2xSoPY
=9IkA
-----END PGP SIGNATURE-----
Accepted:
coq-theories_8.2.pl1+dfsg-1_all.deb
to pool/main/c/coq/coq-theories_8.2.pl1+dfsg-1_all.deb
coq_8.2.pl1+dfsg-1.diff.gz
to pool/main/c/coq/coq_8.2.pl1+dfsg-1.diff.gz
coq_8.2.pl1+dfsg-1.dsc
to pool/main/c/coq/coq_8.2.pl1+dfsg-1.dsc
coq_8.2.pl1+dfsg-1_amd64.deb
to pool/main/c/coq/coq_8.2.pl1+dfsg-1_amd64.deb
coq_8.2.pl1+dfsg.orig.tar.gz
to pool/main/c/coq/coq_8.2.pl1+dfsg.orig.tar.gz
coqide_8.2.pl1+dfsg-1_amd64.deb
to pool/main/c/coq/coqide_8.2.pl1+dfsg-1_amd64.deb
libcoq-ocaml-dev_8.2.pl1+dfsg-1_amd64.deb
to pool/main/c/coq/libcoq-ocaml-dev_8.2.pl1+dfsg-1_amd64.deb
