Accepted coq 8.4pl2dfsg-1 (source amd64 all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 08 May 2013 18:10:14 +0200
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source amd64 all
Version: 8.4pl2dfsg-1
Distribution: unstable
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.4pl2dfsg-1) unstable; urgency=low
.
* New upstream release
* Upload to unstable
Checksums-Sha1:
634a4e6fa67a759fd1e88eaac5d38a30892448db 2344 coq_8.4pl2dfsg-1.dsc
0731a68150ae4cccf7609f2db167b93f3ce9f080 3528138 coq_8.4pl2dfsg.orig.tar.gz
7be4070da679be48f82350160177a6416703bbdd 17375 coq_8.4pl2dfsg-1.debian.tar.gz
bc6180177f837e64e5f66142880e5016acbfcdac 5980754 coq_8.4pl2dfsg-1_amd64.deb
fd0886a23b57a46727362df2a930718ffdd47b9e 1045594 coqide_8.4pl2dfsg-1_amd64.deb
8b80a444cdcf1817a63cc8df236540ee6e6fee59 58894970 coq-theories_8.4pl2dfsg-1_all.deb
6d1020693d4f55b0136b9bfc0c03d58425f68996 2228162 libcoq-ocaml_8.4pl2dfsg-1_amd64.deb
323d72d686c8eb3c99d86ea8cd0778f4e747178e 5795534 libcoq-ocaml-dev_8.4pl2dfsg-1_amd64.deb
Checksums-Sha256:
f323fee8e3b98cbe26af9001b9fb30e63df63b6148b4ae186bc7a334356667dd 2344 coq_8.4pl2dfsg-1.dsc
53f1e75dafac66e4f287257041a9ab4f567af6fdd9407b74b307904fd452b735 3528138 coq_8.4pl2dfsg.orig.tar.gz
c79d3e2147f3a82718e0bff70541f2876d1e2980f9c4058574b264be444a0f24 17375 coq_8.4pl2dfsg-1.debian.tar.gz
82a186d30a1f966035ba03c7cd28ea7026c74442173f002ad23b185bb5afe4d2 5980754 coq_8.4pl2dfsg-1_amd64.deb
fbbf2294eff530a91914b217e73d92560bf2f4d2d3d2595dd50a3cf7f5b1648a 1045594 coqide_8.4pl2dfsg-1_amd64.deb
a954a2cf69b3fb011d34ebaed014b572bcca796ee089962242762b03a738ecc5 58894970 coq-theories_8.4pl2dfsg-1_all.deb
c399034e656e30caf943e55a3f53eef4047d51c9d424084b624f67fde1074083 2228162 libcoq-ocaml_8.4pl2dfsg-1_amd64.deb
a5220ec74919aac5a4ca978ac59fdfe8af77f69993e25a9d3cf7752af270b0c1 5795534 libcoq-ocaml-dev_8.4pl2dfsg-1_amd64.deb
Files:
5663b4d13387706bd04ed78774f5b7f3 2344 math optional coq_8.4pl2dfsg-1.dsc
ea256f562d72fe0c22bf5faf2783b351 3528138 math optional coq_8.4pl2dfsg.orig.tar.gz
7de2acdd945f15ccc7c8522e739af5be 17375 math optional coq_8.4pl2dfsg-1.debian.tar.gz
f945b73bad2d19c6d5e5721cfc043383 5980754 math optional coq_8.4pl2dfsg-1_amd64.deb
8b01585b6637e5bbbed57673c22a48dc 1045594 math optional coqide_8.4pl2dfsg-1_amd64.deb
d70dc5ede0fb2f947dcfec4cbea8c8bf 58894970 math optional coq-theories_8.4pl2dfsg-1_all.deb
cccfed2a2f2e6f816003f6c1f5ab6421 2228162 ocaml optional libcoq-ocaml_8.4pl2dfsg-1_amd64.deb
36bdfe9469ef0600653aaeda9583b340 5795534 ocaml optional libcoq-ocaml-dev_8.4pl2dfsg-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCgAGBQJRin+TAAoJEHhT2k1JiBrTihcP/RiZY/evkkhUTImCcb2g/ZFG
g/nU5GSz99UGggM2hFLZLV7WHxefd1OF5gX92OnaU1WlDX7Zic7TT53jWi+FSUi9
cDDX53si0WYa+xBH53pfo3HftFaEJVFs0MBJvi93kqvdzYRhIaeP5j0bBWQ/gYeD
3YaRa0qDLy8jyNVqnoGGoe1v3T53boPqvwUKV0lDEITsc/WGug2bi3DAAwn9jlIX
HNnd+ZvNQEzFIHH2V6jHmlHNxE91FEh7DTqEFxsONoED3zdJioNgerEMQoHnqHD8
+glEXYdLNKsfx1sz/vp3DxN3lEap6VmCPenwqMx4PNRD7ZPeQ5EIF+vsnYePgFcc
M5BrG5nYgfFKSSk9wb0Dyjv7VIGxvk+oPzPBhWRMJy4P6+k3LbVuDqEtn2x83Nxg
Oa7NSQ+9onuM7xdBvq20T+AaNVAS9cXSgE5Js7rOM67FJtMl+F9H9d1kclZMndtm
lZgp5pQsTxwE/cVIjjOeRPNwDeYoj6Kzi43S2mbQS78PB8qx4F5P3n6MhVBB5lTc
rIvbvXth6tSyQZErjHVqEPQA8elNQ4s/FT43ZYONtfrcWsXCK9dZ+SEK7T3lai2x
R6kqQdIN2lSNKC84pHukXNf7p2GGSDzL8V+LenUBfPkYM67yfn94njkQw3fuN6xG
C6JmlNrgF8cS43/k/iw9
=Ubgu
-----END PGP SIGNATURE-----