Format: 1.8
Date: Sat, 03 Oct 2020 20:40:29 -0400
Source: coq
Binary: coq coq-theories coqide libcoq-ocaml libcoq-ocaml-dev
Architecture: ppc64el
Version: 8.12.0-3build1
Distribution: groovy-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-ppc64el-021.buildd>
Changed-By: Jeremy Bicha <jbicha@ubuntu.com>
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.0-3build1) groovy; urgency=medium
 .
   * No-change rebuild against latest lablgtk3
Checksums-Sha1:
 9f5bba27a34c5963156a61fff21967fdff75ad70 5452372 coq-dbgsym_8.12.0-3build1_ppc64el.ddeb
 b0bf63408e9bcbcea7835c855e587889df2ca572 23917344 coq-theories_8.12.0-3build1_ppc64el.deb
 c03b1ce1b2e5b85e2f7cc17a4b408bb1e7f599d3 16649 coq_8.12.0-3build1_ppc64el.buildinfo
 5bfee54af7c865d8d73e1da31f670fd874a80667 80751872 coq_8.12.0-3build1_ppc64el.deb
 5e627171c0a71cdf4113d5699dab26426a84addc 475572 coqide-dbgsym_8.12.0-3build1_ppc64el.ddeb
 cfdd53bce973d90e3de414756a9bef5798a68043 1911896 coqide_8.12.0-3build1_ppc64el.deb
 156c063fddfb8c54e040c1d9820a6ecd5fa4eb5d 521312 libcoq-ocaml-dbgsym_8.12.0-3build1_ppc64el.ddeb
 2205d458c9710be36f6d184e1c5d6f61e1da47d6 16924300 libcoq-ocaml-dev_8.12.0-3build1_ppc64el.deb
 33bd6f176f13e30f715f21e37ef2cb7da31d06c1 6898332 libcoq-ocaml_8.12.0-3build1_ppc64el.deb
Checksums-Sha256:
 1aa6f8f2cb5453fbdc526a3b162cfb8806549b8d2bb1d82625f0caf4cb81536a 5452372 coq-dbgsym_8.12.0-3build1_ppc64el.ddeb
 042b7192e3cbc92c70444db85bd93aa243391bad063398ab3ac3fb66e4563322 23917344 coq-theories_8.12.0-3build1_ppc64el.deb
 4ecc9bd22ca149aace7d8443171186b7b55ff653e4675aa2671ed85c6c876e7d 16649 coq_8.12.0-3build1_ppc64el.buildinfo
 aa2358121e2bd08f901df46f84f4579777f8b57ebe6afd18afe9f7737d0fc9e1 80751872 coq_8.12.0-3build1_ppc64el.deb
 53e403511ba4f1484ce911bbd77318661b22f399417bc59dc5b415c5e805d47b 475572 coqide-dbgsym_8.12.0-3build1_ppc64el.ddeb
 6fd09771f62cab7ed838fc0b972f734c1f55b009aaff826b56e64a647184b020 1911896 coqide_8.12.0-3build1_ppc64el.deb
 b4fc9a8a902d47e7c719cc28120602410fcd8e4ee4ca8d140f648b639ca5c413 521312 libcoq-ocaml-dbgsym_8.12.0-3build1_ppc64el.ddeb
 e5d7988934079be1b3ae721f5e3b361a22276ecb1205709f9292775707850393 16924300 libcoq-ocaml-dev_8.12.0-3build1_ppc64el.deb
 f994bf74e4d65241eb64e9e127fe4707573666667e2c103fd114d6d493e64302 6898332 libcoq-ocaml_8.12.0-3build1_ppc64el.deb
Files:
 9ba3b9315989bc28c9acb4413602cc6c 5452372 debug optional coq-dbgsym_8.12.0-3build1_ppc64el.ddeb
 56512b0f209bd82be123e5a79f8bd5c5 23917344 math optional coq-theories_8.12.0-3build1_ppc64el.deb
 13762e2b1167e9eeac6c4f09c10e979a 16649 math optional coq_8.12.0-3build1_ppc64el.buildinfo
 61fce5708c5046e88716d44ad676b8db 80751872 math optional coq_8.12.0-3build1_ppc64el.deb
 b89ed5ce5359fc5760aaf14fd21cb400 475572 debug optional coqide-dbgsym_8.12.0-3build1_ppc64el.ddeb
 c4aaff12c60a831b5d184c1797f8eb29 1911896 math optional coqide_8.12.0-3build1_ppc64el.deb
 3637f53ff00bbcb35b67eb7e8b5e75b6 521312 debug optional libcoq-ocaml-dbgsym_8.12.0-3build1_ppc64el.ddeb
 81b974f39f969426bcb43af4e551370b 16924300 ocaml optional libcoq-ocaml-dev_8.12.0-3build1_ppc64el.deb
 b7ab3fa1b02ef5bf86b4fa070f246558 6898332 ocaml optional libcoq-ocaml_8.12.0-3build1_ppc64el.deb