Accepted coq 8.3.pl4+dfsg-2 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 06 Jun 2012 07:35:26 +0200
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source amd64 all
Version: 8.3.pl4+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.pl4+dfsg-2) unstable; urgency=low
.
* Recompile with camlp5 6.06 (no changes)
Checksums-Sha1:
e12f082d3da208358e384882d7f65319904896b6 2343 coq_8.3.pl4+dfsg-2.dsc
9905ea846871f1d60fff5333bb46750e91ec20f2 16306 coq_8.3.pl4+dfsg-2.debian.tar.gz
77290ca5dd34b88228ff93a2fbbbe4dbf6dfb118 5687430 coq_8.3.pl4+dfsg-2_amd64.deb
1b68c73c764cece7aa5d5d2caf90cb325967dce5 5622922 coqide_8.3.pl4+dfsg-2_amd64.deb
2edb480e6913d4ca200b5698a9d2ed7ce7825e35 54416126 coq-theories_8.3.pl4+dfsg-2_all.deb
6f561b503dca5a48b4b063295045d2abbe56c2fd 2100528 libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb
79ea16a96348652bbdbfaeb74cbaf9caff85f26b 5916580 libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb
Checksums-Sha256:
e59f9eb3443dd2fe0ae548b031bc9aa68f5c7de8cd1aaf0d952a0ef68c2439f6 2343 coq_8.3.pl4+dfsg-2.dsc
04c15327ca6d4e4cadba908d0d075f5030d82d9c9c9f7efe5bbb04187f651a4e 16306 coq_8.3.pl4+dfsg-2.debian.tar.gz
98cd47e5126b0071e5ef53d455f6bb7624d130dae3308cfa6b9abd3363b9562b 5687430 coq_8.3.pl4+dfsg-2_amd64.deb
b26f2b2094997f862415562b5f666bd5f1a60b7fd578e45a7b235edaa5b7460f 5622922 coqide_8.3.pl4+dfsg-2_amd64.deb
11f7a3cd6fcf3cb5e36145e670b966842ed862572cf4e5020bf9e909776b72eb 54416126 coq-theories_8.3.pl4+dfsg-2_all.deb
2c630d08fe015358518bfc3db3087f8500a17998501e04b0d4191b2e8595e263 2100528 libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb
b83017c39e90899bf1d94998869233e402a7410d6bc26e02a2ae995755aa8133 5916580 libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb
Files:
c19602442d98f960dfcd5fea31e19f9c 2343 math optional coq_8.3.pl4+dfsg-2.dsc
34f50c26371adcf32136217b3da1d333 16306 math optional coq_8.3.pl4+dfsg-2.debian.tar.gz
d12a66bb0218f37334480b39399764ae 5687430 math optional coq_8.3.pl4+dfsg-2_amd64.deb
bbac3d194f74f7ac1cebb5e2bf99cf28 5622922 math optional coqide_8.3.pl4+dfsg-2_amd64.deb
93f8f59ec4634d7bf5be094cd2e59555 54416126 math optional coq-theories_8.3.pl4+dfsg-2_all.deb
1ca33a3dc5e41a5899fd9dceaa4e3621 2100528 ocaml optional libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb
7915d80b5991ac8579bf0f757e962827 5916580 ocaml optional libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCgAGBQJPzvUhAAoJEHhT2k1JiBrTYR0QAIUHatV0+YnhF3ShYBOLi9Xg
9QgmY8JA8gwdjgBnOat+3szCe8j2lkgYDntwtkMNawFDSgiK61BADC7XfF8Gp3Y1
YJw1FUPjGwk/exX8F+7REJvaJ+BPrkP3Dudw5BT2J3oXXZSMI4cn1xsFX44egzPE
yd/3l7JEUFrD58dgTW2Fmnu0OVa4T8KdYhnlTYLPCA4lxLlAu8xbpV72evnHxnF3
EtaXP7vkGLV54Du7VUnQ8/DKHMm3b97hoUxEwGzfz7S0A3Zs5pidBYETMdbcmj2Q
rUMaIttPdCcQamvzMJL9PhKyw4Mf5wJkikFnuUASghB8T/2gyt1SaYlJTKRwrsyT
AwuWeVpfPh/JTZMBtCJTCJZ99B/OrK/kiWP6+EQsi4qFoL4DyOubTygKeh/YtEZ0
DFI4Ylt7CaABKqNaBcuUAxw81pUCc5Pb6cgE2v1ogYL6udVbt03GzCoF4wpxomb7
aD7nw4ekZBRQe2CoXb42fGnWMS7CU5NE9uCYhiswpyvcoSuvTRIm++JlLUSUKyr/
Em77VIrhJRFO1qZ+YAZQ0kwNAEbV+EaJSM/S+4+UsxDEtsCIgTzQu0KEhUF0d4Zz
e04dpPfFCWtoMWNXWddEBYpAr0SowuASNzcccvPXktCiQQWpN9DiT6I90YbEIa/1
Rpzmw5Q2WFCSij1XMoSj
=f333
-----END PGP SIGNATURE-----
Accepted:
coq-theories_8.3.pl4+dfsg-2_all.deb
to main/c/coq/coq-theories_8.3.pl4+dfsg-2_all.deb
coq_8.3.pl4+dfsg-2.debian.tar.gz
to main/c/coq/coq_8.3.pl4+dfsg-2.debian.tar.gz
coq_8.3.pl4+dfsg-2.dsc
to main/c/coq/coq_8.3.pl4+dfsg-2.dsc
coq_8.3.pl4+dfsg-2_amd64.deb
to main/c/coq/coq_8.3.pl4+dfsg-2_amd64.deb
coqide_8.3.pl4+dfsg-2_amd64.deb
to main/c/coq/coqide_8.3.pl4+dfsg-2_amd64.deb
libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb
to main/c/coq/libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb
libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb
to main/c/coq/libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb