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: i386
Version: 8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1
Distribution: bionic
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lcy01-amd64-014.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:
 ffd77bcc0b9447487f05501e0f1fb861e21813df 22007812 coq-theories_8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1_i386.deb
 a692f526d713b7bba3821c381081f241729c2b6b 11354 coq_8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1_i386.buildinfo
 f10d302a3ceb53cf23ccd62707b1170d1921b25f 72148564 coq_8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1_i386.deb
 21e1ebe8f728658208776c987e187104c976ba4c 9688 coqide_8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1_i386.deb
 694db857a9c20e5b8b2b072f0e998cf153dd943d 43198112 libcoq-ocaml-dev_8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1_i386.deb
 74f755e29ff670135cb54baf808f70ec3e3aa71f 22017860 libcoq-ocaml_8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1_i386.deb
Checksums-Sha256:
 855f8256c3840fc97295fc2eb0e88ab593b1757ebbd769f070fa0d3f697337b9 22007812 coq-theories_8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1_i386.deb
 2bd9dd29bedc144e54031e7cb4a1c2efcf0e32d0cde0380aadda6aae50206c38 11354 coq_8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1_i386.buildinfo
 66dffb72a508944845f05b589b55e7bec42569bb829eb41edab929f4511af7ef 72148564 coq_8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1_i386.deb
 3eec1dbabbdb7f18c705921c79b93e5587faa903856519e92fcc8953328a5a08 9688 coqide_8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1_i386.deb
 e29a659619a56f626698292f03bfbf33ed949766337ebca7b42fa6c4c3d0d152 43198112 libcoq-ocaml-dev_8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1_i386.deb
 7b934e86c76c4f8d6b5a7fa9bcc78edaad9195801e6ea1e2d5faed8429662478 22017860 libcoq-ocaml_8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1_i386.deb
Files:
 f0383598c2ef418588e4db3074ed563e 22007812 math optional coq-theories_8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1_i386.deb
 2dfa7b487ceb4133e04e50a46600ee78 11354 math optional coq_8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1_i386.buildinfo
 23770358b2e5745080292148c7f61e42 72148564 math optional coq_8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1_i386.deb
 186d0e6dbf64e8ac77c15cb622e4f15f 9688 math optional coqide_8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1_i386.deb
 24d2986625ce61b996e3c9c2fce2af0e 43198112 ocaml optional libcoq-ocaml-dev_8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1_i386.deb
 215727bff6318b8c404400053bf0f7a2 22017860 ocaml optional libcoq-ocaml_8.master~git~202109151416+22635-0~daily354-dac05c8a3c~ubuntu18.04.1_i386.deb