Format: 1.8
Date: Thu, 23 Jun 2022 23:24:00 +0000
Source: coq
Binary: coq coq-theories coqide libcoq-ocaml libcoq-ocaml-dev
Architecture: amd64
Version: 8.10~git~202206232324+20528-0~daily326-70a5e6f670~ubuntu20.04.1
Distribution: focal
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lcy02-amd64-016.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.10~git~202206232324+20528-0~daily326-70a5e6f670~ubuntu20.04.1) focal; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 f3cafc1221b0a0dccec63735adaf675087c98029 21674388 coq-theories_8.10~git~202206232324+20528-0~daily326-70a5e6f670~ubuntu20.04.1_amd64.deb
 8d04501aa3da386e33a075eef8fa06f23509b592 19752 coq_8.10~git~202206232324+20528-0~daily326-70a5e6f670~ubuntu20.04.1_amd64.buildinfo
 e2b5159503e7b1cf9ca568230244aa5f1495b524 27783812 coq_8.10~git~202206232324+20528-0~daily326-70a5e6f670~ubuntu20.04.1_amd64.deb
 6f62c9100b5113dc3b8ba8781fed14b59544d159 10090248 coqide_8.10~git~202206232324+20528-0~daily326-70a5e6f670~ubuntu20.04.1_amd64.deb
 c21902a9a6157c61902f4cc1d4dd6a54ccbd7fdf 12569492 libcoq-ocaml-dev_8.10~git~202206232324+20528-0~daily326-70a5e6f670~ubuntu20.04.1_amd64.deb
 23c26684ee3b0465ec3054077f67e4f471986037 7196100 libcoq-ocaml_8.10~git~202206232324+20528-0~daily326-70a5e6f670~ubuntu20.04.1_amd64.deb
Checksums-Sha256:
 a8ce5fb64b0184b7ec95dcfd0008a824fc67f4b93f1272981d8fa45a5bd5c5c6 21674388 coq-theories_8.10~git~202206232324+20528-0~daily326-70a5e6f670~ubuntu20.04.1_amd64.deb
 a45b0fe7981b8cadcfea24e883bf730482a2d29ed1c63c10c2c5d1639c3c0438 19752 coq_8.10~git~202206232324+20528-0~daily326-70a5e6f670~ubuntu20.04.1_amd64.buildinfo
 1c94192a16f1f7f47abe082784bced57da535cf08b8e5cb97948fd2a196331bc 27783812 coq_8.10~git~202206232324+20528-0~daily326-70a5e6f670~ubuntu20.04.1_amd64.deb
 862e36efd4be1a468ac4b9cf6764e8997cd36e7df4d306ca29b17876a24aa48e 10090248 coqide_8.10~git~202206232324+20528-0~daily326-70a5e6f670~ubuntu20.04.1_amd64.deb
 e27848946f2cc7a73614f1bb4a8142c0bb5e45faa4d37c2f2a0d1c32a3fc8fef 12569492 libcoq-ocaml-dev_8.10~git~202206232324+20528-0~daily326-70a5e6f670~ubuntu20.04.1_amd64.deb
 1b90bcf6775db49bf46e44997ff3fd48e8de2a9d08a32c1684f40d47bfa84062 7196100 libcoq-ocaml_8.10~git~202206232324+20528-0~daily326-70a5e6f670~ubuntu20.04.1_amd64.deb
Files:
 5cd2d0abf2a2e4374da57eebfe5a046b 21674388 math optional coq-theories_8.10~git~202206232324+20528-0~daily326-70a5e6f670~ubuntu20.04.1_amd64.deb
 5d7513e696e3bfc313982da3b4685003 19752 math optional coq_8.10~git~202206232324+20528-0~daily326-70a5e6f670~ubuntu20.04.1_amd64.buildinfo
 17ad17b64693deba5eca04cb33e32f34 27783812 math optional coq_8.10~git~202206232324+20528-0~daily326-70a5e6f670~ubuntu20.04.1_amd64.deb
 bfedd540202402d7c56ed0678460aab6 10090248 math optional coqide_8.10~git~202206232324+20528-0~daily326-70a5e6f670~ubuntu20.04.1_amd64.deb
 4b2429a75d19a87938a9fd043dc95e16 12569492 ocaml optional libcoq-ocaml-dev_8.10~git~202206232324+20528-0~daily326-70a5e6f670~ubuntu20.04.1_amd64.deb
 104fee1731450e5f3cf5c38e6626f70d 7196100 ocaml optional libcoq-ocaml_8.10~git~202206232324+20528-0~daily326-70a5e6f670~ubuntu20.04.1_amd64.deb