Format: 1.8
Date: Thu, 23 Jun 2022 23:26:41 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: i386
Version: 8.12~gitubuntu1~202206232326+21623-0~daily335-25fcbe6c68~ubuntu18.04.1
Distribution: bionic
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lgw01-amd64-019.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.12~gitubuntu1~202206232326+21623-0~daily335-25fcbe6c68~ubuntu18.04.1) bionic; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 09c1bbfc1d44a90925ad1d9ba1ac0e6388773cbe 24070632 coq-theories_8.12~gitubuntu1~202206232326+21623-0~daily335-25fcbe6c68~ubuntu18.04.1_i386.deb
 91c77222483e174c61a123ede22ed8f20070ce0f 11096 coq_8.12~gitubuntu1~202206232326+21623-0~daily335-25fcbe6c68~ubuntu18.04.1_i386.buildinfo
 d787b96df8670250cf12f38e05a40979224b0031 24272152 coq_8.12~gitubuntu1~202206232326+21623-0~daily335-25fcbe6c68~ubuntu18.04.1_i386.deb
 20eab93f8030e58860809648c99023bf03dc675d 9724 coqide_8.12~gitubuntu1~202206232326+21623-0~daily335-25fcbe6c68~ubuntu18.04.1_i386.deb
 0b292b377715b49aae12a64cf0d441cb2f5b2f54 13069132 libcoq-ocaml-dev_8.12~gitubuntu1~202206232326+21623-0~daily335-25fcbe6c68~ubuntu18.04.1_i386.deb
 b418ff25effabf2e1f986eaf8300772e102d1ebf 7830136 libcoq-ocaml_8.12~gitubuntu1~202206232326+21623-0~daily335-25fcbe6c68~ubuntu18.04.1_i386.deb
Checksums-Sha256:
 d378b0613dc6efb3cb9a1d89c75b253f083645830bacfaceb4d072d0af52266d 24070632 coq-theories_8.12~gitubuntu1~202206232326+21623-0~daily335-25fcbe6c68~ubuntu18.04.1_i386.deb
 3f74fbc448356f31fd22745a7136605264995808b17fc20a2f3314387796563c 11096 coq_8.12~gitubuntu1~202206232326+21623-0~daily335-25fcbe6c68~ubuntu18.04.1_i386.buildinfo
 a8ad90a96dfcaa51c0bf272db734da14ffb693c26067242896aa1d972bb88473 24272152 coq_8.12~gitubuntu1~202206232326+21623-0~daily335-25fcbe6c68~ubuntu18.04.1_i386.deb
 89492de4aaaeffd6758a5efb28c21f576927c2bbc064c3885b8fd56769404c38 9724 coqide_8.12~gitubuntu1~202206232326+21623-0~daily335-25fcbe6c68~ubuntu18.04.1_i386.deb
 48d226e289c172612f0912ccfbb3cf6f55986fb85d31719ede5de38d06bd7555 13069132 libcoq-ocaml-dev_8.12~gitubuntu1~202206232326+21623-0~daily335-25fcbe6c68~ubuntu18.04.1_i386.deb
 8cbd2a59f5366fda6099f2b039c605bfa1bf088a6171333404e0449b992021ae 7830136 libcoq-ocaml_8.12~gitubuntu1~202206232326+21623-0~daily335-25fcbe6c68~ubuntu18.04.1_i386.deb
Files:
 39415ed6ec32eeb7d220987881209fdb 24070632 math optional coq-theories_8.12~gitubuntu1~202206232326+21623-0~daily335-25fcbe6c68~ubuntu18.04.1_i386.deb
 5aa3b3b60fe3bd4430ddcdbd66cce387 11096 math optional coq_8.12~gitubuntu1~202206232326+21623-0~daily335-25fcbe6c68~ubuntu18.04.1_i386.buildinfo
 cd0ac653b1805e00fa36520354511261 24272152 math optional coq_8.12~gitubuntu1~202206232326+21623-0~daily335-25fcbe6c68~ubuntu18.04.1_i386.deb
 b196495e20d7878b002d944b013931d8 9724 math optional coqide_8.12~gitubuntu1~202206232326+21623-0~daily335-25fcbe6c68~ubuntu18.04.1_i386.deb
 6c716f7e7d33fd6494ec99629caab01d 13069132 ocaml optional libcoq-ocaml-dev_8.12~gitubuntu1~202206232326+21623-0~daily335-25fcbe6c68~ubuntu18.04.1_i386.deb
 c068ce7f1cc1e90a4082c5f4e68c2df7 7830136 ocaml optional libcoq-ocaml_8.12~gitubuntu1~202206232326+21623-0~daily335-25fcbe6c68~ubuntu18.04.1_i386.deb