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