Format: 1.8
Date: Fri, 11 Nov 2022 15:17:38 +0000
Source: coq
Binary: coq coq-theories coqide libcoq-ocaml libcoq-ocaml-dev
Built-For-Profiles: noudeb
Architecture: amd64
Version: 8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.04.1
Distribution: jammy
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lcy02-amd64-008.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.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.04.1) jammy; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 08d08bb08d426b6909458e7061652991f9e85ea0 25071620 coq-theories_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.04.1_amd64.deb
 169dbaf01a1e1cf753d563b388fd6e93137af15f 18609 coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.04.1_amd64.buildinfo
 788712ab6981f8362e8e2245e06abfdbcb20f6e9 36960768 coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.04.1_amd64.deb
 0daeb6a3f03118f9c6c0b2c74a0406e539582e94 13118308 coqide_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.04.1_amd64.deb
 4bd5e9464856aaf94ae0082d475bc51fe5baba6d 17404978 libcoq-ocaml-dev_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.04.1_amd64.deb
 5d2700e4a284f87d7bc4f8f5d96442c9e7ab025f 9757584 libcoq-ocaml_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.04.1_amd64.deb
Checksums-Sha256:
 9d900d981a1cea4c8d013e876776aef55025b1db3f904edda5dda5f683d11a2f 25071620 coq-theories_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.04.1_amd64.deb
 c496d0a0b29e3a96d962fdfb34a8889f283b1cd8b9681f46f5ef9da17710b171 18609 coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.04.1_amd64.buildinfo
 628b5e3a49513e2902e5a476f5d2ce498091aa5f11e352c91f60b60b21802450 36960768 coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.04.1_amd64.deb
 f125ce7a8d8f09e990116a3f8b06f5a904a9e2c7e858b2e13d27e77cbbff5b83 13118308 coqide_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.04.1_amd64.deb
 1458559fc355d96225236ce177d892f701c3b35388cbbb6972d87886ecd3a77a 17404978 libcoq-ocaml-dev_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.04.1_amd64.deb
 be92e6ce1e0d738afcfde44aad1a92244bab2645bb1014bed56e45b40be642c7 9757584 libcoq-ocaml_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.04.1_amd64.deb
Files:
 efe319346895968ed7d2796088c9f238 25071620 math optional coq-theories_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.04.1_amd64.deb
 d0db4a4b28e980611101016d9f95ea99 18609 math optional coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.04.1_amd64.buildinfo
 2358ec2618f537d48348a86b7516f2d2 36960768 math optional coq_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.04.1_amd64.deb
 09f5766f2e640637ffb7b13f5a023fb4 13118308 math optional coqide_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.04.1_amd64.deb
 534029fa4801a3baf33e2c9232e04dd1 17404978 ocaml optional libcoq-ocaml-dev_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.04.1_amd64.deb
 bbc799cc8a586acd6a39ca3d40f59ed2 9757584 ocaml optional libcoq-ocaml_8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.04.1_amd64.deb