Format: 1.8
Date: Thu, 23 Jun 2022 23:25:49 +0000
Source: coq
Binary: coq coq-theories coqide libcoq-ocaml libcoq-ocaml-dev
Built-For-Profiles: noudeb
Architecture: amd64
Version: 8.11~git~202206232325+20980-0~daily331-bebc99540f~ubuntu21.10.1
Distribution: impish
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lcy02-amd64-109.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~202206232325+20980-0~daily331-bebc99540f~ubuntu21.10.1) impish; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 079a8557cfea2da1ead34f48e8672a60285096df 25036512 coq-theories_8.11~git~202206232325+20980-0~daily331-bebc99540f~ubuntu21.10.1_amd64.deb
 afa36da49b4c6667f5990b48b90e8c224324825f 19020 coq_8.11~git~202206232325+20980-0~daily331-bebc99540f~ubuntu21.10.1_amd64.buildinfo
 d87a5a2c40693f5536d3986f7c893ed010568c89 35804020 coq_8.11~git~202206232325+20980-0~daily331-bebc99540f~ubuntu21.10.1_amd64.deb
 e3a1eb7eeb54a84b9fdf81a68526bc96dfe919ec 12867240 coqide_8.11~git~202206232325+20980-0~daily331-bebc99540f~ubuntu21.10.1_amd64.deb
 ae183988b5c3cd78bed4f88e3143d8fbbecbbd29 17240684 libcoq-ocaml-dev_8.11~git~202206232325+20980-0~daily331-bebc99540f~ubuntu21.10.1_amd64.deb
 0da5f8ae86c16e695ed4f8f5e5e79bfaf8cc97f8 9589612 libcoq-ocaml_8.11~git~202206232325+20980-0~daily331-bebc99540f~ubuntu21.10.1_amd64.deb
Checksums-Sha256:
 b82cee38abb106738c805efd9efcf44084de522116eaea3fc46db2266ffade40 25036512 coq-theories_8.11~git~202206232325+20980-0~daily331-bebc99540f~ubuntu21.10.1_amd64.deb
 6a68b8ef17b6b1a81b669efdff3068c6baa1e5e9c70526dabcc09fdfb1fa566e 19020 coq_8.11~git~202206232325+20980-0~daily331-bebc99540f~ubuntu21.10.1_amd64.buildinfo
 93e22f205f54433ee912ae585458c5634e12dd9f15cf005cd5f7ad73c89b8e66 35804020 coq_8.11~git~202206232325+20980-0~daily331-bebc99540f~ubuntu21.10.1_amd64.deb
 1d93946c4631038beca3d22bb5e03ad6cdbbd5177a1afb28c751a01ee10146d7 12867240 coqide_8.11~git~202206232325+20980-0~daily331-bebc99540f~ubuntu21.10.1_amd64.deb
 6d6ffdcaed3828179600e80b9b2bfd426c31601a0ca6c7530521987ee6e99ab2 17240684 libcoq-ocaml-dev_8.11~git~202206232325+20980-0~daily331-bebc99540f~ubuntu21.10.1_amd64.deb
 b4b1aa0aea15bc845b2245a0d7fb16b8482d297febed97c8da0db6c5a893023b 9589612 libcoq-ocaml_8.11~git~202206232325+20980-0~daily331-bebc99540f~ubuntu21.10.1_amd64.deb
Files:
 7971c6aec7355ff182687f7344b0c3b4 25036512 math optional coq-theories_8.11~git~202206232325+20980-0~daily331-bebc99540f~ubuntu21.10.1_amd64.deb
 92bd62e4df8810424336ca716545dfa8 19020 math optional coq_8.11~git~202206232325+20980-0~daily331-bebc99540f~ubuntu21.10.1_amd64.buildinfo
 b766574359ff157ffc43f46840e14f2d 35804020 math optional coq_8.11~git~202206232325+20980-0~daily331-bebc99540f~ubuntu21.10.1_amd64.deb
 2922129390db1e237fd63c8133846f86 12867240 math optional coqide_8.11~git~202206232325+20980-0~daily331-bebc99540f~ubuntu21.10.1_amd64.deb
 6cfdc4862b38ff7e8b64c0191e850d49 17240684 ocaml optional libcoq-ocaml-dev_8.11~git~202206232325+20980-0~daily331-bebc99540f~ubuntu21.10.1_amd64.deb
 1f61b378f7f40a3cf05ac75b2c522aab 9589612 ocaml optional libcoq-ocaml_8.11~git~202206232325+20980-0~daily331-bebc99540f~ubuntu21.10.1_amd64.deb