-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Fri, 13 Nov 2015 11:27:35 +0100 Source: coq Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev Architecture: source amd64 Version: 8.5~beta3+dfsg-1 Distribution: experimental Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Enrico Tassi <gareuselesi...@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.5~beta3+dfsg-1) experimental; urgency=medium . * New upstream release Checksums-Sha1: 0f19cb7f744c09d45f6a3b1e0d9f413f2786402b 2473 coq_8.5~beta3+dfsg-1.dsc 0da7510ccf7e6ab97043ee0870ae3a013eb159e7 4837057 coq_8.5~beta3+dfsg.orig.tar.gz 3e59824f52603c551c1807b8a0f47763ce913ab4 15916 coq_8.5~beta3+dfsg-1.debian.tar.xz d03b57c7a650151f9289186718f7ae23576f8025 35115524 coq-theories_8.5~beta3+dfsg-1_amd64.deb 14eb5aeffe013c49080b5b2d77ec438544ed6707 12903040 coq_8.5~beta3+dfsg-1_amd64.deb 73f92fd957c62fb6e6145c3d6459d945afe0c15a 1139334 coqide_8.5~beta3+dfsg-1_amd64.deb 0842bf142cd3340799209c3167a6876038cf8af3 13298068 libcoq-ocaml-dev_8.5~beta3+dfsg-1_amd64.deb c25e332a0b6c2e110205a7c9d8a1dcda65d4dcdd 3422672 libcoq-ocaml_8.5~beta3+dfsg-1_amd64.deb Checksums-Sha256: 924b612c4d4224c39d462a2a02a90d3e95a632ff4e838f985ebbbcbb83faf21e 2473 coq_8.5~beta3+dfsg-1.dsc c906a12bf1260921329bcfff7c8fdce9b2d43c1611e029989b39132688d9f07e 4837057 coq_8.5~beta3+dfsg.orig.tar.gz c09fe160595d25ef12a53df4abf66fcf3e7e239e91eb629cf0ff001853e0e20e 15916 coq_8.5~beta3+dfsg-1.debian.tar.xz 3f71d1425aee1b1d9ea1822d4d9595e86dc31c2643dbea1ce7c07c43b98592bc 35115524 coq-theories_8.5~beta3+dfsg-1_amd64.deb 7f043f516d748a256c7f55466d428ab6ab3b40c7f29cc5454891e1b187970991 12903040 coq_8.5~beta3+dfsg-1_amd64.deb 16145374ed799ba4fcd8f0aa77eec9725a1f9941d6da34e6a1590d14de0b5a36 1139334 coqide_8.5~beta3+dfsg-1_amd64.deb 25e037a5bf39d91f02d034e3415c693a8290038e9eae1b57f2334a01354fd093 13298068 libcoq-ocaml-dev_8.5~beta3+dfsg-1_amd64.deb 30cf705f6bf0f27956b2f783851e9271eb6290b0d0400961004f7b237c386e90 3422672 libcoq-ocaml_8.5~beta3+dfsg-1_amd64.deb Files: fabf909506d68e7414359fd49fd51b77 2473 math optional coq_8.5~beta3+dfsg-1.dsc 73e0e61e11d6fb5a9fd1b7f1b86e17ce 4837057 math optional coq_8.5~beta3+dfsg.orig.tar.gz 7ff3a524c875b5d8aa67d485a5cce8eb 15916 math optional coq_8.5~beta3+dfsg-1.debian.tar.xz c387c1bcd94ce9091f07946e908eeb98 35115524 math optional coq-theories_8.5~beta3+dfsg-1_amd64.deb 41f799d37ef9b31b0140edc133739fd0 12903040 math optional coq_8.5~beta3+dfsg-1_amd64.deb 9a50853cfb2455c794e3d1d7464013e1 1139334 math optional coqide_8.5~beta3+dfsg-1_amd64.deb abe9f62d1bab9bc761ed371f5b15e8ee 13298068 ocaml optional libcoq-ocaml-dev_8.5~beta3+dfsg-1_amd64.deb 5a4225410533c656246985aec6f65874 3422672 ocaml optional libcoq-ocaml_8.5~beta3+dfsg-1_amd64.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJWRvy3AAoJECUFM8yim3ZPwtMQALzvQVaPTX3b/XGsk/KmMcMo 6ZiFeU9S9C3uko6f005p6pxljxsAZmzRvK3lQbtaCKeUCBI3uG4F54zrIgG36rhl S6rz5BR0f4nHlXBFenBxTPoXiEFcHKYOaSN++QITELAnIGEojCxHLt7ZSoe4+whP JPqNHoZNosY2NCThT2mpHhl7ePVneU84jHr6vpINQ+eQmyaVzRG8b62H4qdskqKd mlNpP0vpWL2gL+m1oEyXVaLTr3Xg+Km+5GoI1Grab1VpeVGHGWjpp7daRp0Mjngm 6Qh1KmxSVYnTUDpMmWfFu5yXw7iXFbbwaB44fLDXanJqoNBac9lqiRerih2sLmB+ 4QKxkLIP8UcBcxvlH0aUcbMKW2CSvhBcycun5hd5GahiL06HVErw1CkLiEOk2RTZ kXwVr8zyYkbV/3hqqab2jbwI3+JAN3HMOhLL6mQf1F3LRhY9ei5Majqf5Pfi4JfC 23sNUqjjiBgZr5k+y9G7tdidiydzAtvh4z7KaQO9TZxbAXD59zyBfmx/Kdhn+AXa LDa93bp/hbVajEO1cvi+sXBiE4Q5iO4O2mEg/wRK18V93lRKhSN8T3yXui5HP73G OIqGJiDe8ZNswPk0QbwdSPCiXwtpYC54CEApiv/0xDrYgE+rEc4h4Gw5m8IEAb4S lTk6ygSKOJy9bXicdXfe =TvcT -----END PGP SIGNATURE-----
