Format: 1.8
Date: Wed, 03 Feb 2021 14:41:06 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source
Version: 8.8~git~202102031441+19176-0~daily310-0ed45a5994~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.8~git~202102031441+19176-0~daily310-0ed45a5994~ubuntu12.04.1) precise; urgency=low
 .
   * Auto build.
Checksums-Sha1: 
 cc289b6b8acac460b5b8dd6bfcada72e5bd6b013 1474 coq_8.8~git~202102031441+19176-0~daily310-0ed45a5994~ubuntu12.04.1.dsc
 245e29ab3c2acf8d0ff7e882239b94167e507cc3 6120502 coq_8.8~git~202102031441+19176-0~daily310-0ed45a5994~ubuntu12.04.1.tar.gz
Checksums-Sha256: 
 596f159a9b54308aeef643cc8fc717ecfbc697acbcc320704c910c1f770f9fa7 1474 coq_8.8~git~202102031441+19176-0~daily310-0ed45a5994~ubuntu12.04.1.dsc
 ca30ffe4e2add1117ff0818f87708c86af21b21776f491300375e972d252fae5 6120502 coq_8.8~git~202102031441+19176-0~daily310-0ed45a5994~ubuntu12.04.1.tar.gz
Files: 
 c011f74b3b3e9ac762ede6c56d3e2491 1474 math optional coq_8.8~git~202102031441+19176-0~daily310-0ed45a5994~ubuntu12.04.1.dsc
 38fb2d53be24d5f6ed0c47506cf6b700 6120502 math optional coq_8.8~git~202102031441+19176-0~daily310-0ed45a5994~ubuntu12.04.1.tar.gz