Format: 1.8
Date: Tue, 15 Oct 2019 08:06:47 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: amd64
Version: 8.10~git~201910150806+20489-0~daily324-53243af~ubuntu16.04.1
Distribution: xenial
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lcy01-amd64-012.buildd>
Changed-By: Jason Gross <jgross@mit.edu>
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.10~git~201910150806+20489-0~daily324-53243af~ubuntu16.04.1) xenial; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 997a1d9a7b7c8525cbe4bbe1e24371a2dc64f778 21630740 coq-theories_8.10~git~201910150806+20489-0~daily324-53243af~ubuntu16.04.1_amd64.deb
 2d3e145f79a26f7f64934062521c0c95e18fd409 22422048 coq_8.10~git~201910150806+20489-0~daily324-53243af~ubuntu16.04.1_amd64.deb
 105ebed3a7db4ee2964c0c52f82470abc06a339d 9628 coqide_8.10~git~201910150806+20489-0~daily324-53243af~ubuntu16.04.1_amd64.deb
 692d5a98561b2b571471912d1767036e5808397e 11260378 libcoq-ocaml-dev_8.10~git~201910150806+20489-0~daily324-53243af~ubuntu16.04.1_amd64.deb
 41d92c44e0771da4b6c2684d90715fc54870cf48 7181084 libcoq-ocaml_8.10~git~201910150806+20489-0~daily324-53243af~ubuntu16.04.1_amd64.deb
Checksums-Sha256:
 001cd7c6b244b4242cb71185b02a939130432b4d5473d63d6279aaaf4b6fbb03 21630740 coq-theories_8.10~git~201910150806+20489-0~daily324-53243af~ubuntu16.04.1_amd64.deb
 a650a34dfd0a34b560409c18c5ce1ea732cc5ea5523d58ab6c647dda655e582b 22422048 coq_8.10~git~201910150806+20489-0~daily324-53243af~ubuntu16.04.1_amd64.deb
 b4f606d71626abb3776c3df459b8a8d8e15b0460e9a419fc27d10cf5e6f4837e 9628 coqide_8.10~git~201910150806+20489-0~daily324-53243af~ubuntu16.04.1_amd64.deb
 336b26a799809444e00615195e9492b200e8d34aef7924196476344f76f6ff8b 11260378 libcoq-ocaml-dev_8.10~git~201910150806+20489-0~daily324-53243af~ubuntu16.04.1_amd64.deb
 b7e852a408c002a60a825109493abf161d5285ddb0971eebec6f661b0c6b5455 7181084 libcoq-ocaml_8.10~git~201910150806+20489-0~daily324-53243af~ubuntu16.04.1_amd64.deb
Files:
 62f14dbdc2ab0d0ab10af03f77f50382 21630740 math optional coq-theories_8.10~git~201910150806+20489-0~daily324-53243af~ubuntu16.04.1_amd64.deb
 34ffad52bbe20fb783b77b07fa6bc527 22422048 math optional coq_8.10~git~201910150806+20489-0~daily324-53243af~ubuntu16.04.1_amd64.deb
 b95089f69fd480ee13fc250f5d3e6a17 9628 math optional coqide_8.10~git~201910150806+20489-0~daily324-53243af~ubuntu16.04.1_amd64.deb
 0141593dd489a3b501e728bf91d6d418 11260378 ocaml optional libcoq-ocaml-dev_8.10~git~201910150806+20489-0~daily324-53243af~ubuntu16.04.1_amd64.deb
 f9f05ffaecb40fad39ff2acd78da087a 7181084 ocaml optional libcoq-ocaml_8.10~git~201910150806+20489-0~daily324-53243af~ubuntu16.04.1_amd64.deb