Format: 1.8
Date: Sun, 29 Oct 2023 23:05:16 +0000
Source: coq
Binary: coq coqide libcoq-core-ocaml libcoq-core-ocaml-dev libcoq-stdlib
Built-For-Profiles: noudeb
Architecture: amd64
Version: 8.18~git~202310292305+24194-0~daily405-f022d5d194~ubuntu22.04.1
Distribution: jammy
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lcy02-amd64-028.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.18~git~202310292305+24194-0~daily405-f022d5d194~ubuntu22.04.1) jammy; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 cffe82d2d3e7c552819315852341377210534dc7 18118 coq_8.18~git~202310292305+24194-0~daily405-f022d5d194~ubuntu22.04.1_amd64.buildinfo
 5bd36398eb17eddaa60346363f04cafa326d4c82 95023238 coq_8.18~git~202310292305+24194-0~daily405-f022d5d194~ubuntu22.04.1_amd64.deb
 d621f115a63a2acaf288a34c2dcf61b232e705bb 2413650 coqide_8.18~git~202310292305+24194-0~daily405-f022d5d194~ubuntu22.04.1_amd64.deb
 fd4f8f5a2bb804b8f9ac03bafb22733b3912a5bc 51079722 libcoq-core-ocaml-dev_8.18~git~202310292305+24194-0~daily405-f022d5d194~ubuntu22.04.1_amd64.deb
 69ee9e3780598b795bb28d4bf6ec429da4aacffb 27995216 libcoq-core-ocaml_8.18~git~202310292305+24194-0~daily405-f022d5d194~ubuntu22.04.1_amd64.deb
 98dd2368780b78baca9e23c898663b1211da7e9d 26959882 libcoq-stdlib_8.18~git~202310292305+24194-0~daily405-f022d5d194~ubuntu22.04.1_amd64.deb
Checksums-Sha256:
 f01c0ee6b68b8eb009b0299bce19d480e34d9a0be7225baf3f9727c20c7f17d0 18118 coq_8.18~git~202310292305+24194-0~daily405-f022d5d194~ubuntu22.04.1_amd64.buildinfo
 78155310e734b536ac11017eca6be65fdc7149e3dc26b836f683fd1845a0c964 95023238 coq_8.18~git~202310292305+24194-0~daily405-f022d5d194~ubuntu22.04.1_amd64.deb
 a9370b1587a48fc70c29534e894614b5d82328998200074759feda924bbeec4f 2413650 coqide_8.18~git~202310292305+24194-0~daily405-f022d5d194~ubuntu22.04.1_amd64.deb
 3a8c277aceeb0db22bf21821ce97edff85a2b73dc15fe55b02761e02dd6c9ec5 51079722 libcoq-core-ocaml-dev_8.18~git~202310292305+24194-0~daily405-f022d5d194~ubuntu22.04.1_amd64.deb
 6a643f3812850c2fbe375e321752a8f8f1593206aba626b4fc8ac846f7657c63 27995216 libcoq-core-ocaml_8.18~git~202310292305+24194-0~daily405-f022d5d194~ubuntu22.04.1_amd64.deb
 5dbad32dd81501438e724b28d3bb58b8cf2735c763bf6e43ddd378ff5c8cf69e 26959882 libcoq-stdlib_8.18~git~202310292305+24194-0~daily405-f022d5d194~ubuntu22.04.1_amd64.deb
Files:
 523d04e87f1f4114e86efaed4e3dd23a 18118 math optional coq_8.18~git~202310292305+24194-0~daily405-f022d5d194~ubuntu22.04.1_amd64.buildinfo
 97c4f8fd6d233640b2721251056ae8bb 95023238 math optional coq_8.18~git~202310292305+24194-0~daily405-f022d5d194~ubuntu22.04.1_amd64.deb
 364ece4bc6efa55e9a2019c5b42d6ea1 2413650 math optional coqide_8.18~git~202310292305+24194-0~daily405-f022d5d194~ubuntu22.04.1_amd64.deb
 45f7a8c3256f3a4303269dd69834d458 51079722 ocaml optional libcoq-core-ocaml-dev_8.18~git~202310292305+24194-0~daily405-f022d5d194~ubuntu22.04.1_amd64.deb
 e4d0f2c68f69bb9337b0372a056c4eca 27995216 ocaml optional libcoq-core-ocaml_8.18~git~202310292305+24194-0~daily405-f022d5d194~ubuntu22.04.1_amd64.deb
 076487e3fcef22c5c54043a319363f43 26959882 math optional libcoq-stdlib_8.18~git~202310292305+24194-0~daily405-f022d5d194~ubuntu22.04.1_amd64.deb