Format: 1.8
Date: Wed, 13 Nov 2019 17:25:09 +0000
Source: coq
Binary: coq coq-theories coqide libcoq-ocaml libcoq-ocaml-dev
Architecture: i386
Version: 8.10~git~201911131725+20510-0~daily322-2a2f751~ubuntu19.10.1
Distribution: eoan
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lgw01-amd64-017.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~201911131725+20510-0~daily322-2a2f751~ubuntu19.10.1) eoan; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 47d4972f5ec695910ba338b58fc2877c0be282a3 21670148 coq-theories_8.10~git~201911131725+20510-0~daily322-2a2f751~ubuntu19.10.1_i386.deb
 4aafc3c6b2c233a4d5a46b62e22b6a7094108b4c 18584 coq_8.10~git~201911131725+20510-0~daily322-2a2f751~ubuntu19.10.1_i386.buildinfo
 c77effe131681b51388dec1e3fff5353cefd5d88 23442244 coq_8.10~git~201911131725+20510-0~daily322-2a2f751~ubuntu19.10.1_i386.deb
 4dcb98bacba76b9e95fea277020f53e401f8b2a8 8766148 coqide_8.10~git~201911131725+20510-0~daily322-2a2f751~ubuntu19.10.1_i386.deb
 768bc7aaec74f55b54545e7779206304b4013a5f 11768048 libcoq-ocaml-dev_8.10~git~201911131725+20510-0~daily322-2a2f751~ubuntu19.10.1_i386.deb
 1d82fe28c4bd82fe1cea4adc496ef7b6e874b331 6234716 libcoq-ocaml_8.10~git~201911131725+20510-0~daily322-2a2f751~ubuntu19.10.1_i386.deb
Checksums-Sha256:
 c80b959a56162d6d9a275af547e08c3cde8881f54685faea0fcfb1c13baf0bc8 21670148 coq-theories_8.10~git~201911131725+20510-0~daily322-2a2f751~ubuntu19.10.1_i386.deb
 bb1b3598338d069ecc6c208213332821bc05b77c1e5f1c6e8ef0354a95609138 18584 coq_8.10~git~201911131725+20510-0~daily322-2a2f751~ubuntu19.10.1_i386.buildinfo
 db1d8cb07d0121a101f7fcf31fea36d6b88267a535fb447bc5e173ed49b9ab1a 23442244 coq_8.10~git~201911131725+20510-0~daily322-2a2f751~ubuntu19.10.1_i386.deb
 fd68600dce39edf9b19548c2354d72e41878a7ef79138876268c019e78621784 8766148 coqide_8.10~git~201911131725+20510-0~daily322-2a2f751~ubuntu19.10.1_i386.deb
 0e0c70107ba9c9ea83bcd42458a16cb15d07f5604e816cb8a505660b61b067eb 11768048 libcoq-ocaml-dev_8.10~git~201911131725+20510-0~daily322-2a2f751~ubuntu19.10.1_i386.deb
 433551bc860966be5996698d6dd3285ad8b14133c78c0311ac36244759817f59 6234716 libcoq-ocaml_8.10~git~201911131725+20510-0~daily322-2a2f751~ubuntu19.10.1_i386.deb
Files:
 50980dd6dc5d438ed67f59e3219066ed 21670148 math optional coq-theories_8.10~git~201911131725+20510-0~daily322-2a2f751~ubuntu19.10.1_i386.deb
 2d16b4ff8a9aaa180e4f3ac569d88c71 18584 math optional coq_8.10~git~201911131725+20510-0~daily322-2a2f751~ubuntu19.10.1_i386.buildinfo
 d4dfa4cdb742596687b9d5c1dbaa4e7b 23442244 math optional coq_8.10~git~201911131725+20510-0~daily322-2a2f751~ubuntu19.10.1_i386.deb
 06fa99fb3b69b7c8c7a4674f9f1ed167 8766148 math optional coqide_8.10~git~201911131725+20510-0~daily322-2a2f751~ubuntu19.10.1_i386.deb
 78e1f5558eabdc903d93b444346d50da 11768048 ocaml optional libcoq-ocaml-dev_8.10~git~201911131725+20510-0~daily322-2a2f751~ubuntu19.10.1_i386.deb
 e71aa02feb96adaa8986a20101cd1272 6234716 ocaml optional libcoq-ocaml_8.10~git~201911131725+20510-0~daily322-2a2f751~ubuntu19.10.1_i386.deb