Format: 1.8
Date: Thu, 23 Jun 2022 23:26:22 +0000
Source: coq
Binary: coq coq-theories coqide libcoq-ocaml libcoq-ocaml-dev
Architecture: amd64
Version: 8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu20.04.1
Distribution: focal
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lgw01-amd64-035.buildd>
Changed-By: Jason Gross <jgross@mit.edu>
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.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu20.04.1) focal; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 eaac49e3f846896deed4df12713aa919c3293486 20524020 coq-theories_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu20.04.1_amd64.deb
 81b6296035a9bcc26449ebb241b642dea3662323 16293 coq_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu20.04.1_amd64.buildinfo
 b34b6de30d3ba63362841808adb7d470a74f9ee1 7092936 coq_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu20.04.1_amd64.deb
 e997bccb03a7a3d4eb31156c98833f1d2efbe409 1508940 coqide_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu20.04.1_amd64.deb
 3a1e14a9c1b4f0269e4b3d8ae9111a3882894682 12173352 libcoq-ocaml-dev_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu20.04.1_amd64.deb
 2975ab95fff11dfaf5194231d55d8ce95224cfea 7091148 libcoq-ocaml_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu20.04.1_amd64.deb
Checksums-Sha256:
 6311e8791f3ca1cb51efa99451c5d58b5d5b774d10b262ab22b4a3246990eeeb 20524020 coq-theories_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu20.04.1_amd64.deb
 c38a0e02b4ff5975ee209b12e32f83864661812c539265092d716cdb2bb9ba1a 16293 coq_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu20.04.1_amd64.buildinfo
 d1dc3168f27c47a48b5298232f12f0c6f40fe991594052784a696b6ea76f26b1 7092936 coq_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu20.04.1_amd64.deb
 14090ff16b4a2275b4e409a9c69f0ebb5986efab61cae7d919ae7d884e992989 1508940 coqide_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu20.04.1_amd64.deb
 31a4fb9b2a6f218f1b61469e4bb6e2919ff3b6abc07c433507c9f9475b0927fe 12173352 libcoq-ocaml-dev_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu20.04.1_amd64.deb
 f4120161679c31c10af4f8258e9edf93b2b4b92bf187677297eca862188c1f64 7091148 libcoq-ocaml_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu20.04.1_amd64.deb
Files:
 72ccbbcb624e9d4dca7e8c8335ff7129 20524020 math optional coq-theories_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu20.04.1_amd64.deb
 1a0cf8bcb55e52b5f637c82c3c53ad28 16293 math optional coq_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu20.04.1_amd64.buildinfo
 6e0496bd6d650c59355fb25442454b80 7092936 math optional coq_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu20.04.1_amd64.deb
 e185b8f39c9779280864d2b639a071c6 1508940 math optional coqide_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu20.04.1_amd64.deb
 bc9790d45e7558ad0b222a0f015be19e 12173352 ocaml optional libcoq-ocaml-dev_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu20.04.1_amd64.deb
 794330dfc70a72d05de9213feed61ab4 7091148 ocaml optional libcoq-ocaml_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu20.04.1_amd64.deb