-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 03 Dec 2013 19:54:49 +0100 Source: coq Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev Architecture: source amd64 all Version: 8.4pl2dfsg-4 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-4) unstable; urgency=low . * Upload to unstable Checksums-Sha1: 0b5708449ce7bf5f5f1faa249a07c829df2476b8 2356 coq_8.4pl2dfsg-4.dsc e62c76b96093109b9a287ba2af2f721c71dc10f6 17870 coq_8.4pl2dfsg-4.debian.tar.gz bdbb640fc0acf1ad562d8979d970b7d1e46ef834 4044806 coq_8.4pl2dfsg-4_amd64.deb 7916afdfe7c5dd0d8bf7c60e6bcc658d28b53427 792686 coqide_8.4pl2dfsg-4_amd64.deb 1370a87602f2c5f1854c8a69058fb215d3dabcb6 32156380 coq-theories_8.4pl2dfsg-4_all.deb d8dcea2b8a8691ec2ad330a0594d605a31161628 1634644 libcoq-ocaml_8.4pl2dfsg-4_amd64.deb 62aa160f75724f99f02a1d110a53a0b7a887ecee 3770206 libcoq-ocaml-dev_8.4pl2dfsg-4_amd64.deb Checksums-Sha256: 8597a4ba5fb97db0810b73786ea8ba3b275c74bfa63af7cae4d70a2a981d383e 2356 coq_8.4pl2dfsg-4.dsc 8f16c05704831f38f20e2f7ceafc7b8ff8137a8ff82ee0921f50b89c6c28b96c 17870 coq_8.4pl2dfsg-4.debian.tar.gz f4e18d6f2c9c981deaa02d45e04f20b1fc49cace5e7b75b2af07be56dbbf6503 4044806 coq_8.4pl2dfsg-4_amd64.deb cfbbabeea9101df5ca91669b1b6d0bacc7ebb99add936235fad9208178ac17da 792686 coqide_8.4pl2dfsg-4_amd64.deb 189c7d5928247a3f7f18129dc425940b3fc272972f7a1ffcb2760219a7d09c79 32156380 coq-theories_8.4pl2dfsg-4_all.deb d2464eb36d4279242e3705870c2d45cf138e7afe46f0b45b1663c112fe0be9be 1634644 libcoq-ocaml_8.4pl2dfsg-4_amd64.deb 220fc4fff221a0e73c00ce629a1f713bb9233981d574aabfa78aa6e3ab3027af 3770206 libcoq-ocaml-dev_8.4pl2dfsg-4_amd64.deb Files: 41abc3b1802a6fccab76dba7d8e8ac7f 2356 math optional coq_8.4pl2dfsg-4.dsc 7a14c68cb8a2eef696a722bbdfea66de 17870 math optional coq_8.4pl2dfsg-4.debian.tar.gz e9d63702d4f943c8225ee89b470891cf 4044806 math optional coq_8.4pl2dfsg-4_amd64.deb 5b9429b64c0f389889513984841693c8 792686 math optional coqide_8.4pl2dfsg-4_amd64.deb cf145f25da769b7416958e78e6db28e1 32156380 math optional coq-theories_8.4pl2dfsg-4_all.deb 41bf5d9afee51a0da4b015c88c0625bc 1634644 ocaml optional libcoq-ocaml_8.4pl2dfsg-4_amd64.deb 0857df55012a9e32e64473a885f7b51d 3770206 ocaml optional libcoq-ocaml-dev_8.4pl2dfsg-4_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.15 (GNU/Linux) iQIcBAEBCgAGBQJSnjcrAAoJEHhT2k1JiBrTHXsP/3XYytGVhI3VwhOdGB/dRyGz PZ4dW54gSWdbtDZdOlJ7MC08pWO7W/fRs1DRUjDMCcp74X8Fu9l6pisxBTFkw7L2 TagVwOBMF9xoVO6XmuX/2wyrXIVmqg93yUR/RfoI1s0XTzPezZ/tz7iGIxrmZMtE m6dvg/4N3y82rsUyBw7cJcn/VZL9xu63mYSEiwlPbaMOJTbPeBH7t7Eh8tWRo3GL 6py9PcDuWJ9xaloUA+am5JmDKS6S3473IGDQNTqHbCTIC5OlUpXruBEzIUQIbWc+ MgXbAxAEBMRpx7I+9+Cbxvc9ODM6YVW+Kbfp6Eq4jYb+zPmqmNZMp9sUKVpbtiiF NfDkcZm3SO1UYNkl9S+bAePpjrWwkeMJSbffcazUb92TWypJJDQocSN34nRecpjt /tENMMyOBIP9umcIuIcASu3oQO6+9rIkxTbABTaemTl7/MrTFtLbm2gZ8KxrHSC2 aKBgn27fjjqejuYGRhtNeBz5PU+/0Yg/LysDdDvGBItv90KsDHrqwGzmQ50hmz3q AZVShlJmYFLDtb2jYqyj32wCQS+rosQBPZfGZlMVY64SFZTetnC9KL+UzPcuAMrV x/3IWu3WoI/wQ094ebvS/UfiYCVXW0eSPcfGuIPngj4H12Xg+4pTjRjBV9HCqz9M jU6j1Uoj7aHPjC/hc2IH =+0r+ -----END PGP SIGNATURE-----
