Accepted coq 8.3.pl3+dfsg-2 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 04 Mar 2012 18:59:12 +0100
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source amd64 all
Version: 8.3.pl3+dfsg-2
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
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 - runtime libraries for Coq
libcoq-ocaml-dev - development libraries and tools for Coq
Changes:
coq (8.3.pl3+dfsg-2) unstable; urgency=low
.
* Recompile with camlp5 6.04 (no changes)
Checksums-Sha1:
8e1900d4faa9298e72ef58a392e36c96f342c7d7 2343 coq_8.3.pl3+dfsg-2.dsc
b0774c855eeb6a86100ffcdf28be9575fdcccfcb 16325 coq_8.3.pl3+dfsg-2.debian.tar.gz
ac713df07e9e61e1a46ce224460bb75e4f7967d0 5673076 coq_8.3.pl3+dfsg-2_amd64.deb
cfb69103a78dccb3570e6a36c5d1211eba36307c 5612046 coqide_8.3.pl3+dfsg-2_amd64.deb
3c8e888a5e4891e42a3acd8827a60755a39c717c 54303932 coq-theories_8.3.pl3+dfsg-2_all.deb
8cac38e12846aa26e66815e6e3f34c90b5415a20 2098738 libcoq-ocaml_8.3.pl3+dfsg-2_amd64.deb
ececa2702c7375e3c7c1450d49bd4018253eedb2 5911606 libcoq-ocaml-dev_8.3.pl3+dfsg-2_amd64.deb
Checksums-Sha256:
4c145524ededdf55ef76768e384b2692ffa8963375a22279934d83e8d4192691 2343 coq_8.3.pl3+dfsg-2.dsc
e1f5d67e2a1b78b6b2f70f15d7d8fae3d36b5ab65cfcd092ccdee2a812ad5c42 16325 coq_8.3.pl3+dfsg-2.debian.tar.gz
a54c0f982be7a223f7d8716e9c4619b3fb85a18afb633888b15e450596e448a3 5673076 coq_8.3.pl3+dfsg-2_amd64.deb
1a33bc67c8d65a2ca4e0d2224738f3aa07e037965f051d0f2941eea284457a45 5612046 coqide_8.3.pl3+dfsg-2_amd64.deb
c2a3c5e1a406e4ab4ce9c67fc170497078692c1404d58502c461d0604af9ef98 54303932 coq-theories_8.3.pl3+dfsg-2_all.deb
a0d76e8881b8ad08710026bbdcb0273be8fb5aa3f25954f0dc4b480e4f12fe65 2098738 libcoq-ocaml_8.3.pl3+dfsg-2_amd64.deb
ee18c4c1c27267f7c12a762a5880043bd85812af9b7dcb29067ab91b324d2069 5911606 libcoq-ocaml-dev_8.3.pl3+dfsg-2_amd64.deb
Files:
adb2d52c8ee2c89d23a8e1959d75e42e 2343 math optional coq_8.3.pl3+dfsg-2.dsc
7687bb20b6b8aa6ca7f1e970b7a85395 16325 math optional coq_8.3.pl3+dfsg-2.debian.tar.gz
a8a162eae7845dda7369a85a40d7003a 5673076 math optional coq_8.3.pl3+dfsg-2_amd64.deb
4ef534219384da04d4af5d9e70f079a2 5612046 math optional coqide_8.3.pl3+dfsg-2_amd64.deb
d7c9f2172b46837456ab1f35155f0b2e 54303932 math optional coq-theories_8.3.pl3+dfsg-2_all.deb
727d002c1ad4343e5e45accd71592ec2 2098738 ocaml optional libcoq-ocaml_8.3.pl3+dfsg-2_amd64.deb
ef9583c00afea696ae469d6954386a98 5911606 ocaml optional libcoq-ocaml-dev_8.3.pl3+dfsg-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIcBAEBCgAGBQJPU7WdAAoJEHhT2k1JiBrTSWAP/11TZcCHJnJP5Yu4CwHRX+AG
RaacLiwK4Rcsp/NQt/RHaAtxIHxJHjhGw6IjDNsEbdfVSQYgtedshVg3R6gMndMU
gha4Z+cMDls+FwghGRywEKs7v7r/DRfBA6GcR6mANIbTQR/UrzQ3M4YAMU7t5chf
s1t8ItSUFzBC7iQAwlslM7LQQDmOCR6MqNPx9mvVltmOz7WHOxgJIuI6tow31V73
rtUgNdP/gZwytcTcGklL5YkRz9qExYLM94pZjI6BxgZwiaVfQKeg2nybK0NGf1yE
Gv546UkjgYtbnqLEfnQB7leiwpsUFwLE4E1F7VgU7bpDQByEzFUztRe970H2OkTm
ULOLL9jArk4KrBi24TQZqYs1ZbhBg4puNS1RuAW7v0Lvm7CDuT2Vgsw6IylzA9J4
QcpTKs1ttUlCaUWx1XE8zDlA7RDIyiD1RpBdBadyjfjNEOUQpQ1/86V4y+nehYwM
XFTcP8KBKHirFlrWRUGslf/zsE8Voubutkh85YbkgjHDpWLa25MJ6nicvKGd+q9M
KkezxygB8NcB4KXTpbveg7VrfsPFsqAy9/nZs6eb7pZJ5NUL9iUogHWVBbrM4qGm
cc3lIt91Fdjk9cNpJOku2APPvxmL2/FZmv6kTG+4GGZZj0yNGivnwf4NVnr04hrk
N8U5NNYN4Tw0txBgCrCG
=P5k3
-----END PGP SIGNATURE-----
Accepted:
coq-theories_8.3.pl3+dfsg-2_all.deb
to main/c/coq/coq-theories_8.3.pl3+dfsg-2_all.deb
coq_8.3.pl3+dfsg-2.debian.tar.gz
to main/c/coq/coq_8.3.pl3+dfsg-2.debian.tar.gz
coq_8.3.pl3+dfsg-2.dsc
to main/c/coq/coq_8.3.pl3+dfsg-2.dsc
coq_8.3.pl3+dfsg-2_amd64.deb
to main/c/coq/coq_8.3.pl3+dfsg-2_amd64.deb
coqide_8.3.pl3+dfsg-2_amd64.deb
to main/c/coq/coqide_8.3.pl3+dfsg-2_amd64.deb
libcoq-ocaml-dev_8.3.pl3+dfsg-2_amd64.deb
to main/c/coq/libcoq-ocaml-dev_8.3.pl3+dfsg-2_amd64.deb
libcoq-ocaml_8.3.pl3+dfsg-2_amd64.deb
to main/c/coq/libcoq-ocaml_8.3.pl3+dfsg-2_amd64.deb
Reply to: