Format: 1.8 Date: Sat, 26 Nov 2022 23:33:00 +0000 Source: coq Binary: coq coq-theories coqide libcoq-ocaml libcoq-ocaml-dev Built-For-Profiles: noudeb Architecture: amd64 Version: 8.14~git~202211262333+22483-0~daily366-3430672962~ubuntu22.10.1 Distribution: kinetic Urgency: low Maintainer: Launchpad Build Daemon Changed-By: Jason Gross 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.14~git~202211262333+22483-0~daily366-3430672962~ubuntu22.10.1) kinetic; urgency=low . * Auto build. Checksums-Sha1: 9ad39328852291f6498d9226c176a14ac14a9f8e 25695600 coq-theories_8.14~git~202211262333+22483-0~daily366-3430672962~ubuntu22.10.1_amd64.deb fe5603163b870e6cbca08e1247a1f8dedbad386a 18279 coq_8.14~git~202211262333+22483-0~daily366-3430672962~ubuntu22.10.1_amd64.buildinfo 115faeb15918781fc25ea54eaa8b10831f53a4ef 94201772 coq_8.14~git~202211262333+22483-0~daily366-3430672962~ubuntu22.10.1_amd64.deb 3f7a363c5bf500ec60af864db8b65a9809e84cb5 2304918 coqide_8.14~git~202211262333+22483-0~daily366-3430672962~ubuntu22.10.1_amd64.deb d78da7a2322e584ee3967bb4839d9b145ecee47d 49913332 libcoq-ocaml-dev_8.14~git~202211262333+22483-0~daily366-3430672962~ubuntu22.10.1_amd64.deb 1ce37c63e743fcf912be2456bbd0786bf8f314d2 26837362 libcoq-ocaml_8.14~git~202211262333+22483-0~daily366-3430672962~ubuntu22.10.1_amd64.deb Checksums-Sha256: d54d0bdc08fadf39392680169495e5dcbed01bd483e04f7b9991a6aff8e9d791 25695600 coq-theories_8.14~git~202211262333+22483-0~daily366-3430672962~ubuntu22.10.1_amd64.deb 03f03e9b9884a7f7b8cf3396e7c3f9eaecd02b021d8a8bb51f0d23d73dc48111 18279 coq_8.14~git~202211262333+22483-0~daily366-3430672962~ubuntu22.10.1_amd64.buildinfo 51594ac0c0a56db1edf313c3a99420d571a2133f6199e3b18006bc2e05349cf0 94201772 coq_8.14~git~202211262333+22483-0~daily366-3430672962~ubuntu22.10.1_amd64.deb 0628223be9261eee1b0b8650cf5f24ffe31b856c81ef3553da129acd6d0fa980 2304918 coqide_8.14~git~202211262333+22483-0~daily366-3430672962~ubuntu22.10.1_amd64.deb eb14eae71b0993bfd03618802da2a9c4bf8d3c6b8613d03c339d2c368217a66a 49913332 libcoq-ocaml-dev_8.14~git~202211262333+22483-0~daily366-3430672962~ubuntu22.10.1_amd64.deb c433ca45d303fd7c4562690cacf9cf1da38d94e7411818bf2babbf1d384692ea 26837362 libcoq-ocaml_8.14~git~202211262333+22483-0~daily366-3430672962~ubuntu22.10.1_amd64.deb Files: 4133c84552db30d7bb834b4e08d5279e 25695600 math optional coq-theories_8.14~git~202211262333+22483-0~daily366-3430672962~ubuntu22.10.1_amd64.deb 4a54a513a79e4e4569468a7ae70762ac 18279 math optional coq_8.14~git~202211262333+22483-0~daily366-3430672962~ubuntu22.10.1_amd64.buildinfo f8d37c00f8944614ab10afcb256ef536 94201772 math optional coq_8.14~git~202211262333+22483-0~daily366-3430672962~ubuntu22.10.1_amd64.deb f98c683fecc763d9ce54e765ae59b2e7 2304918 math optional coqide_8.14~git~202211262333+22483-0~daily366-3430672962~ubuntu22.10.1_amd64.deb b2402e073051df2639452d2807987641 49913332 ocaml optional libcoq-ocaml-dev_8.14~git~202211262333+22483-0~daily366-3430672962~ubuntu22.10.1_amd64.deb 5af8025769440c9ba97f64609b1def3c 26837362 ocaml optional libcoq-ocaml_8.14~git~202211262333+22483-0~daily366-3430672962~ubuntu22.10.1_amd64.deb