-----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-----
