Format: 1.8
Date: Wed, 03 Feb 2021 14:46:04 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source
Version: 8.11~git~202102031446+20979-0~daily334-06b2f46bd1~ubuntu12.04.1
Distribution: precise
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~202102031446+20979-0~daily334-06b2f46bd1~ubuntu12.04.1) precise; urgency=low
 .
   * Auto build.
Checksums-Sha1: 
 448b28b3fc8347545fdedafcda596f444a4f09bf 1396 coq_8.11~git~202102031446+20979-0~daily334-06b2f46bd1~ubuntu12.04.1.dsc
 06a2b716d3ef0c38f4727b868383dbf83f6b49e2 6758829 coq_8.11~git~202102031446+20979-0~daily334-06b2f46bd1~ubuntu12.04.1.tar.gz
Checksums-Sha256: 
 92e6ea0a5c4ec258101591c97455cc499d446db89807fc78fa85e12e6c9327d2 1396 coq_8.11~git~202102031446+20979-0~daily334-06b2f46bd1~ubuntu12.04.1.dsc
 a32ee054c0b53c915cda8a3f932ec05c5d6cc8f6a47f234f85c152e10d740158 6758829 coq_8.11~git~202102031446+20979-0~daily334-06b2f46bd1~ubuntu12.04.1.tar.gz
Files: 
 f44c2349ca1b35bab87911db4215e645 1396 math optional coq_8.11~git~202102031446+20979-0~daily334-06b2f46bd1~ubuntu12.04.1.dsc
 7fe7350d8a5ceabed8c028fc499f4fb1 6758829 math optional coq_8.11~git~202102031446+20979-0~daily334-06b2f46bd1~ubuntu12.04.1.tar.gz