Format: 1.8
Date: Sat, 28 Jan 2023 12:03:23 +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~202301281203+23834-0~daily402-29eac1001a~ubuntu22.04.1
Distribution: jammy
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lcy02-amd64-051.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~202301281203+23834-0~daily402-29eac1001a~ubuntu22.04.1) jammy; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 d7fc8d15cb27f4c4b6b3af5e0fbde7172a492a46 17833 coq_8.master~git~202301281203+23834-0~daily402-29eac1001a~ubuntu22.04.1_amd64.buildinfo
 5f84a28858ef68d5db0a1c3d2b3cd5aee95f4df7 94113110 coq_8.master~git~202301281203+23834-0~daily402-29eac1001a~ubuntu22.04.1_amd64.deb
 ca2217a346fb1e668f73815ea201eab2d51dd371 2394406 coqide_8.master~git~202301281203+23834-0~daily402-29eac1001a~ubuntu22.04.1_amd64.deb
 e09493182a64edd7a75f1a608b406a6233ff0b1f 50393076 libcoq-core-ocaml-dev_8.master~git~202301281203+23834-0~daily402-29eac1001a~ubuntu22.04.1_amd64.deb
 af3614a59c8dcd7655278d229ff0caaca91efbd1 27736122 libcoq-core-ocaml_8.master~git~202301281203+23834-0~daily402-29eac1001a~ubuntu22.04.1_amd64.deb
 f2e14b0c836bf4498f61feac530a09d650a8ffbd 26897602 libcoq-stdlib_8.master~git~202301281203+23834-0~daily402-29eac1001a~ubuntu22.04.1_amd64.deb
Checksums-Sha256:
 b2dde88321b0c9d0910cc70825f916b537ccf57924a1c14cfdd5e5b8661a147e 17833 coq_8.master~git~202301281203+23834-0~daily402-29eac1001a~ubuntu22.04.1_amd64.buildinfo
 d4fd2cbc0949d2a1a1ff6c5dd4d9d88b010afeb81c3de285e8ee211c3a63f42e 94113110 coq_8.master~git~202301281203+23834-0~daily402-29eac1001a~ubuntu22.04.1_amd64.deb
 f7a64ea4eff20adc82d8148edbedead1dbb4848ba9796b5a179e7535686f746d 2394406 coqide_8.master~git~202301281203+23834-0~daily402-29eac1001a~ubuntu22.04.1_amd64.deb
 60b01d6575195056b2a4aecf451317ec3df05a4b35abb8ee62a79e2e200f981d 50393076 libcoq-core-ocaml-dev_8.master~git~202301281203+23834-0~daily402-29eac1001a~ubuntu22.04.1_amd64.deb
 145acf7a54ac340c5e4c4f46dce597dbf7fb8fcd466bc8999b3be979e2c2d908 27736122 libcoq-core-ocaml_8.master~git~202301281203+23834-0~daily402-29eac1001a~ubuntu22.04.1_amd64.deb
 5c87ee1c68839492801e64ae7f6b59ee8b5c77002181e5c3fb95668e4420f0de 26897602 libcoq-stdlib_8.master~git~202301281203+23834-0~daily402-29eac1001a~ubuntu22.04.1_amd64.deb
Files:
 236abdcbf531652bd315fec4c4563bae 17833 math optional coq_8.master~git~202301281203+23834-0~daily402-29eac1001a~ubuntu22.04.1_amd64.buildinfo
 3aa052c1741c8c5dfd660319c989c438 94113110 math optional coq_8.master~git~202301281203+23834-0~daily402-29eac1001a~ubuntu22.04.1_amd64.deb
 800afffcd693938fd2e8cd35083b0e4f 2394406 math optional coqide_8.master~git~202301281203+23834-0~daily402-29eac1001a~ubuntu22.04.1_amd64.deb
 460feca89c25c00b23d5cb947485e641 50393076 ocaml optional libcoq-core-ocaml-dev_8.master~git~202301281203+23834-0~daily402-29eac1001a~ubuntu22.04.1_amd64.deb
 7fa7d6a77b4c5255b7c1814fd003dcbb 27736122 ocaml optional libcoq-core-ocaml_8.master~git~202301281203+23834-0~daily402-29eac1001a~ubuntu22.04.1_amd64.deb
 2bc4de11c5855691e36dd7bc72e9af47 26897602 math optional libcoq-stdlib_8.master~git~202301281203+23834-0~daily402-29eac1001a~ubuntu22.04.1_amd64.deb