Format: 1.8
Date: Wed, 15 Sep 2021 14:16:36 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: amd64
Version: 8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1
Distribution: bionic
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lgw01-amd64-059.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~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1) bionic; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 08b8bd2e32dd74c618666e2d0738408858f087ca 22015520 coq-theories_8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1_amd64.deb
 21b795329f52cf293141075eb94690458bd43d77 11445 coq_8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1_amd64.buildinfo
 54608a7c9381b7f3f7b792f91036cdaf2411f749 74505688 coq_8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1_amd64.deb
 3804273d074238d2d736c7de8974425563a6fcb2 9688 coqide_8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1_amd64.deb
 4c9eb55473c311ea588e3f88f9d46f0f24ad4713 43206284 libcoq-ocaml-dev_8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1_amd64.deb
 c157b6977ef72ce63cb7adaba2c69effc32451da 22502584 libcoq-ocaml_8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1_amd64.deb
Checksums-Sha256:
 b7bc007e1a94a24b8591dfdc3bfb4c5d4fee69994fb971ef95e382b552190fbc 22015520 coq-theories_8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1_amd64.deb
 0a97855c388274315d635ea189388b63d61173f7c4e4d2663e6a7393ca1f6486 11445 coq_8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1_amd64.buildinfo
 2ec66db44406cf2c6a3054cf2bfcaa29aeb41f6d64dd1335149c3442ee37eba2 74505688 coq_8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1_amd64.deb
 ae880345b53372bcaafee9199f85c928f4075bc7647e9d2320ab6cf8bca5f655 9688 coqide_8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1_amd64.deb
 b2112cff1b80df05ad180d645939111b3f1dca754ab4a1142a110730ba62619f 43206284 libcoq-ocaml-dev_8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1_amd64.deb
 e9a26ed5f9e4998aa27b114d5314e8ef281ecad9c4072b95dfbdc093fb92f303 22502584 libcoq-ocaml_8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1_amd64.deb
Files:
 ebc9ff556c129ea1803337e972934b56 22015520 math optional coq-theories_8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1_amd64.deb
 351feabcbfbecdee3b84aa10a75d3d28 11445 math optional coq_8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1_amd64.buildinfo
 a4e04ef0d640855dacd36e1be2c78c6b 74505688 math optional coq_8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1_amd64.deb
 872f51425365e1fab5916a82b856e069 9688 math optional coqide_8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1_amd64.deb
 a82a2a6fd99558fb317064adb2f8213c 43206284 ocaml optional libcoq-ocaml-dev_8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1_amd64.deb
 a6218c58df44ef93eaab1e58b5a92791 22502584 ocaml optional libcoq-ocaml_8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1_amd64.deb