Format: 1.8
Date: Wed, 24 Apr 2024 19:34:04 +0000
Source: coq
Binary: coq coqide libcoq-core-ocaml libcoq-core-ocaml-dev libcoq-stdlib
Built-For-Profiles: noudeb
Architecture: amd64
Version: 8.master~git~202404241934+24841-0~daily415-03d371db5b~ubuntu24.04.1
Distribution: noble
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lcy02-amd64-091.buildd>
Changed-By: Jason Gross <jgross@mit.edu>
Description:
 coq        - proof assistant for higher-order logic (toplevel and compiler)
 coqide     - proof assistant for higher-order logic (gtk interface)
 libcoq-core-ocaml - runtime libraries for Coq
 libcoq-core-ocaml-dev - development libraries and tools for Coq
 libcoq-stdlib - proof assistant for higher-order logic (theories)
Changes:
 coq (8.master~git~202404241934+24841-0~daily415-03d371db5b~ubuntu24.04.1) noble; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 8f415fbadddf36e1dcba104d975873b9a523ea7f 19220 coq_8.master~git~202404241934+24841-0~daily415-03d371db5b~ubuntu24.04.1_amd64.buildinfo
 66b49da9d6f12f5c28efd3348956345a855a497b 86371174 coq_8.master~git~202404241934+24841-0~daily415-03d371db5b~ubuntu24.04.1_amd64.deb
 662e66785f91b839639903a8386227140dc8b9eb 2040256 coqide_8.master~git~202404241934+24841-0~daily415-03d371db5b~ubuntu24.04.1_amd64.deb
 2c8b533feff2d1d8b4513a08a4d11bf89c560969 53386108 libcoq-core-ocaml-dev_8.master~git~202404241934+24841-0~daily415-03d371db5b~ubuntu24.04.1_amd64.deb
 c5f2a272fbe6dfac3506d0149a3acceb11e286c0 28821746 libcoq-core-ocaml_8.master~git~202404241934+24841-0~daily415-03d371db5b~ubuntu24.04.1_amd64.deb
 6f3bd838a799f7b4a8a49a218dcaf8999093f826 26925922 libcoq-stdlib_8.master~git~202404241934+24841-0~daily415-03d371db5b~ubuntu24.04.1_amd64.deb
Checksums-Sha256:
 d0840fa351b48671440b42e6c69efe904c5bffbdb0550f9de88b51d0e2d19813 19220 coq_8.master~git~202404241934+24841-0~daily415-03d371db5b~ubuntu24.04.1_amd64.buildinfo
 c03f0dccd6ed2a43a045a10b56d7a44dfcf3d4fdd43a5115c2edbb351f94c1de 86371174 coq_8.master~git~202404241934+24841-0~daily415-03d371db5b~ubuntu24.04.1_amd64.deb
 6319e346ea737244ffbb4b81dbb6bf2db94ec8c531f4c4fa2505119af55fe6e1 2040256 coqide_8.master~git~202404241934+24841-0~daily415-03d371db5b~ubuntu24.04.1_amd64.deb
 025d9fc6576ed18765aded4e6ac7dd9c8b8a27bbd30b9148357bd99b9cf204ec 53386108 libcoq-core-ocaml-dev_8.master~git~202404241934+24841-0~daily415-03d371db5b~ubuntu24.04.1_amd64.deb
 5459e208114e076b95facbe825e163570d8dace1d74ae31bbfb428058288e19a 28821746 libcoq-core-ocaml_8.master~git~202404241934+24841-0~daily415-03d371db5b~ubuntu24.04.1_amd64.deb
 a52464ed4ae922223f5f5f818af7075dbe937b5abdb0fb2521436095659a2ca9 26925922 libcoq-stdlib_8.master~git~202404241934+24841-0~daily415-03d371db5b~ubuntu24.04.1_amd64.deb
Files:
 d661ba205de3a2a24363d8312f53e038 19220 math optional coq_8.master~git~202404241934+24841-0~daily415-03d371db5b~ubuntu24.04.1_amd64.buildinfo
 e42fc9fb40b2c9eda827ae970f7f6365 86371174 math optional coq_8.master~git~202404241934+24841-0~daily415-03d371db5b~ubuntu24.04.1_amd64.deb
 4be7e59ae811962c0885cd878e82c750 2040256 math optional coqide_8.master~git~202404241934+24841-0~daily415-03d371db5b~ubuntu24.04.1_amd64.deb
 ffe2687d91d042e0176ebfe337143eb6 53386108 ocaml optional libcoq-core-ocaml-dev_8.master~git~202404241934+24841-0~daily415-03d371db5b~ubuntu24.04.1_amd64.deb
 f7089efeeaa31571eafe0cc0dfc88e07 28821746 ocaml optional libcoq-core-ocaml_8.master~git~202404241934+24841-0~daily415-03d371db5b~ubuntu24.04.1_amd64.deb
 56c5f568a1a1f1f74a20304dcb29d019 26925922 math optional libcoq-stdlib_8.master~git~202404241934+24841-0~daily415-03d371db5b~ubuntu24.04.1_amd64.deb