Format: 1.8 Date: Fri, 11 Nov 2022 15:21:10 +0000 Source: coq Binary: coq coq-theories coqide libcoq-ocaml libcoq-ocaml-dev Built-For-Profiles: noudeb Architecture: amd64 Version: 8.14~git~202211111521+22483-0~daily365-3430672962~ubuntu22.04.1 Distribution: jammy 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~202211111521+22483-0~daily365-3430672962~ubuntu22.04.1) jammy; urgency=low . * Auto build. Checksums-Sha1: ba8ba64c077b7602dbf6b6e580ecbc075120deda 26102616 coq-theories_8.14~git~202211111521+22483-0~daily365-3430672962~ubuntu22.04.1_amd64.deb ad085958fb6be0a2a5fed7318ab7eb953b30e1be 18797 coq_8.14~git~202211111521+22483-0~daily365-3430672962~ubuntu22.04.1_amd64.buildinfo ec12c5af774e329b801c4d4ad15fdb2f0f9c582b 94833578 coq_8.14~git~202211111521+22483-0~daily365-3430672962~ubuntu22.04.1_amd64.deb ae83c66869d86f6fecd5bdad8f9e46f8c273dabc 22209972 coqide_8.14~git~202211111521+22483-0~daily365-3430672962~ubuntu22.04.1_amd64.deb 5100ad1277c43cac0291b7d8c0722b5db2fdbee2 49757088 libcoq-ocaml-dev_8.14~git~202211111521+22483-0~daily365-3430672962~ubuntu22.04.1_amd64.deb ce5977742974a23a8f2ff295cf7aa4c9bb1b30b2 27025772 libcoq-ocaml_8.14~git~202211111521+22483-0~daily365-3430672962~ubuntu22.04.1_amd64.deb Checksums-Sha256: c45d0ddab730af97ff1c30bac5636354a72aad94cbd7c0242667931c5759c97d 26102616 coq-theories_8.14~git~202211111521+22483-0~daily365-3430672962~ubuntu22.04.1_amd64.deb 778a8dc99d88edf9e44ff32886c0d7bffee188ea39b4021df60d1422fa9da5b1 18797 coq_8.14~git~202211111521+22483-0~daily365-3430672962~ubuntu22.04.1_amd64.buildinfo 8c818a97957b3706af6fec179c46d82009b2516923612b4e5eea4465be92b6d6 94833578 coq_8.14~git~202211111521+22483-0~daily365-3430672962~ubuntu22.04.1_amd64.deb fb0373bdc604ee0267494a1ecdbdb4c0693ba5149a0c83b9ab1f126caa6b1f65 22209972 coqide_8.14~git~202211111521+22483-0~daily365-3430672962~ubuntu22.04.1_amd64.deb d68301faa401e99a6a751baad8d2b13a0e96cd9dc20adb237bc13cbbba3ef1a3 49757088 libcoq-ocaml-dev_8.14~git~202211111521+22483-0~daily365-3430672962~ubuntu22.04.1_amd64.deb 647e3697a3f46f4a26b67f8ac2eea0d9da026f6c3c8942e02cb5d84456eaf9fb 27025772 libcoq-ocaml_8.14~git~202211111521+22483-0~daily365-3430672962~ubuntu22.04.1_amd64.deb Files: 8b8a693f8ef3af81cdf5be18572ab087 26102616 math optional coq-theories_8.14~git~202211111521+22483-0~daily365-3430672962~ubuntu22.04.1_amd64.deb 7bafc183b2ca7c4f912a02d378095689 18797 math optional coq_8.14~git~202211111521+22483-0~daily365-3430672962~ubuntu22.04.1_amd64.buildinfo 496a907a28a2b41984110fd724ab5267 94833578 math optional coq_8.14~git~202211111521+22483-0~daily365-3430672962~ubuntu22.04.1_amd64.deb e500ad9678e5b3728aa5ebeea1c4c767 22209972 math optional coqide_8.14~git~202211111521+22483-0~daily365-3430672962~ubuntu22.04.1_amd64.deb 87d44d0646450c5f3c2d6d78a4a8a6b3 49757088 ocaml optional libcoq-ocaml-dev_8.14~git~202211111521+22483-0~daily365-3430672962~ubuntu22.04.1_amd64.deb eac09f7a7e8a478e212660f76e4f4919 27025772 ocaml optional libcoq-ocaml_8.14~git~202211111521+22483-0~daily365-3430672962~ubuntu22.04.1_amd64.deb