Format: 1.8
Date: Thu, 23 Jun 2022 23:26:24 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source
Version: 8.11~git~202206232326+20980-0~daily334-bebc99540f~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.11~git~202206232326+20980-0~daily334-bebc99540f~ubuntu16.04.1) xenial; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 0f2d2edc77195bba0c83486065570ae2cedb9566 1437 coq_8.11~git~202206232326+20980-0~daily334-bebc99540f~ubuntu16.04.1.dsc
 528a52885fac6a05fbbba884390691ecdd5a31be 4938912 coq_8.11~git~202206232326+20980-0~daily334-bebc99540f~ubuntu16.04.1.tar.xz
Checksums-Sha256:
 a8bcd4b6d742290fba859d469f77e4c00dc9256ca1de221804b8848661ec6978 1437 coq_8.11~git~202206232326+20980-0~daily334-bebc99540f~ubuntu16.04.1.dsc
 16775c66e970faa7c36f6b082f65f1d00ad378bf02efac2289380e941c9c91f4 4938912 coq_8.11~git~202206232326+20980-0~daily334-bebc99540f~ubuntu16.04.1.tar.xz
Files:
 db937d0747f1ee0e0531e14361f2140d 1437 math optional coq_8.11~git~202206232326+20980-0~daily334-bebc99540f~ubuntu16.04.1.dsc
 11aea53879ff0153748d83d97a4ea56a 4938912 math optional coq_8.11~git~202206232326+20980-0~daily334-bebc99540f~ubuntu16.04.1.tar.xz