Format: 1.8
Date: Thu, 28 Jan 2016 11:47:07 +0100
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: i386
Version: 8.5-2
Distribution: xenial-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lgw01-15.buildd>
Changed-By: Enrico Tassi <gareuselesinge@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-2) unstable; urgency=medium
 .
   * patch: disable test 4429 (timeout too strict for slow architectures)
Checksums-Sha1:
 2408f13d76ab458340fc569283c56a1e8e844b77 1064294 coq-dbgsym_8.5-2_i386.ddeb
 09c7a70fa949084660090dd803deeeebdd9a274d 31873994 coq-theories_8.5-2_i386.deb
 d7f20cc63dc30a2af958a37a78ef0ff771f6f46a 12597660 coq_8.5-2_i386.deb
 86f2d9349bad4ebe67fdca5dde2608f1f18754d8 311214 coqide-dbgsym_8.5-2_i386.ddeb
 e47918826bdeb1724f3ed3681bfb73f077bf6004 1028060 coqide_8.5-2_i386.deb
 c874a616c6b44f394fa5b56fb08e6e4105e88f0d 234324 libcoq-ocaml-dbgsym_8.5-2_i386.ddeb
 72699eea51f45bfcebc4a21b627b256b468ca6a5 65940 libcoq-ocaml-dev-dbgsym_8.5-2_i386.ddeb
 be80d5d3844b83d01bd7c8236c04fb05299ea057 13300060 libcoq-ocaml-dev_8.5-2_i386.deb
 6c0545ef4a1917b8b76e0187c5ee6f55cc1f6f63 3273714 libcoq-ocaml_8.5-2_i386.deb
Checksums-Sha256:
 2369c12553647748e9ce31847015c333df432216c8617adb618106c5a2806111 1064294 coq-dbgsym_8.5-2_i386.ddeb
 f67b31c337e28420f7044d1ac640bc50b531fe1a3b9597898875c5b9cac6bf23 31873994 coq-theories_8.5-2_i386.deb
 3f0e6a3437a631a51036ce8f1f297446730385fa11e8de11e7118904a9b57db4 12597660 coq_8.5-2_i386.deb
 f4fd781eb51c10a5c8965175658a8e3bbabb6fea23197714ebc365a13e2a3e96 311214 coqide-dbgsym_8.5-2_i386.ddeb
 3351cd555665ce1eec3e9d9f21885829549e481dcd03888647b9d3776e9a3411 1028060 coqide_8.5-2_i386.deb
 5761b6c9a5a3bc295dbe42a33021c8cf4721b0984c572fc4a827ec6120cfc38a 234324 libcoq-ocaml-dbgsym_8.5-2_i386.ddeb
 ba331918ec1f2bcf3376d2760aae336515eb1096fd71071ec2ab9f7362adad6c 65940 libcoq-ocaml-dev-dbgsym_8.5-2_i386.ddeb
 86c222af1123651ac49f7986c58b768503d25887b00dcfdf38b47d4d4eaa53ef 13300060 libcoq-ocaml-dev_8.5-2_i386.deb
 bc8a4308bbf5925b39fe8eab98be44f74fbb9a91baa31004675d495e44302e47 3273714 libcoq-ocaml_8.5-2_i386.deb
Files:
 34a510cf31eadb0af0b62c2fdeaf49bf 1064294 math extra coq-dbgsym_8.5-2_i386.ddeb
 7288da82d88860fdf4808d6abf1f46fe 31873994 math optional coq-theories_8.5-2_i386.deb
 20bf5a5b14e0e03842d38c5edac424e0 12597660 math optional coq_8.5-2_i386.deb
 61fb096dc8ca7ba9d0457ef099ab8383 311214 math extra coqide-dbgsym_8.5-2_i386.ddeb
 ca65102f5a31aab07bff5c6a21ffe773 1028060 math optional coqide_8.5-2_i386.deb
 cc6067d8c3fa9ac557c8bd2beb198269 234324 ocaml extra libcoq-ocaml-dbgsym_8.5-2_i386.ddeb
 954f7b291c87735b9b08204e7edd6026 65940 ocaml extra libcoq-ocaml-dev-dbgsym_8.5-2_i386.ddeb
 bcbd963c6e612374ef4e353d746eaf48 13300060 ocaml optional libcoq-ocaml-dev_8.5-2_i386.deb
 b1a9d7d50370e6fca221fd5f5f3bcb70 3273714 ocaml optional libcoq-ocaml_8.5-2_i386.deb