Format: 1.8
Date: Tue, 24 Nov 2020 14:18:42 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: amd64
Version: 8.master~git~202011241418+21924-0~daily339-5fce39e007~ubuntu16.04.1
Distribution: xenial
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lcy01-amd64-020.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.master~git~202011241418+21924-0~daily339-5fce39e007~ubuntu16.04.1) xenial; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 77f6e322257c9868ddab0152138fc6fd5d87e7af 23949888 coq-theories_8.master~git~202011241418+21924-0~daily339-5fce39e007~ubuntu16.04.1_amd64.deb
 553c8fec1c61e4a4f69112279789f98ee0dd7bfc 23296492 coq_8.master~git~202011241418+21924-0~daily339-5fce39e007~ubuntu16.04.1_amd64.deb
 5070d453cf87ebaafe93a3462f7a01c9382f019e 9614 coqide_8.master~git~202011241418+21924-0~daily339-5fce39e007~ubuntu16.04.1_amd64.deb
 30efc2e3944d7963182283e6b54556bfb1beb01a 6899416 libcoq-ocaml-dev_8.master~git~202011241418+21924-0~daily339-5fce39e007~ubuntu16.04.1_amd64.deb
 a00199667057d09d7a28789c1e0956d4edfb788f 2135338 libcoq-ocaml_8.master~git~202011241418+21924-0~daily339-5fce39e007~ubuntu16.04.1_amd64.deb
Checksums-Sha256:
 aea8be44408ab8927aa1bf205571464eccedd31446dbd1d656b40e96e6393027 23949888 coq-theories_8.master~git~202011241418+21924-0~daily339-5fce39e007~ubuntu16.04.1_amd64.deb
 af62d74a7893b626650595156122040a21d73b521dfaea0d81a0b8ce2cf18989 23296492 coq_8.master~git~202011241418+21924-0~daily339-5fce39e007~ubuntu16.04.1_amd64.deb
 70541923524c84d3ff401ee1be3a2cf8b169a9ae0cc601651e540f2114c72242 9614 coqide_8.master~git~202011241418+21924-0~daily339-5fce39e007~ubuntu16.04.1_amd64.deb
 f4cf3764c4b9cd4706fcd6a73dfe615ce517f833431a46ff1e7150749dd6c548 6899416 libcoq-ocaml-dev_8.master~git~202011241418+21924-0~daily339-5fce39e007~ubuntu16.04.1_amd64.deb
 a0e92d41ba68871a76780ef49bac8e057d913938086716631c89d351c9dcea4b 2135338 libcoq-ocaml_8.master~git~202011241418+21924-0~daily339-5fce39e007~ubuntu16.04.1_amd64.deb
Files:
 7ba0e1f24d6eb33c7179f7eabedeff9a 23949888 math optional coq-theories_8.master~git~202011241418+21924-0~daily339-5fce39e007~ubuntu16.04.1_amd64.deb
 82ce0ff2b7e4b64da27489ef2d2076ed 23296492 math optional coq_8.master~git~202011241418+21924-0~daily339-5fce39e007~ubuntu16.04.1_amd64.deb
 c2b812378690e5ad7a77137b6e56e2e0 9614 math optional coqide_8.master~git~202011241418+21924-0~daily339-5fce39e007~ubuntu16.04.1_amd64.deb
 e9ec95d1aca815b5425c0f433368344e 6899416 ocaml optional libcoq-ocaml-dev_8.master~git~202011241418+21924-0~daily339-5fce39e007~ubuntu16.04.1_amd64.deb
 5129d5173ff2799319789f701371476f 2135338 ocaml optional libcoq-ocaml_8.master~git~202011241418+21924-0~daily339-5fce39e007~ubuntu16.04.1_amd64.deb