Format: 1.8
Date: Wed, 16 Oct 2019 14:23:12 +0000
Source: coq
Binary: coq coq-theories coqide libcoq-ocaml libcoq-ocaml-dev
Architecture: i386
Version: 8.10~git~201910161423+20491-0~daily324-954dcdc~ubuntu19.04.1
Distribution: disco
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lgw01-amd64-008.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~201910161423+20491-0~daily324-954dcdc~ubuntu19.04.1) disco; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 11ef8820e07fb9aa2f56ee67aeca6a327aa0f89b 21664388 coq-theories_8.10~git~201910161423+20491-0~daily324-954dcdc~ubuntu19.04.1_i386.deb
 0e3f8a40966e4fdf10b5181d6c056e6d886a7ebd 10285 coq_8.10~git~201910161423+20491-0~daily324-954dcdc~ubuntu19.04.1_i386.buildinfo
 db540e587cbd7d9663ae371d1bf5b677dc953a9a 23412476 coq_8.10~git~201910161423+20491-0~daily324-954dcdc~ubuntu19.04.1_i386.deb
 b9608c9acf44ba558f8b945f4bfc87d4ae0c9697 9712 coqide_8.10~git~201910161423+20491-0~daily324-954dcdc~ubuntu19.04.1_i386.deb
 3a883a0ed322320645a39c8687438a8c3f092d4d 11374412 libcoq-ocaml-dev_8.10~git~201910161423+20491-0~daily324-954dcdc~ubuntu19.04.1_i386.deb
 ab2cb6a53aad7b64de29951474ce53b8e82edc6e 6230860 libcoq-ocaml_8.10~git~201910161423+20491-0~daily324-954dcdc~ubuntu19.04.1_i386.deb
Checksums-Sha256:
 2d28b1a4a20ae79ef31983f97198bd2e1cc76ffb801e117f233caf16ef900d84 21664388 coq-theories_8.10~git~201910161423+20491-0~daily324-954dcdc~ubuntu19.04.1_i386.deb
 d18de8b23c2e8cf798fa9e59d052c5046e0bc07fd6a71c3891198369ba12f5c3 10285 coq_8.10~git~201910161423+20491-0~daily324-954dcdc~ubuntu19.04.1_i386.buildinfo
 8d7b8f80220b930d9cd03d34f8c04db8cad628efb26706a686ed9e19b80efe9a 23412476 coq_8.10~git~201910161423+20491-0~daily324-954dcdc~ubuntu19.04.1_i386.deb
 3d5ff8b86036447c9220ed4049728d30d3b30bd7d35a691f18c2f10b6024c5c9 9712 coqide_8.10~git~201910161423+20491-0~daily324-954dcdc~ubuntu19.04.1_i386.deb
 502eee4cd4209b1b57e850d954418bd3abe8fb3d9eb2cfaa93b7bb7e9fac353b 11374412 libcoq-ocaml-dev_8.10~git~201910161423+20491-0~daily324-954dcdc~ubuntu19.04.1_i386.deb
 b69e509712078fb9e31637210a53ac6df050f14a7c26a313186ef78a6cfd0815 6230860 libcoq-ocaml_8.10~git~201910161423+20491-0~daily324-954dcdc~ubuntu19.04.1_i386.deb
Files:
 0642a9473b11e1d5fe3ca5fb05165ae5 21664388 math optional coq-theories_8.10~git~201910161423+20491-0~daily324-954dcdc~ubuntu19.04.1_i386.deb
 43c76e8721bec29b0d60ae2296d8ccc6 10285 math optional coq_8.10~git~201910161423+20491-0~daily324-954dcdc~ubuntu19.04.1_i386.buildinfo
 20c659597b527d86383040473017deeb 23412476 math optional coq_8.10~git~201910161423+20491-0~daily324-954dcdc~ubuntu19.04.1_i386.deb
 35b2595b5572a7a6c2e2c03033786be9 9712 math optional coqide_8.10~git~201910161423+20491-0~daily324-954dcdc~ubuntu19.04.1_i386.deb
 6b9f9dbfd4fcd7e8017a563e5d1c1185 11374412 ocaml optional libcoq-ocaml-dev_8.10~git~201910161423+20491-0~daily324-954dcdc~ubuntu19.04.1_i386.deb
 fe8e94b60c67a24425aba1a844d52014 6230860 ocaml optional libcoq-ocaml_8.10~git~201910161423+20491-0~daily324-954dcdc~ubuntu19.04.1_i386.deb