-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 19 Jan 2014 16:16:36 +0100 Source: coq Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev Architecture: source amd64 all Version: 8.4pl3dfsg-1 Distribution: unstable Urgency: medium 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 Closes: 680248 Changes: coq (8.4pl3dfsg-1) unstable; urgency=medium . * New upstream release * Update README.Debian (Closes: #680248) Checksums-Sha1: 0cf18ec18c573daa4d47dd24e29b231a85b51340 2356 coq_8.4pl3dfsg-1.dsc 1d56e9733b1c209697c5f340206b4ce7e6244795 3521338 coq_8.4pl3dfsg.orig.tar.gz 8f8e5f8cf70490e4949d291ed64115d6716f5065 15800 coq_8.4pl3dfsg-1.debian.tar.xz 68dd03fe0eb52ff2e3fcf7082de69501d72895fb 4078610 coq_8.4pl3dfsg-1_amd64.deb 144413e3e77048c4eac146f38a9326cc39f8afa5 795828 coqide_8.4pl3dfsg-1_amd64.deb 4a83d944d7e0b3b3f4a0733c35f18d0f7221227a 32108044 coq-theories_8.4pl3dfsg-1_all.deb 40d53154c5fb73b02ee27174c83a2eedaf495faf 1636466 libcoq-ocaml_8.4pl3dfsg-1_amd64.deb 9313bb2e018f4b79be407a4a555507bba3c5c167 3771784 libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb Checksums-Sha256: 19f18d629d73ceb2c59721104f37268701807805e67447ba9a580096a44ffce8 2356 coq_8.4pl3dfsg-1.dsc 0321c3e60eb5fb65f9f4f093f07413444f57e57496e908e7654e5fefeda213cb 3521338 coq_8.4pl3dfsg.orig.tar.gz 38e0b2acddd47e929b535301e656a9c8041d37742a7dd86922dd43bfe2e6f8ce 15800 coq_8.4pl3dfsg-1.debian.tar.xz 0e8f0ac2adee9abf81416fb321b7054c5c074587e058dd8bc0f69321320d487c 4078610 coq_8.4pl3dfsg-1_amd64.deb 6baa552d88a95e36967c4db960a3fb35fc113bf98b06b4132f116eb91ca9c802 795828 coqide_8.4pl3dfsg-1_amd64.deb 753af44b69dbdfa0ce41ec041ecb49b0b3efd38ef3f232590d95ea75e7236820 32108044 coq-theories_8.4pl3dfsg-1_all.deb 9fb5c4b80d9251048fb10fc87859b7a40c086b8ea5c7bea5501a1f58fb84d0b8 1636466 libcoq-ocaml_8.4pl3dfsg-1_amd64.deb 2478df379e8779a2d4803adb29150fa85e8e23d0a0ad4cd727229b44939c9a05 3771784 libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb Files: 1938a5e8a0ebbddacb25ccfdc86d0bbc 2356 math optional coq_8.4pl3dfsg-1.dsc e26ec264daf5548268677ff1f18c7849 3521338 math optional coq_8.4pl3dfsg.orig.tar.gz b6daa124eafc37668460e52df7b25113 15800 math optional coq_8.4pl3dfsg-1.debian.tar.xz 2c34091f01f0b9f3c61c845b58773251 4078610 math optional coq_8.4pl3dfsg-1_amd64.deb f9b3bdb157c1df94572909edda89e3ef 795828 math optional coqide_8.4pl3dfsg-1_amd64.deb 8bfb11defacdb7dd7d59df3a15e27262 32108044 math optional coq-theories_8.4pl3dfsg-1_all.deb 4c3c6e7f9eff220059692186170fe79e 1636466 ocaml optional libcoq-ocaml_8.4pl3dfsg-1_amd64.deb feb7765f19fa0140ba173aacf762071b 3771784 ocaml optional libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJS2/3kAAoJEHhT2k1JiBrTvPsP/AqkBtSGfH4W1JJh7RcXqSIc 9CXB24n3a/0kugIq1e/VUF+1ovbulGPIh0SItU1zzr3LAU4BbAdH2eY+YH8Phxlj PIkbTuLMPqEk1O8yysXmDqDC9Q44TkXA0aKEvjCS50TGY4At/nxbp9vFj4Y+LxjI eDJ4F9/PMj/o25q+EOrqoc2j39i+194129NzmABLUDIxEB5i+jGHVr1t5dGkQmjv DCkvBBxhiieAfHX3IVFAT2wgsVSULZddeK0pXiISroZpXQYmwPilc4szHH6Ak74y xRNx7mh4NGkLPNrcMDxiFMmwOS9kdllg8xJPe3/nTwrTDct6DguOUZQJuCnJR2hN sjSUadXbEEzBLE7XNYk8JV41/4ooYlBl4Jocfe2u6tWI3mc8Y+kiVIf5tl2/hLgV BLnRd+KU6KY5zTDvVLXCzI0Qv1EhJLTMP1MSv9Z6fwhDy+E1OeelqMkHvISGGWiA +uumTxRBiyDkHH8PeWIUnYHaYwHk817/orDX59huNhOV5cPIvPVk2c+j2MPtc0VQ zwoqSjG+P5+gC+9eJrG8PRFu9UCn/eggg8YHHZ5C92V0UDm3mjFaCrlRSkU/e4tO Nf+SIFQW/Ms2+DaijX/ehyEo9UWoQE2gMdqVagmK61i9eQEQid9W8B91Ceeqhty2 2ZWWqZXwMXc+A224houJ =T0rg -----END PGP SIGNATURE-----
