Format: 1.8 Date: Sat, 26 Nov 2022 23:32:51 +0000 Source: coq Binary: coq coq-theories coqide libcoq-ocaml libcoq-ocaml-dev Built-For-Profiles: noudeb Architecture: amd64 Version: 8.14~git~202211262332+22483-0~daily366-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~202211262332+22483-0~daily366-3430672962~ubuntu23.04.1) lunar; urgency=low . * Auto build. Checksums-Sha1: cfd546ccf4a96b42f4723934958d701af2fda5ec 25695450 coq-theories_8.14~git~202211262332+22483-0~daily366-3430672962~ubuntu23.04.1_amd64.deb ad7d36188755585041fbd8ab8f0376bb09e9793f 18698 coq_8.14~git~202211262332+22483-0~daily366-3430672962~ubuntu23.04.1_amd64.buildinfo ce70a3f03b25c6a2bf9908e7fb087472ac7221a1 94203734 coq_8.14~git~202211262332+22483-0~daily366-3430672962~ubuntu23.04.1_amd64.deb a5929aa6e32cd4204e56810e5b0fde2b88c483f3 2299836 coqide_8.14~git~202211262332+22483-0~daily366-3430672962~ubuntu23.04.1_amd64.deb 5325b54fe88c067c2cbf9c0d8b4e00752e3b39d1 49915208 libcoq-ocaml-dev_8.14~git~202211262332+22483-0~daily366-3430672962~ubuntu23.04.1_amd64.deb f1bf484568dd8bfdfe03d92d06e83209a2f0170e 26837256 libcoq-ocaml_8.14~git~202211262332+22483-0~daily366-3430672962~ubuntu23.04.1_amd64.deb Checksums-Sha256: 12077d8482a7230668f8f6d3ff113dc95974c8e20f246fd05d2551b51abd56de 25695450 coq-theories_8.14~git~202211262332+22483-0~daily366-3430672962~ubuntu23.04.1_amd64.deb b0a727bb2893d21e4705eb9f9958050a00d59e6171bd02b9488aaedd27a0f7e2 18698 coq_8.14~git~202211262332+22483-0~daily366-3430672962~ubuntu23.04.1_amd64.buildinfo b7d683b62baa121d9661a5521582e9e3b85ca752cc5ba02575ee4f2869d2b6ef 94203734 coq_8.14~git~202211262332+22483-0~daily366-3430672962~ubuntu23.04.1_amd64.deb 23118491e4e0bc4ad2bc6527e0d6fe6a4af8e2c11a8cf6c8d77135342c572a8e 2299836 coqide_8.14~git~202211262332+22483-0~daily366-3430672962~ubuntu23.04.1_amd64.deb cb694b2de760ca51d67954b7b27fd53dc866b73f1e7a20d797a6e775a570ceeb 49915208 libcoq-ocaml-dev_8.14~git~202211262332+22483-0~daily366-3430672962~ubuntu23.04.1_amd64.deb 8128b29756179f325cca2760f5a10c11fceaf5cf5191523ae2201512e35bfb4d 26837256 libcoq-ocaml_8.14~git~202211262332+22483-0~daily366-3430672962~ubuntu23.04.1_amd64.deb Files: e1b51df2d7515cb9023b455106094775 25695450 math optional coq-theories_8.14~git~202211262332+22483-0~daily366-3430672962~ubuntu23.04.1_amd64.deb 2f9838430cc81c9391ca4a2bff81898f 18698 math optional coq_8.14~git~202211262332+22483-0~daily366-3430672962~ubuntu23.04.1_amd64.buildinfo d55ce7d10b6237a89d4ecc43e82393e3 94203734 math optional coq_8.14~git~202211262332+22483-0~daily366-3430672962~ubuntu23.04.1_amd64.deb 68c21f88b5330d685eb8872ea3b1faf2 2299836 math optional coqide_8.14~git~202211262332+22483-0~daily366-3430672962~ubuntu23.04.1_amd64.deb 1f35c454b4d4e5495c652b12cbf3be27 49915208 ocaml optional libcoq-ocaml-dev_8.14~git~202211262332+22483-0~daily366-3430672962~ubuntu23.04.1_amd64.deb b4e5ab28717fc44c1bed8609e94a30fe 26837256 ocaml optional libcoq-ocaml_8.14~git~202211262332+22483-0~daily366-3430672962~ubuntu23.04.1_amd64.deb