Accepted coq 8.4pl3dfsg-1 (source amd64 all)
-----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-----