Accepted coq 8.4~beta+dfsg-4 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 06 Apr 2012 10:04:06 +0200
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source amd64 all
Version: 8.4~beta+dfsg-4
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-4) experimental; urgency=low
.
* Recompile with camlp5 6.05 (no changes)
Checksums-Sha1:
6ef02e588ee2dd31993e8d5e9a00af33a1a3f033 2350 coq_8.4~beta+dfsg-4.dsc
c1059077ec3aa8100cb1fd227296a43bf1f93801 17534 coq_8.4~beta+dfsg-4.debian.tar.gz
eb98d4c719d5a767e4e7ac559304587e83ad7dd1 5975776 coq_8.4~beta+dfsg-4_amd64.deb
eae4a3bf1e4cf0ff9123fbd18258052d406f02a1 1052190 coqide_8.4~beta+dfsg-4_amd64.deb
4f799385e066aa11e2c34fd7184a0540a7eab1f0 65096842 coq-theories_8.4~beta+dfsg-4_all.deb
ceba738e4b40518c5fb2f3b68888cdfb27f73b2b 2313788 libcoq-ocaml_8.4~beta+dfsg-4_amd64.deb
c0cec6251234fd7014f2f1eafc0d43c7344461d5 5696940 libcoq-ocaml-dev_8.4~beta+dfsg-4_amd64.deb
Checksums-Sha256:
cdee4fa68a064ec5abf6bf682a589d34289511876707370884593799d74cbf29 2350 coq_8.4~beta+dfsg-4.dsc
6a0b24fd9aac0c1828ff3ce8e35bef8389db8e110b2270a980dad04f083f5224 17534 coq_8.4~beta+dfsg-4.debian.tar.gz
858c2b14b1cffb7a7d4fc1364f3bb0f75e70c168a5679c8bf0bd9e31c7333f6a 5975776 coq_8.4~beta+dfsg-4_amd64.deb
c24484412085d470aeb09a844e13a5cc84163622c2d8c1429f54731f623fbb5c 1052190 coqide_8.4~beta+dfsg-4_amd64.deb
18deae0b01b6eb21dcf3568deda5af7b1499f709a337ea6f580f55d164894580 65096842 coq-theories_8.4~beta+dfsg-4_all.deb
7cea618a2b462e84ed7cb56828512ca8e1b4664cdb58bfca0587b5d3cb909829 2313788 libcoq-ocaml_8.4~beta+dfsg-4_amd64.deb
d1782f1002e6cd5bd5087015d0e7446cbf9bb641bdc77125dd070181a1aeed3a 5696940 libcoq-ocaml-dev_8.4~beta+dfsg-4_amd64.deb
Files:
c20054b7fe34c9b76cb9fb8a18b9334e 2350 math optional coq_8.4~beta+dfsg-4.dsc
7981111292e0987041ed42ea4761cc01 17534 math optional coq_8.4~beta+dfsg-4.debian.tar.gz
b366086ae2bc45b31e1bd2e766c767d5 5975776 math optional coq_8.4~beta+dfsg-4_amd64.deb
feb9d01497894287ca9d9aab67e4ac0f 1052190 math optional coqide_8.4~beta+dfsg-4_amd64.deb
20a522ba6f9e5a280c39ef9bac19ed77 65096842 math optional coq-theories_8.4~beta+dfsg-4_all.deb
d676bcde8cef6a087f900ee0e73fc59f 2313788 ocaml optional libcoq-ocaml_8.4~beta+dfsg-4_amd64.deb
1792d8b67959f58f76ccf9bc8370cb6e 5696940 ocaml optional libcoq-ocaml-dev_8.4~beta+dfsg-4_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCgAGBQJPfqhRAAoJEHhT2k1JiBrTAXkP/jdFkUIAKz4jsr9ZhjfFDZvV
DimVwQUQJ1IO6zIhMzQsxueSKaoYDOrb/sT0aUpNoEO1Xb5KvSf2f8oBKX+/Ahow
trszhh9mBNhPEp7G1wykvl1jMogaFhGyKjRa+7ivCFqTG4mHD8IUmM6yzWIaVOdm
yvBEAn/TAcxG+dgbotEI2/aKKvCbXY3BM0f6wq4IpP4WmJTlTBzSjKp0hjC/65Ie
HWpGrVWsPLhUvjnFi9Ew5DjHosvT5S1cwcYtItOSUq3v25st8+EODiVtTnVNUti0
fKWdHAGMaeLJK0awyfZmAsR+EWPOYOdp364Gk/vQJ6jIivY2NvSzPoHKr8GxTw4x
kBAmvB/7mDnbTpqgNbaW98xWa2EhMTApP0xl0qT6eVb50a0ufc830mhxRWbjRYKX
HLtCGkTfcez+Jgbrb72rGFxY+76D/WRbB7SpxZRi5fSykOP1aH7pFKjengmUSpQ4
MYqZe+dYCeBNRtBGxhecK2fXsgzIcP7rTBIYTGWMwvcnZgPyh+S40UfY1das87ZC
njv1c8wzst9qnxJa5o3/PIhZuxCsbmch+mnJLv3ewSCWTOhI8P7YqFSZFfu37iiJ
F/D+XgWO/TI1wogfrwpsnXtpYksF9KdqYsjUR+BsigunYLyxmzAUEoi1RdTG0MO3
MlED6a/2riAt7MNt+Xan
=8Mds
-----END PGP SIGNATURE-----
Accepted:
coq-theories_8.4~beta+dfsg-4_all.deb
to main/c/coq/coq-theories_8.4~beta+dfsg-4_all.deb
coq_8.4~beta+dfsg-4.debian.tar.gz
to main/c/coq/coq_8.4~beta+dfsg-4.debian.tar.gz
coq_8.4~beta+dfsg-4.dsc
to main/c/coq/coq_8.4~beta+dfsg-4.dsc
coq_8.4~beta+dfsg-4_amd64.deb
to main/c/coq/coq_8.4~beta+dfsg-4_amd64.deb
coqide_8.4~beta+dfsg-4_amd64.deb
to main/c/coq/coqide_8.4~beta+dfsg-4_amd64.deb
libcoq-ocaml-dev_8.4~beta+dfsg-4_amd64.deb
to main/c/coq/libcoq-ocaml-dev_8.4~beta+dfsg-4_amd64.deb
libcoq-ocaml_8.4~beta+dfsg-4_amd64.deb
to main/c/coq/libcoq-ocaml_8.4~beta+dfsg-4_amd64.deb
Reply to: