Format: 1.8
Date: Thu, 23 Jun 2022 23:26:15 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: i386
Version: 8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu16.04.1
Distribution: xenial
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lgw01-amd64-030.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~ubuntu16.04.1) xenial; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 6a15c1f1c2e8d6c85c818a2315fb795a6799bdc5 20373730 coq-theories_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu16.04.1_i386.deb
 59c7447439787ca4e593078b6b4ec0282f100e8b 4632400 coq_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu16.04.1_i386.deb
 eb61e6ec446677f73a6836e699c88963d2678cc4 845980 coqide_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu16.04.1_i386.deb
 b38acacd0a05282549c42f8b54555186e0e721ce 9546944 libcoq-ocaml-dev_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu16.04.1_i386.deb
 0d01ce636bcd8be6a22e420735f8b76f3505ef87 5083382 libcoq-ocaml_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu16.04.1_i386.deb
Checksums-Sha256:
 128a148f84bf78ab94dfdb3c13759169dd771f27e8e87e6ad95a0d7443dc9cbc 20373730 coq-theories_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu16.04.1_i386.deb
 81af1ac56aa76fbb9759f1493ea10630748dedc2ed88a9b20f0ff3c5013d67ef 4632400 coq_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu16.04.1_i386.deb
 8f42dbefa0652d794cce24cf06509b07b81e3d675c176186e0b1bb7429335913 845980 coqide_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu16.04.1_i386.deb
 3e6a080a0a732d6a99fb4820a0187850203d76344126ac256bad0f6f7d92cc04 9546944 libcoq-ocaml-dev_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu16.04.1_i386.deb
 a863323c3c39114e5d0dadc2b24ad89785234604ab9599f84766bea836dab3a3 5083382 libcoq-ocaml_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu16.04.1_i386.deb
Files:
 a6558c68e79c625b68d724d8a73bc60f 20373730 math optional coq-theories_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu16.04.1_i386.deb
 399c07a89158d4b586ec4e450bf57a65 4632400 math optional coq_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu16.04.1_i386.deb
 e2e22c37c9e3a0cbf7e78f15be2a2869 845980 math optional coqide_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu16.04.1_i386.deb
 415e01a3966c883d7b640072d01a4c6f 9546944 ocaml optional libcoq-ocaml-dev_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu16.04.1_i386.deb
 541ddca3c63b3685fc260256b3331808 5083382 ocaml optional libcoq-ocaml_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu16.04.1_i386.deb