Format: 1.8
Date: Mon, 06 Dec 2021 13:36:39 +0000
Source: coq
Binary: coq coq-theories coqide libcoq-ocaml libcoq-ocaml-dev
Built-For-Profiles: noudeb
Architecture: amd64
Version: 8.master~git~202112061336+22860-0~daily363-0392a71763~ubuntu21.10.1
Distribution: impish
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lcy01-amd64-013.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~202112061336+22860-0~daily363-0392a71763~ubuntu21.10.1) impish; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 e956d54a00404895ec312c58c8899c3537025914 25755356 coq-theories_8.master~git~202112061336+22860-0~daily363-0392a71763~ubuntu21.10.1_amd64.deb
 d313803b0206e0bcd70fc704cd4632cbcf0e41bf 19014 coq_8.master~git~202112061336+22860-0~daily363-0392a71763~ubuntu21.10.1_amd64.buildinfo
 eec3ddb2a49499e9cefbaa0b0209ddef7f4a7bfc 93880240 coq_8.master~git~202112061336+22860-0~daily363-0392a71763~ubuntu21.10.1_amd64.deb
 4f0a083a7ed3840c6696c73b3b88292951ef1ee4 22158728 coqide_8.master~git~202112061336+22860-0~daily363-0392a71763~ubuntu21.10.1_amd64.deb
 321c8f60fe49d98293b003b473aeaf95fa58542b 50159680 libcoq-ocaml-dev_8.master~git~202112061336+22860-0~daily363-0392a71763~ubuntu21.10.1_amd64.deb
 af9fd408bf4250370f5ac5891ab2ed57a6467186 26991414 libcoq-ocaml_8.master~git~202112061336+22860-0~daily363-0392a71763~ubuntu21.10.1_amd64.deb
Checksums-Sha256:
 1a990e2117a9270b6ae43893ad10bbcf27150bac331b17e683eda0f2db2163e3 25755356 coq-theories_8.master~git~202112061336+22860-0~daily363-0392a71763~ubuntu21.10.1_amd64.deb
 4f206a159fb507a058967a94181e2ba987057b89ef08e4f19657ad94c97f0a52 19014 coq_8.master~git~202112061336+22860-0~daily363-0392a71763~ubuntu21.10.1_amd64.buildinfo
 92eabd06d35cbd595fcef681840856a74a62f60112692938b76a8b94cc888e0c 93880240 coq_8.master~git~202112061336+22860-0~daily363-0392a71763~ubuntu21.10.1_amd64.deb
 92faf2803910154971dfca96b5cd3e4a5976d38be09ed41d664831b5279bfb46 22158728 coqide_8.master~git~202112061336+22860-0~daily363-0392a71763~ubuntu21.10.1_amd64.deb
 863c909bf9576df95c684eb5d1c670e076ef82e1d2797025166486de316eda9a 50159680 libcoq-ocaml-dev_8.master~git~202112061336+22860-0~daily363-0392a71763~ubuntu21.10.1_amd64.deb
 5207ccca9887f4b4e6933616f3c2ee4cdbafebf9cda81153cdd8bd1b3497faff 26991414 libcoq-ocaml_8.master~git~202112061336+22860-0~daily363-0392a71763~ubuntu21.10.1_amd64.deb
Files:
 4729340906c187613be90193f572daa1 25755356 math optional coq-theories_8.master~git~202112061336+22860-0~daily363-0392a71763~ubuntu21.10.1_amd64.deb
 d7d167cf9fa443be369d84d762bfcd55 19014 math optional coq_8.master~git~202112061336+22860-0~daily363-0392a71763~ubuntu21.10.1_amd64.buildinfo
 d2d1d92addf0eca1a907b197b09c1940 93880240 math optional coq_8.master~git~202112061336+22860-0~daily363-0392a71763~ubuntu21.10.1_amd64.deb
 2f7f7d08eeb6bf071a7f0e79b854a718 22158728 math optional coqide_8.master~git~202112061336+22860-0~daily363-0392a71763~ubuntu21.10.1_amd64.deb
 932321cec8040596ccf4cccc48341187 50159680 ocaml optional libcoq-ocaml-dev_8.master~git~202112061336+22860-0~daily363-0392a71763~ubuntu21.10.1_amd64.deb
 80a24e47b70b60dd4227a83802d97661 26991414 ocaml optional libcoq-ocaml_8.master~git~202112061336+22860-0~daily363-0392a71763~ubuntu21.10.1_amd64.deb