Format: 1.8 Date: Wed, 12 Aug 2020 21:21:51 +0000 Source: coq Binary: coq coq-theories coqide libcoq-ocaml libcoq-ocaml-dev Architecture: i386 Version: 8.12~gitubuntu1~202008122121+21528-0~daily331-815c259f79~ubuntu19.10.1 Distribution: eoan 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.12~gitubuntu1~202008122121+21528-0~daily331-815c259f79~ubuntu19.10.1) eoan; urgency=low . * Auto build. Checksums-Sha1: 1e14ad807e3c55875fd6c736c2a066a11ff7bb72 24064956 coq-theories_8.12~gitubuntu1~202008122121+21528-0~daily331-815c259f79~ubuntu19.10.1_i386.deb 7978ac82d7066110d9a3785fa1f2952d54203a92 19152 coq_8.12~gitubuntu1~202008122121+21528-0~daily331-815c259f79~ubuntu19.10.1_i386.buildinfo c9fe1b9956101713e6ab7f2d08c2f2e836697472 24240360 coq_8.12~gitubuntu1~202008122121+21528-0~daily331-815c259f79~ubuntu19.10.1_i386.deb 7a9ff57cbc7f91c849fd4b349e8df8e2cca14fd5 8345260 coqide_8.12~gitubuntu1~202008122121+21528-0~daily331-815c259f79~ubuntu19.10.1_i386.deb 24e3ffd7b7fc31e895e3486a3495d20caaa7fa63 13456212 libcoq-ocaml-dev_8.12~gitubuntu1~202008122121+21528-0~daily331-815c259f79~ubuntu19.10.1_i386.deb 30e4b9e1880a0eb88e5187a7aa894578241ec375 7795256 libcoq-ocaml_8.12~gitubuntu1~202008122121+21528-0~daily331-815c259f79~ubuntu19.10.1_i386.deb Checksums-Sha256: 256466f775b3febf7edb73a29d934cdc03d19dd8c4bef9c86ec58ff3c80d01fd 24064956 coq-theories_8.12~gitubuntu1~202008122121+21528-0~daily331-815c259f79~ubuntu19.10.1_i386.deb 7accdd49933aa74d289e0bddf0f548599f7aa4eb2d89ec94de462b21a241e9e2 19152 coq_8.12~gitubuntu1~202008122121+21528-0~daily331-815c259f79~ubuntu19.10.1_i386.buildinfo 9ceba0a43e1159f70f6cd7b18395e82d8fe2988d9e400b63e7170cace79dbb61 24240360 coq_8.12~gitubuntu1~202008122121+21528-0~daily331-815c259f79~ubuntu19.10.1_i386.deb 485c8aae63cb0e944b2513df68b4533718074fdc6bfeabfa52ce3182bb975736 8345260 coqide_8.12~gitubuntu1~202008122121+21528-0~daily331-815c259f79~ubuntu19.10.1_i386.deb c0b135933e2cb7da3c784f855ec82e3048ba3323e79b628fec49dc625385bbbb 13456212 libcoq-ocaml-dev_8.12~gitubuntu1~202008122121+21528-0~daily331-815c259f79~ubuntu19.10.1_i386.deb 8f39a9ad354f34f7a761bef4459429f60c825e2d18b6eb0cc05effbf45792c77 7795256 libcoq-ocaml_8.12~gitubuntu1~202008122121+21528-0~daily331-815c259f79~ubuntu19.10.1_i386.deb Files: 70850d90c074857147fefeb0236cf4b1 24064956 math optional coq-theories_8.12~gitubuntu1~202008122121+21528-0~daily331-815c259f79~ubuntu19.10.1_i386.deb 38f60b7e650e3a5f1aae56e30dd88cb1 19152 math optional coq_8.12~gitubuntu1~202008122121+21528-0~daily331-815c259f79~ubuntu19.10.1_i386.buildinfo 2b739d3167569a9b9d151c614fb004fd 24240360 math optional coq_8.12~gitubuntu1~202008122121+21528-0~daily331-815c259f79~ubuntu19.10.1_i386.deb b9734491135d2aeae032a9479fd8dbe0 8345260 math optional coqide_8.12~gitubuntu1~202008122121+21528-0~daily331-815c259f79~ubuntu19.10.1_i386.deb f3448ddfe79627eef120cfe2c5c121f6 13456212 ocaml optional libcoq-ocaml-dev_8.12~gitubuntu1~202008122121+21528-0~daily331-815c259f79~ubuntu19.10.1_i386.deb 9f4ed6047cad14834cdf100777e78b4f 7795256 ocaml optional libcoq-ocaml_8.12~gitubuntu1~202008122121+21528-0~daily331-815c259f79~ubuntu19.10.1_i386.deb