Format: 1.8
Date: Mon, 16 Sep 2019 12:04:15 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source
Version: 8.10~git~201909161204+20477-0~daily324-6250503~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.10~git~201909161204+20477-0~daily324-6250503~ubuntu14.04.1) trusty; urgency=low
 .
   * Auto build.
Checksums-Sha1: 
 105aa26c9f2fa2003a32b5ab8f79c8705e183886 1362 coq_8.10~git~201909161204+20477-0~daily324-6250503~ubuntu14.04.1.dsc
 3f40c5a7bba974613d6a5a8ca195a6ccdaccb161 6396466 coq_8.10~git~201909161204+20477-0~daily324-6250503~ubuntu14.04.1.tar.gz
Checksums-Sha256: 
 ace1421d40785948af4080230731ced66b916a01c10a2759c33d2b0b2e449798 1362 coq_8.10~git~201909161204+20477-0~daily324-6250503~ubuntu14.04.1.dsc
 18222fc68528bb98ed86f12a13ffd2c1646622396f8a5c25703cdcec7811c01b 6396466 coq_8.10~git~201909161204+20477-0~daily324-6250503~ubuntu14.04.1.tar.gz
Files: 
 c2659abc2a2433591de9d17e2ee342b2 1362 math optional coq_8.10~git~201909161204+20477-0~daily324-6250503~ubuntu14.04.1.dsc
 402193fa81da65e56e67857868e5c01e 6396466 math optional coq_8.10~git~201909161204+20477-0~daily324-6250503~ubuntu14.04.1.tar.gz