Accepted coq 8.4dfsg-1 (source amd64 all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 20 Aug 2012 18:33:45 +0200
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source amd64 all
Version: 8.4dfsg-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.4dfsg-1) experimental; urgency=low
.
* New upstream release
Checksums-Sha1:
71cd0545debf2b1e353050e38f24ca9d21a58fac 2308 coq_8.4dfsg-1.dsc
5523bbcf9a2be3d014bd5675dd50b61fb2826022 3520127 coq_8.4dfsg.orig.tar.gz
7e0be632e05f35a62a129051854f3b04027df9c3 16914 coq_8.4dfsg-1.debian.tar.gz
6d34210a6d6d45bfaed02f0bfe984651dd49a120 6049498 coq_8.4dfsg-1_amd64.deb
9470d0edf5ee0bb0f5c301281d641b26dd334975 1064982 coqide_8.4dfsg-1_amd64.deb
199ff280eef4b2ee3d1107c059fb112e499adc3a 66323632 coq-theories_8.4dfsg-1_all.deb
cce2e585542f9ceaddecd332d70443b2ecfdab59 2252960 libcoq-ocaml_8.4dfsg-1_amd64.deb
da3841bd582d9b84687ae06609e17141cefbb2ec 5783616 libcoq-ocaml-dev_8.4dfsg-1_amd64.deb
Checksums-Sha256:
78687958a8f91e83d4be752685e903642bb3db93f26a6e4103b55a90f61e77bd 2308 coq_8.4dfsg-1.dsc
661e44b5355d36487ffd6e92a7cf707973c04c27348bc9f66b286bfeabd253f1 3520127 coq_8.4dfsg.orig.tar.gz
14b6d0719d6f595f5972d8f63e503e50c5cc20971d5c044b69efdb05f3d62eb4 16914 coq_8.4dfsg-1.debian.tar.gz
6c971f523dbd4d091bb3389ea51e33252c36cdcd40d7d13f32a80803d12e6c12 6049498 coq_8.4dfsg-1_amd64.deb
0010a9d4a4ab6c6638c808a5f0e2ed00fda3e47b400dc8d2e3116a5dbd4deedf 1064982 coqide_8.4dfsg-1_amd64.deb
fd0d96a36e6cdd525794f4f5839b4eefb913b13e74931219f60975d1b732a3a3 66323632 coq-theories_8.4dfsg-1_all.deb
218db793e564b85bfdb08fefdbec17e2ca76352f3c03b67cddf2a24726c6a878 2252960 libcoq-ocaml_8.4dfsg-1_amd64.deb
91dcce9c66851d4643f5b75115a9a3ed32aa7cbbccf8e13f2a97273d4432e96b 5783616 libcoq-ocaml-dev_8.4dfsg-1_amd64.deb
Files:
887a7a9011901e2b58808e0a400f734b 2308 math optional coq_8.4dfsg-1.dsc
70c313a0fc9bc0e6e29efef4955fba66 3520127 math optional coq_8.4dfsg.orig.tar.gz
4c519b62810ddbfc764ccfe6bd2420f9 16914 math optional coq_8.4dfsg-1.debian.tar.gz
3ed9e0554c09578ca748cf43af70b393 6049498 math optional coq_8.4dfsg-1_amd64.deb
0a52d0e1e2fc2a0b470000d0eae29bbb 1064982 math optional coqide_8.4dfsg-1_amd64.deb
cb0bf648fec1a75f8f990fdd1e84229f 66323632 math optional coq-theories_8.4dfsg-1_all.deb
dc32d60d662ec181b4ebab3ffcb11624 2252960 ocaml optional libcoq-ocaml_8.4dfsg-1_amd64.deb
6cbc11274984c214fd26cac514884c1b 5783616 ocaml optional libcoq-ocaml-dev_8.4dfsg-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCgAGBQJQMmovAAoJEHhT2k1JiBrT5gYP/iMU38JM4QQqwOcEDgpqvsuC
++ciemdzri+pjLgnS2HHGoRwwWIhYxz9eWQccnKNzhTLGht2MF841sXj33WWsEhg
cVgtWmEftWoLuEIQ1oCdHbspwZGiP0/Bm1Aq7Z3s+G2C/IUWtdGx2uqvlq7kBfUr
Jbn0dRZLAMoEyWHXLvZpAjGJgBlvN793goC+nNTZR/gdES4g4m2p+pWe6W0/5cBt
lVDY9ZB0IT+opAliEW1bOTNaRrG+el0s+JyoqHyNXrUbfe8kGgqtA6y6yD3CNYvR
seaw+iJqtTcLSlj+1O53UWAEWigfU4hD9aC2CzqBM8EJmJX8MknahXLU6tzQ+lbT
Qg7Y9yTqyXxZ2NFjgzl7+I/5gh85eUAoMKOCYmVMY9rdzsglCGrOZc9G7Ycg4c5J
FNGYQ3ZyVrOfNPSnF5SsP4D0ZL6WBNkq6wuRwAT8Vz4jUBZz2VDeq7xMW0nKyPuY
fqV3WRX+uiOgnf0urEwwOA4YR9kNs02nGN8HUbP+hMLVjtnHiE/Ah5K2U8bE57TB
rVC551NtI2ltAmZ7CgLskiGY0eiHlc/4jU0RvXrPdTqeLdN29aKD4YoBbRAwSAWN
DPNU2lL8/OGhYXGCubN3L5kGBukkPiM4OzJVl5dZeHOXFhwEP10X9u+qXoKSceoB
8p1zYaSX9M7HUOgXQfsX
=/yGU
-----END PGP SIGNATURE-----
Reply to: