Format: 1.8
Date: Wed, 04 Mar 2020 21:52:39 +0000
Source: coq
Binary: coq coq-theories coqide libcoq-ocaml libcoq-ocaml-dev
Architecture: i386
Version: 8.10~git~202003042152+20527-0~daily326-dca7b1d~ubuntu19.04.1
Distribution: disco
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lcy01-amd64-029.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~202003042152+20527-0~daily326-dca7b1d~ubuntu19.04.1) disco; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 31e52b9b5f9ade6f8da64f30f70261481bc866d8 21660296 coq-theories_8.10~git~202003042152+20527-0~daily326-dca7b1d~ubuntu19.04.1_i386.deb
 a21b06bc7051c8ad2e9a731f2405d759e1440de7 10343 coq_8.10~git~202003042152+20527-0~daily326-dca7b1d~ubuntu19.04.1_i386.buildinfo
 077809f272b48f6a2f17ba2550a5adfa63829fdd 23448480 coq_8.10~git~202003042152+20527-0~daily326-dca7b1d~ubuntu19.04.1_i386.deb
 df8de1fe794384ab2ce6b9a3596fd74ddf632f2b 9708 coqide_8.10~git~202003042152+20527-0~daily326-dca7b1d~ubuntu19.04.1_i386.deb
 c14bc9ae275ec5e19aa5479ff3c3418fb9f1ad03 11369300 libcoq-ocaml-dev_8.10~git~202003042152+20527-0~daily326-dca7b1d~ubuntu19.04.1_i386.deb
 5f0ee387b78a84d5dbbe3e076d04465f9327dce3 6229228 libcoq-ocaml_8.10~git~202003042152+20527-0~daily326-dca7b1d~ubuntu19.04.1_i386.deb
Checksums-Sha256:
 89ffcdb8b0bfbeb3adda6eec1934b43c83e49aa80a895e786f25c06f04aeaec7 21660296 coq-theories_8.10~git~202003042152+20527-0~daily326-dca7b1d~ubuntu19.04.1_i386.deb
 3900932a3d576857b9ad7dc555140c861323bd237d702686911f04467c52dfc6 10343 coq_8.10~git~202003042152+20527-0~daily326-dca7b1d~ubuntu19.04.1_i386.buildinfo
 f412f6b5487d9c225efa8a8cfa68c3979f1b8f22be0f0593bc8eba888ad9bc4b 23448480 coq_8.10~git~202003042152+20527-0~daily326-dca7b1d~ubuntu19.04.1_i386.deb
 ca40c662f0828bb2c8ccff1647e6450e4ac1d729306f7c03d27f4f26913079ca 9708 coqide_8.10~git~202003042152+20527-0~daily326-dca7b1d~ubuntu19.04.1_i386.deb
 a8e4e8f9d634aaaa85cb0b341fd2dd6bab76de978af837b4f608af01a701d968 11369300 libcoq-ocaml-dev_8.10~git~202003042152+20527-0~daily326-dca7b1d~ubuntu19.04.1_i386.deb
 3f66c54a5361f0938b0ea77d607defa08c06c74ac62617be1903e84cfc2e8cf8 6229228 libcoq-ocaml_8.10~git~202003042152+20527-0~daily326-dca7b1d~ubuntu19.04.1_i386.deb
Files:
 99c9a5b18d617756c8f09f34ad023351 21660296 math optional coq-theories_8.10~git~202003042152+20527-0~daily326-dca7b1d~ubuntu19.04.1_i386.deb
 cc6a518d73e27fac336228f586532b44 10343 math optional coq_8.10~git~202003042152+20527-0~daily326-dca7b1d~ubuntu19.04.1_i386.buildinfo
 fead8a42a8eb954272dc05d32ec41dfb 23448480 math optional coq_8.10~git~202003042152+20527-0~daily326-dca7b1d~ubuntu19.04.1_i386.deb
 b6aedf12bd0b48f7d806ce407dad0802 9708 math optional coqide_8.10~git~202003042152+20527-0~daily326-dca7b1d~ubuntu19.04.1_i386.deb
 c272e81ed5cb6b89bb3f215b97e402eb 11369300 ocaml optional libcoq-ocaml-dev_8.10~git~202003042152+20527-0~daily326-dca7b1d~ubuntu19.04.1_i386.deb
 79c9dcf4a22dfa799e393f998e6a2124 6229228 ocaml optional libcoq-ocaml_8.10~git~202003042152+20527-0~daily326-dca7b1d~ubuntu19.04.1_i386.deb