Back to coq PTS page

Accepted coq 8.4pl2dfsg-4 (source amd64 all)



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