Format: 1.8
Date: Tue, 23 Jul 2019 16:07:13 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: i386
Version: 8.10~git~201907231607+20433-0~daily321-0e8d484~ubuntu18.10.1
Distribution: cosmic
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lcy01-amd64-021.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~201907231607+20433-0~daily321-0e8d484~ubuntu18.10.1) cosmic; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 48eb88b31627af0ed79aaaeb54073cc571fa16fd 21664688 coq-theories_8.10~git~201907231607+20433-0~daily321-0e8d484~ubuntu18.10.1_i386.deb
 76b6b65807ac3cdc1e4906d4ab346e3f59f2bdc9 18788 coq_8.10~git~201907231607+20433-0~daily321-0e8d484~ubuntu18.10.1_i386.buildinfo
 7fb82e53652cf2a73648a14827be71d6b8b37175 23395612 coq_8.10~git~201907231607+20433-0~daily321-0e8d484~ubuntu18.10.1_i386.deb
 67b01e93f86ecc27e491367e8012b113f77b047f 7091140 coqide_8.10~git~201907231607+20433-0~daily321-0e8d484~ubuntu18.10.1_i386.deb
 dc1d25e7b3ffc5651878ddaa1e418b8dc5dc793b 11339312 libcoq-ocaml-dev_8.10~git~201907231607+20433-0~daily321-0e8d484~ubuntu18.10.1_i386.deb
 e19357847deac1a4e59d8510136bcbafd6887994 6232128 libcoq-ocaml_8.10~git~201907231607+20433-0~daily321-0e8d484~ubuntu18.10.1_i386.deb
Checksums-Sha256:
 154f7866871f4697faafc8c49e20b115f420408ab838add9df19a55cf7338175 21664688 coq-theories_8.10~git~201907231607+20433-0~daily321-0e8d484~ubuntu18.10.1_i386.deb
 ff6193eb703b64afa0d80b5e11e1e9fc4d97e8da2663d30e912a396747f3a943 18788 coq_8.10~git~201907231607+20433-0~daily321-0e8d484~ubuntu18.10.1_i386.buildinfo
 a946502325ac023ae20844daaae15d980f621e79bb8f78c9af1d6da788a4619f 23395612 coq_8.10~git~201907231607+20433-0~daily321-0e8d484~ubuntu18.10.1_i386.deb
 bdfa29fc1955ad54cd3a70f3f3939fb35f1792f0f25359e1a9b750f778997ff6 7091140 coqide_8.10~git~201907231607+20433-0~daily321-0e8d484~ubuntu18.10.1_i386.deb
 2af6cf990414e5504a10988cca5688218107b17407a60cb0914539e26a9358ec 11339312 libcoq-ocaml-dev_8.10~git~201907231607+20433-0~daily321-0e8d484~ubuntu18.10.1_i386.deb
 70c5b13ab51bc98d9e1b8369c64cd90eb30faf6395ef5a56cca1ceb0b7caac29 6232128 libcoq-ocaml_8.10~git~201907231607+20433-0~daily321-0e8d484~ubuntu18.10.1_i386.deb
Files:
 601a3ca8f236c5ba2f50d4059b1b5027 21664688 math optional coq-theories_8.10~git~201907231607+20433-0~daily321-0e8d484~ubuntu18.10.1_i386.deb
 425e95dabc0afae37ed2aeb725c10ac0 18788 math optional coq_8.10~git~201907231607+20433-0~daily321-0e8d484~ubuntu18.10.1_i386.buildinfo
 7146e46444c518c0eb315c2c5891dbb6 23395612 math optional coq_8.10~git~201907231607+20433-0~daily321-0e8d484~ubuntu18.10.1_i386.deb
 9efc8f4c4433b1259019ed8b2c241739 7091140 math optional coqide_8.10~git~201907231607+20433-0~daily321-0e8d484~ubuntu18.10.1_i386.deb
 a8b9ddfdbef8db6638586c1eae201092 11339312 ocaml optional libcoq-ocaml-dev_8.10~git~201907231607+20433-0~daily321-0e8d484~ubuntu18.10.1_i386.deb
 c27c5cee8b6604734849ce3d648ebefa 6232128 ocaml optional libcoq-ocaml_8.10~git~201907231607+20433-0~daily321-0e8d484~ubuntu18.10.1_i386.deb