Accepted coq 8.4~beta+dfsg-1 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 12 Jan 2012 18:53:08 +0100
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source amd64 all
Version: 8.4~beta+dfsg-1
Distribution: experimental
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.4~beta+dfsg-1) experimental; urgency=low
.
* New upstream beta release
Checksums-Sha1:
fadbbbc1933002734893d03f482056888002d0d4 2350 coq_8.4~beta+dfsg-1.dsc
7edf6ebe2a22b0397b739de06488255988acca3d 3369265 coq_8.4~beta+dfsg.orig.tar.gz
79585637bb4791a5dd1f7ae5478256594454f844 16462 coq_8.4~beta+dfsg-1.debian.tar.gz
f64a1c34375edc55d1f37cfce7e0657f63416daa 5973506 coq_8.4~beta+dfsg-1_amd64.deb
bae9f89bf0afbe66285ee7e181038b8829b251aa 1052344 coqide_8.4~beta+dfsg-1_amd64.deb
c04e10eec29f0a18deb22705981938a3711b6001 65098270 coq-theories_8.4~beta+dfsg-1_all.deb
b7d1819516c4eebdc58a6b03de57151627efe453 2213780 libcoq-ocaml_8.4~beta+dfsg-1_amd64.deb
04d795d8893d49344bcdb009ac51241257485d3a 5697568 libcoq-ocaml-dev_8.4~beta+dfsg-1_amd64.deb
Checksums-Sha256:
8e19ab500f3e07f7e0f631b15fa5743fa99899aaf25a8376248250dd5209af01 2350 coq_8.4~beta+dfsg-1.dsc
eeb5fef8c9cf559adcc415df4a6be9419fede89d4d64dd1cd6e055253dbd7e04 3369265 coq_8.4~beta+dfsg.orig.tar.gz
120b67265890d35f843bdb5b2ebeb3cfa70acc9cdcc3a25e2ba43dea54b0656d 16462 coq_8.4~beta+dfsg-1.debian.tar.gz
3fc1c24a3c14b2e9b92882703dde94375e3652db9adfcca579dbe705676d0f80 5973506 coq_8.4~beta+dfsg-1_amd64.deb
d0489ceb27480badca65e88bd677c1b3648e9dfd36305780ce81fefaf9035357 1052344 coqide_8.4~beta+dfsg-1_amd64.deb
51a1b63b2d17f8af31c09339cc516743da2c95fe8fa2f7b61eb9971fd466b637 65098270 coq-theories_8.4~beta+dfsg-1_all.deb
6b46aed20fe5b2a8dce40f50e46c42a4663f2bb5a5827709a47c27eccd9581d7 2213780 libcoq-ocaml_8.4~beta+dfsg-1_amd64.deb
3505c8e2f38490a56f2d5bbfdb36b066576789903383333e6276ae448c823a3f 5697568 libcoq-ocaml-dev_8.4~beta+dfsg-1_amd64.deb
Files:
076b4776ecad590158c7a36706b36d03 2350 math optional coq_8.4~beta+dfsg-1.dsc
c0c25eb7b8631d12723b1b71a1cdfea9 3369265 math optional coq_8.4~beta+dfsg.orig.tar.gz
0425567e04f3133b14fdbc80eae8a937 16462 math optional coq_8.4~beta+dfsg-1.debian.tar.gz
9ef5cb82f94f5f606c3b5d08e99bf8f1 5973506 math optional coq_8.4~beta+dfsg-1_amd64.deb
c9ecf7a9aa86aed7d3468a5b26855115 1052344 math optional coqide_8.4~beta+dfsg-1_amd64.deb
9b0b7a8d362f2dd6980375855b35707a 65098270 math optional coq-theories_8.4~beta+dfsg-1_all.deb
284232cc293a66dffa63b487a139e914 2213780 ocaml optional libcoq-ocaml_8.4~beta+dfsg-1_amd64.deb
36386a55b0ad3a98df65f6bfad8a7c16 5697568 ocaml optional libcoq-ocaml-dev_8.4~beta+dfsg-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCgAGBQJPDyuBAAoJEHhT2k1JiBrT1zQQAJqwOsEqwY8OuruMI2AOke2E
3i6+D3OKVCYmBgczeMWjjkDw3BRxOeKFC/UshK46ldKQ1wkLr0fYFr2DdVJCQU3f
ALoO1P29p1eDC/34vSokjDJQimTsVjD9piiuS7+YUArje5Nw50j2jfJd7yuw6XOh
/THFV0pEwIBqjnYiuv5iA6Gnd+JLT3YLsBPEDm5FZTMbDSPVC3E0LDjXW94z0AGs
QOmmO+o2In7u2zoMt8NZsvwGR5PP1/BlUfPNFkPg8POvWIv+EGDpRYufjzF82jFI
xS8bVjuWQAiaPMDD0JXMSZGgDvVvbzNrZYCTACAQ8FsYmD71AOyPE/7FiVIudPl0
6bF+mkNtoIfxFJTRT3fCp2Bk8iMM9FV0buas94QbZrWM+SzUKYZfAa2zWziS/hJB
KgHtb5p/z3xHVoU2GzjETc4LLc2QetKztAfIM1RNEK1vyZ60r7j1Yk9Qjxq/ipTu
iIoL0i/U3EK6aaY1gtJrWsZK6i0O0phBozRv3EuU9IDzGJ/vsNuorckBuHRTZYSB
D3yn9dVCebUBYDEF1iJVNCAqA42MbM/utO81Yz7C0ATmigrVkcOqEayFqUP3qw/1
qzl9B1tY230WA+CYVRxM5WNQGRSRZPBnPQk59thAkqLpSJpZPAWT2tSNbx0aZyUh
tp9xWkR7IBDo6ADNmyx9
=4Wk2
-----END PGP SIGNATURE-----
Accepted:
coq-theories_8.4~beta+dfsg-1_all.deb
to main/c/coq/coq-theories_8.4~beta+dfsg-1_all.deb
coq_8.4~beta+dfsg-1.debian.tar.gz
to main/c/coq/coq_8.4~beta+dfsg-1.debian.tar.gz
coq_8.4~beta+dfsg-1.dsc
to main/c/coq/coq_8.4~beta+dfsg-1.dsc
coq_8.4~beta+dfsg-1_amd64.deb
to main/c/coq/coq_8.4~beta+dfsg-1_amd64.deb
coq_8.4~beta+dfsg.orig.tar.gz
to main/c/coq/coq_8.4~beta+dfsg.orig.tar.gz
coqide_8.4~beta+dfsg-1_amd64.deb
to main/c/coq/coqide_8.4~beta+dfsg-1_amd64.deb
libcoq-ocaml-dev_8.4~beta+dfsg-1_amd64.deb
to main/c/coq/libcoq-ocaml-dev_8.4~beta+dfsg-1_amd64.deb
libcoq-ocaml_8.4~beta+dfsg-1_amd64.deb
to main/c/coq/libcoq-ocaml_8.4~beta+dfsg-1_amd64.deb
Reply to: