Format: 1.8 Date: Fri, 11 Nov 2022 15:20:46 +0000 Source: coq Binary: coq coq-theories coqide libcoq-ocaml libcoq-ocaml-dev Built-For-Profiles: noudeb Architecture: amd64 Version: 8.14~git~202211111520+22483-0~daily365-3430672962~ubuntu23.04.1 Distribution: lunar 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~202211111520+22483-0~daily365-3430672962~ubuntu23.04.1) lunar; urgency=low . * Auto build. Checksums-Sha1: 9eb571b24e73d655d6c4d274fc458c21f749404c 25694836 coq-theories_8.14~git~202211111520+22483-0~daily365-3430672962~ubuntu23.04.1_amd64.deb 14520918fa24cd16d323227bafd6738581e25a6e 18186 coq_8.14~git~202211111520+22483-0~daily365-3430672962~ubuntu23.04.1_amd64.buildinfo 8ff650590af459b314ab988536c1fe1a08b5dd5f 94215302 coq_8.14~git~202211111520+22483-0~daily365-3430672962~ubuntu23.04.1_amd64.deb 60b0690992755603c7d411aa8551253fd458958c 22102472 coqide_8.14~git~202211111520+22483-0~daily365-3430672962~ubuntu23.04.1_amd64.deb bd31484213cee2e55085534d6fc7d6d480631a23 49914388 libcoq-ocaml-dev_8.14~git~202211111520+22483-0~daily365-3430672962~ubuntu23.04.1_amd64.deb 0a905f13b9201c606fd195e803d26612e2d68a31 26837478 libcoq-ocaml_8.14~git~202211111520+22483-0~daily365-3430672962~ubuntu23.04.1_amd64.deb Checksums-Sha256: 0696047f42a969eca86c0f6721fbaac98639298399f95dc4e1ca198b72fd8c0a 25694836 coq-theories_8.14~git~202211111520+22483-0~daily365-3430672962~ubuntu23.04.1_amd64.deb 3a2789fbd4ea4833991945b744fe639b7990cd6620a7403771fe27e050392f80 18186 coq_8.14~git~202211111520+22483-0~daily365-3430672962~ubuntu23.04.1_amd64.buildinfo bdcb665cee98bb4002c1611b05919bfc0102a4f0a2c7c507164b429c29d8d34a 94215302 coq_8.14~git~202211111520+22483-0~daily365-3430672962~ubuntu23.04.1_amd64.deb 323a10f86a3017befb7ba850718db11728f53e315324cd2b70148769a7254cbb 22102472 coqide_8.14~git~202211111520+22483-0~daily365-3430672962~ubuntu23.04.1_amd64.deb 481ad92838c4758f23b0cddb62659373472eaae56da2e1434b01f3b0ac5049ce 49914388 libcoq-ocaml-dev_8.14~git~202211111520+22483-0~daily365-3430672962~ubuntu23.04.1_amd64.deb 19ba9e9fd79a95def12b679ec2beb0840397ba2d00f12503a41bf547f338beb6 26837478 libcoq-ocaml_8.14~git~202211111520+22483-0~daily365-3430672962~ubuntu23.04.1_amd64.deb Files: 53e21f48ed2bd38a0fcc48e05d3b2a40 25694836 math optional coq-theories_8.14~git~202211111520+22483-0~daily365-3430672962~ubuntu23.04.1_amd64.deb 5f628720e2bf87c6279c1caaf1f841ee 18186 math optional coq_8.14~git~202211111520+22483-0~daily365-3430672962~ubuntu23.04.1_amd64.buildinfo 2df24d5d04dc41ed8178a5c4b3623e71 94215302 math optional coq_8.14~git~202211111520+22483-0~daily365-3430672962~ubuntu23.04.1_amd64.deb 9481d2d777c740ddf96af7e133a57c49 22102472 math optional coqide_8.14~git~202211111520+22483-0~daily365-3430672962~ubuntu23.04.1_amd64.deb 285f2d3bbc3226f28708f4d95d827fca 49914388 ocaml optional libcoq-ocaml-dev_8.14~git~202211111520+22483-0~daily365-3430672962~ubuntu23.04.1_amd64.deb 9f82656ed115ee0bdda15a9a40f25241 26837478 ocaml optional libcoq-ocaml_8.14~git~202211111520+22483-0~daily365-3430672962~ubuntu23.04.1_amd64.deb