Format: 1.8
Date: Mon, 21 Oct 2019 09:41:57 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: amd64
Version: 8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu14.04.1
Distribution: trusty
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lgw01-amd64-026.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~201910210941+20492-0~daily324-2aeb387~ubuntu14.04.1) trusty; urgency=low
 .
   * Auto build.
Checksums-Sha1: 
 4c7303c9ca27779ec32ca3f9e9d5ee259969fdd9 22292736 coq_8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu14.04.1_amd64.deb
 cc878e6d1d3ab0aea5d9b805f121bd56a7c95ac8 9632 coqide_8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu14.04.1_amd64.deb
 1edf19bd13dfd97ed912bedf639e2f26f3bb6d2c 21459010 coq-theories_8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu14.04.1_amd64.deb
 dc2f3ec16012358676d79bec54ba00089d782d9f 7207754 libcoq-ocaml_8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu14.04.1_amd64.deb
 61c4c5caf54c1cbd797a48df71f38b9e1e9ff179 11281238 libcoq-ocaml-dev_8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu14.04.1_amd64.deb
Checksums-Sha256: 
 2d00b74cce11cb55ea6020a76e2691099a5bdbf316690ed41cc833bcdfd1b53f 22292736 coq_8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu14.04.1_amd64.deb
 ee306e19280012ffb9c5efc392063df7d99e1444a3e1cdacca86640cb9c93355 9632 coqide_8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu14.04.1_amd64.deb
 c8addbc1e924ccfe763b6629bd3d4587b75026f55499e6dd148950b07427aa2b 21459010 coq-theories_8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu14.04.1_amd64.deb
 de3709453cac56b51e9e7c5e9910c1a64e14560796b06438671fbb3eb145c75a 7207754 libcoq-ocaml_8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu14.04.1_amd64.deb
 80256f1c518a5eb98a81e87e076d3f1ee838545cf2f42fe1238d0607ff34aee7 11281238 libcoq-ocaml-dev_8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu14.04.1_amd64.deb
Files: 
 b1382e6e28aa05e6f86b21e998c0574b 22292736 math optional coq_8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu14.04.1_amd64.deb
 0fa4b91e7687f6fb607b075403169b67 9632 math optional coqide_8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu14.04.1_amd64.deb
 c07d110cc2772374391a5939bc1f4330 21459010 math optional coq-theories_8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu14.04.1_amd64.deb
 f2e13439e9f2dc9868052a80aab8a485 7207754 ocaml optional libcoq-ocaml_8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu14.04.1_amd64.deb
 75d65b7262aaf343a828fef431dae1e8 11281238 ocaml optional libcoq-ocaml-dev_8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu14.04.1_amd64.deb