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: source
Version: 8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu16.04.1
Distribution: xenial
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
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:
 978941e07cfce2e56fd82c3e0c4ca49fdc9bac7e 1515 coq_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu16.04.1.dsc
 3b6d5da6fc8446091c109b09cb9d8d2ebdcf1799 4477180 coq_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu16.04.1.tar.xz
Checksums-Sha256:
 b9d0c114dff323c01e2e3cd1bcb73eff262aa8c8fb76725add9aa0432bc2d179 1515 coq_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu16.04.1.dsc
 2c6753426c5546695b4d0e064bf29b129b977c7ae94394a308f1d2e0ee030d01 4477180 coq_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu16.04.1.tar.xz
Files:
 f71d2f46af9258dd6a0e1721aa2ee8b4 1515 math optional coq_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu16.04.1.dsc
 1322e319865c8fd5b1ea85c86ad50769 4477180 math optional coq_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu16.04.1.tar.xz