Format: 1.8
Date: Mon, 16 Sep 2019 12:04:15 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source
Version: 8.10~git~201909161204+20477-0~daily324-6250503~ubuntu12.04.1
Distribution: precise
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
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~201909161204+20477-0~daily324-6250503~ubuntu12.04.1) precise; urgency=low
 .
   * Auto build.
Checksums-Sha1: 
 206af9d4cf345dc449718de2c2016877c39b3529 1362 coq_8.10~git~201909161204+20477-0~daily324-6250503~ubuntu12.04.1.dsc
 cbaf875f946b3db2dcec44fd89a4343497121295 6384098 coq_8.10~git~201909161204+20477-0~daily324-6250503~ubuntu12.04.1.tar.gz
Checksums-Sha256: 
 854be1c11eb66f211ffba9b813a34ce782884df70a3ff5876af4d3f0689aa50f 1362 coq_8.10~git~201909161204+20477-0~daily324-6250503~ubuntu12.04.1.dsc
 4d6cb560ffa119a7247a0ffd927467fd5513fc5ff1d0395810385de82d9153d2 6384098 coq_8.10~git~201909161204+20477-0~daily324-6250503~ubuntu12.04.1.tar.gz
Files: 
 022924e93338b7e3338a6906b0918e3c 1362 math optional coq_8.10~git~201909161204+20477-0~daily324-6250503~ubuntu12.04.1.dsc
 d98d0ad9acef3a2719fae70840257adb 6384098 math optional coq_8.10~git~201909161204+20477-0~daily324-6250503~ubuntu12.04.1.tar.gz