Format: 1.8
Date: Fri, 13 Mar 2020 23:19:24 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: amd64
Version: 8.10~git~202003132319+20527-0~daily327-dca7b1d~ubuntu18.04.1
Distribution: bionic
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lcy01-amd64-006.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.10~git~202003132319+20527-0~daily327-dca7b1d~ubuntu18.04.1) bionic; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 bf40d438988f44583c16cc48679ecad19baed1f2 21686944 coq-theories_8.10~git~202003132319+20527-0~daily327-dca7b1d~ubuntu18.04.1_amd64.deb
 6b23b8e61d3e68c61e327654746cd90389190c57 10911 coq_8.10~git~202003132319+20527-0~daily327-dca7b1d~ubuntu18.04.1_amd64.buildinfo
 130fe924ba75ce0c8e7c6cd63a6ba63863db0016 27261692 coq_8.10~git~202003132319+20527-0~daily327-dca7b1d~ubuntu18.04.1_amd64.deb
 a378a4230b35b598b2e3a574fa446bc39e9f09a5 9708 coqide_8.10~git~202003132319+20527-0~daily327-dca7b1d~ubuntu18.04.1_amd64.deb
 86a118f06ab5a3edb950eb13c555273aaac63a89 11373512 libcoq-ocaml-dev_8.10~git~202003132319+20527-0~daily327-dca7b1d~ubuntu18.04.1_amd64.deb
 7782f26d45a6927081cac1edffe4d33ea369c0cd 7269504 libcoq-ocaml_8.10~git~202003132319+20527-0~daily327-dca7b1d~ubuntu18.04.1_amd64.deb
Checksums-Sha256:
 4b24c34676bf088ce627df2261f9a5ada3061eb6c36b35a3ae17781e9f682005 21686944 coq-theories_8.10~git~202003132319+20527-0~daily327-dca7b1d~ubuntu18.04.1_amd64.deb
 13e5e9065ed5af20dc66556aa0bc6b568288626eabe61f8df9e31106502a3100 10911 coq_8.10~git~202003132319+20527-0~daily327-dca7b1d~ubuntu18.04.1_amd64.buildinfo
 6998ed95e67116b65cd7134ecb4efdba3514b47a2371fe072ea7c3b50052f722 27261692 coq_8.10~git~202003132319+20527-0~daily327-dca7b1d~ubuntu18.04.1_amd64.deb
 1faa0729d291a7e41ce9bf864b121c9ae11b14c38ce77886ab89c41a6fc86229 9708 coqide_8.10~git~202003132319+20527-0~daily327-dca7b1d~ubuntu18.04.1_amd64.deb
 2766be2c8ad2e389917b8008e16012e8408e2d7295449787243e86ec8728d0a1 11373512 libcoq-ocaml-dev_8.10~git~202003132319+20527-0~daily327-dca7b1d~ubuntu18.04.1_amd64.deb
 b01cdb614360ff4484255f3704dbda3c8ea2614a0b376c56b58d83a3837e59ea 7269504 libcoq-ocaml_8.10~git~202003132319+20527-0~daily327-dca7b1d~ubuntu18.04.1_amd64.deb
Files:
 10c805ec0b09c77f5f2f5a94bf1e44bb 21686944 math optional coq-theories_8.10~git~202003132319+20527-0~daily327-dca7b1d~ubuntu18.04.1_amd64.deb
 f5a670dd498f448e7d744295aba604ef 10911 math optional coq_8.10~git~202003132319+20527-0~daily327-dca7b1d~ubuntu18.04.1_amd64.buildinfo
 7bb293ee505fedb6566106258135e0fd 27261692 math optional coq_8.10~git~202003132319+20527-0~daily327-dca7b1d~ubuntu18.04.1_amd64.deb
 9ad2daf612c3fbd0f2f162c125ce8129 9708 math optional coqide_8.10~git~202003132319+20527-0~daily327-dca7b1d~ubuntu18.04.1_amd64.deb
 a40c6b0e3028ac749e73908d5a6362bf 11373512 ocaml optional libcoq-ocaml-dev_8.10~git~202003132319+20527-0~daily327-dca7b1d~ubuntu18.04.1_amd64.deb
 0a826aa4feb3fd26433724662ff79c85 7269504 ocaml optional libcoq-ocaml_8.10~git~202003132319+20527-0~daily327-dca7b1d~ubuntu18.04.1_amd64.deb