Format: 1.8
Date: Sat, 11 Dec 2021 19:33:48 +0000
Source: coq
Binary: coq coq-theories coqide libcoq-ocaml libcoq-ocaml-dev
Built-For-Profiles: noudeb
Architecture: amd64
Version: 8.master~git~202112111933+22883-0~daily363-377f51a0b7~ubuntu21.04.1
Distribution: hirsute
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lcy01-amd64-022.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~202112111933+22883-0~daily363-377f51a0b7~ubuntu21.04.1) hirsute; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 362e60e7ecff72ce673d35ece69a5de1450d31e0 21635936 coq-theories_8.master~git~202112111933+22883-0~daily363-377f51a0b7~ubuntu21.04.1_amd64.deb
 beac9e3365bebd2d8643cb0086a8042498b37bcd 19372 coq_8.master~git~202112111933+22883-0~daily363-377f51a0b7~ubuntu21.04.1_amd64.buildinfo
 458ee442fbdc4b1a5e0f43b63811c92b60f05f6d 79398812 coq_8.master~git~202112111933+22883-0~daily363-377f51a0b7~ubuntu21.04.1_amd64.deb
 73a2d1c38f1ffb3ef913779d1ab53fed7efd2f7c 18479312 coqide_8.master~git~202112111933+22883-0~daily363-377f51a0b7~ubuntu21.04.1_amd64.deb
 788501e9183d47bcb384efb064db7b470c15d906 43185332 libcoq-ocaml-dev_8.master~git~202112111933+22883-0~daily363-377f51a0b7~ubuntu21.04.1_amd64.deb
 211434bcfc9741d8af4eb3d6925f0071bd71342b 22417952 libcoq-ocaml_8.master~git~202112111933+22883-0~daily363-377f51a0b7~ubuntu21.04.1_amd64.deb
Checksums-Sha256:
 ad5f292b47df4559eff2a23991d1da31334def35984a137755bf2229226ecb1a 21635936 coq-theories_8.master~git~202112111933+22883-0~daily363-377f51a0b7~ubuntu21.04.1_amd64.deb
 2264fcaf3befef43f8acb33c6c80d71740c7c7cd5eb6d160f8cbcfd4576c2955 19372 coq_8.master~git~202112111933+22883-0~daily363-377f51a0b7~ubuntu21.04.1_amd64.buildinfo
 7e1a159664bf96595990b6e114036cbf427c5fb17aa61c7c6007bd8b8b742172 79398812 coq_8.master~git~202112111933+22883-0~daily363-377f51a0b7~ubuntu21.04.1_amd64.deb
 18eeff4995fa44b707d518c6c98c77cb877c5d116712122dec289d1b93e19773 18479312 coqide_8.master~git~202112111933+22883-0~daily363-377f51a0b7~ubuntu21.04.1_amd64.deb
 2b2e660b1d8ecc6bef2e380ce52c6f14394357a0c3915f7f7fd48a59f436bb06 43185332 libcoq-ocaml-dev_8.master~git~202112111933+22883-0~daily363-377f51a0b7~ubuntu21.04.1_amd64.deb
 c6f477b90a755a785897862f20d6d6979290fb489a3f146165101666dc398891 22417952 libcoq-ocaml_8.master~git~202112111933+22883-0~daily363-377f51a0b7~ubuntu21.04.1_amd64.deb
Files:
 149ec1a039e19ea469bc9a881b9ea57c 21635936 math optional coq-theories_8.master~git~202112111933+22883-0~daily363-377f51a0b7~ubuntu21.04.1_amd64.deb
 b6a122aecacb8167d5bab23ee0d2eda5 19372 math optional coq_8.master~git~202112111933+22883-0~daily363-377f51a0b7~ubuntu21.04.1_amd64.buildinfo
 a7433e2df559345302bc9b43664d67e6 79398812 math optional coq_8.master~git~202112111933+22883-0~daily363-377f51a0b7~ubuntu21.04.1_amd64.deb
 ab2e31c26363b424ded86e52c510496e 18479312 math optional coqide_8.master~git~202112111933+22883-0~daily363-377f51a0b7~ubuntu21.04.1_amd64.deb
 9b0838493b7e0b12eddf14e7c9b0e326 43185332 ocaml optional libcoq-ocaml-dev_8.master~git~202112111933+22883-0~daily363-377f51a0b7~ubuntu21.04.1_amd64.deb
 54f4551dfeb55195fcf1ae77c9320db3 22417952 ocaml optional libcoq-ocaml_8.master~git~202112111933+22883-0~daily363-377f51a0b7~ubuntu21.04.1_amd64.deb