Format: 1.8
Date: Thu, 23 Jun 2022 23:26:46 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source
Version: 8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu14.04.1
Distribution: trusty
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~ubuntu14.04.1) trusty; urgency=low
 .
   * Auto build.
Checksums-Sha1: 
 f998501a84eee5e7d8b9faf5fa995af18ebdfec8 1474 coq_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu14.04.1.dsc
 0eaf2e5125c6c9a2c6092ecee546ff7850496f14 6122900 coq_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu14.04.1.tar.gz
Checksums-Sha256: 
 8814508152c03878aec7f2c22444bf5af38d27b415f10356d1833f1bb2cd9fbc 1474 coq_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu14.04.1.dsc
 92b0525793baeea95c3aa321ccc98f6352a07299da77ba4b3c681b3da55003d1 6122900 coq_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu14.04.1.tar.gz
Files: 
 a641283e4ee2a29968cbf9bf18a66e9f 1474 math optional coq_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu14.04.1.dsc
 f31ca4cecbad56c989ddf9e4424d8a38 6122900 math optional coq_8.8~git~202206232326+19177-0~daily310-9632df583a~ubuntu14.04.1.tar.gz