Format: 1.8
Date: Sat, 09 Nov 2019 17:08:07 +0000
Source: coq
Binary: coq coq-theories coqide libcoq-ocaml libcoq-ocaml-dev
Architecture: i386
Version: 8.10~git~201911091708+20508-0~daily322-6064128~ubuntu19.10.1
Distribution: eoan
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lcy01-amd64-015.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~201911091708+20508-0~daily322-6064128~ubuntu19.10.1) eoan; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 d159f475c5f31bdb1054bbc73020e066b2f775dd 21670792 coq-theories_8.10~git~201911091708+20508-0~daily322-6064128~ubuntu19.10.1_i386.deb
 1b37ed0334b5d84befba751f860dbc4dcb72bb46 18584 coq_8.10~git~201911091708+20508-0~daily322-6064128~ubuntu19.10.1_i386.buildinfo
 78a1e71be48224dcd6d60ed5d8603d09c7c2caaf 23436680 coq_8.10~git~201911091708+20508-0~daily322-6064128~ubuntu19.10.1_i386.deb
 9c78ab935826ad1bd99cf943c61127268e355be4 8769996 coqide_8.10~git~201911091708+20508-0~daily322-6064128~ubuntu19.10.1_i386.deb
 ff377a2b8596af42c2fcd3e03ddceea89263c902 11769696 libcoq-ocaml-dev_8.10~git~201911091708+20508-0~daily322-6064128~ubuntu19.10.1_i386.deb
 84c9c08ff7ec0ae14b3eb6f7503ac205ff822ac2 6220092 libcoq-ocaml_8.10~git~201911091708+20508-0~daily322-6064128~ubuntu19.10.1_i386.deb
Checksums-Sha256:
 6b6fa8948f9324fdbb3ecf8041c09f34198633878c2b380a2e2b8c048af38445 21670792 coq-theories_8.10~git~201911091708+20508-0~daily322-6064128~ubuntu19.10.1_i386.deb
 8cede8ecae3dfc8a269245fa4ebad24ae9146525a420ff301addf601b749cd21 18584 coq_8.10~git~201911091708+20508-0~daily322-6064128~ubuntu19.10.1_i386.buildinfo
 804260d1c0b9e68f69eca3d52eeeee71b45e7d7d727d1a3d2060b1142439ddf5 23436680 coq_8.10~git~201911091708+20508-0~daily322-6064128~ubuntu19.10.1_i386.deb
 9d2a5282d9556f801612a94999288da47df69cd0041653f22794441e96e559f1 8769996 coqide_8.10~git~201911091708+20508-0~daily322-6064128~ubuntu19.10.1_i386.deb
 6c99d5c5044a62a8d33559b0ebdeeadbacdc98db140263d11c5cbe89706e0751 11769696 libcoq-ocaml-dev_8.10~git~201911091708+20508-0~daily322-6064128~ubuntu19.10.1_i386.deb
 60394c5ee119a3789717ea3c08c9b7cf0ffc6094262e0fa944cf39da2ce91e39 6220092 libcoq-ocaml_8.10~git~201911091708+20508-0~daily322-6064128~ubuntu19.10.1_i386.deb
Files:
 918fa947095d0e1365f8e0af698ec686 21670792 math optional coq-theories_8.10~git~201911091708+20508-0~daily322-6064128~ubuntu19.10.1_i386.deb
 8bf8d136b3b3d146be4960dc08a56906 18584 math optional coq_8.10~git~201911091708+20508-0~daily322-6064128~ubuntu19.10.1_i386.buildinfo
 af1f6daab571bcdadf26b4c3923a0784 23436680 math optional coq_8.10~git~201911091708+20508-0~daily322-6064128~ubuntu19.10.1_i386.deb
 db13e13897c85dda8371ccc61a7d26a5 8769996 math optional coqide_8.10~git~201911091708+20508-0~daily322-6064128~ubuntu19.10.1_i386.deb
 8eea096107f85eb837032d9a3224a357 11769696 ocaml optional libcoq-ocaml-dev_8.10~git~201911091708+20508-0~daily322-6064128~ubuntu19.10.1_i386.deb
 fb3818bd7b16af732934a09131728d38 6220092 ocaml optional libcoq-ocaml_8.10~git~201911091708+20508-0~daily322-6064128~ubuntu19.10.1_i386.deb