Format: 1.8
Date: Mon, 11 Sep 2017 13:44:05 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: amd64
Version: 8.master~git~201709111344+18302-0~daily303~ubuntu12.04.1
Distribution: precise
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lgw01-01.buildd>
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.master~git~201709111344+18302-0~daily303~ubuntu12.04.1) precise; urgency=low
 .
   * Auto build.
Checksums-Sha1: 
 0f23564d793179aeca18dde07c1d45bc3d962f88 7893764 coq_8.master~git~201709111344+18302-0~daily303~ubuntu12.04.1_amd64.deb
 5c66199511a15f1416b9e0c7ec7e43d81d4bff06 1424960 coqide_8.master~git~201709111344+18302-0~daily303~ubuntu12.04.1_amd64.deb
 9e32e55406346f9a67fa48c7112d446a65423110 33346520 coq-theories_8.master~git~201709111344+18302-0~daily303~ubuntu12.04.1_amd64.deb
 91b52a4025def42f54861380652b1985eca12177 10060914 libcoq-ocaml_8.master~git~201709111344+18302-0~daily303~ubuntu12.04.1_amd64.deb
 e575de8e605bc024acf8146e0c8ac57b124eaca1 14150932 libcoq-ocaml-dev_8.master~git~201709111344+18302-0~daily303~ubuntu12.04.1_amd64.deb
Checksums-Sha256: 
 afae71343c78594b4d682fa251638d359ba5d3c583b2acaf1a0fdbae48038331 7893764 coq_8.master~git~201709111344+18302-0~daily303~ubuntu12.04.1_amd64.deb
 b9aa785da4bf60db9ca2b90242eaac4ca75d8db57605b26915c262368956bcc3 1424960 coqide_8.master~git~201709111344+18302-0~daily303~ubuntu12.04.1_amd64.deb
 61ea6f82ba672a4425aa903494792abc092af45555d74769c720750ed8b4b002 33346520 coq-theories_8.master~git~201709111344+18302-0~daily303~ubuntu12.04.1_amd64.deb
 818578ab05807cf83aa27d549feb45e40838c89466b9f4e437c69f5e03fe3d31 10060914 libcoq-ocaml_8.master~git~201709111344+18302-0~daily303~ubuntu12.04.1_amd64.deb
 f1909dee74c42a13b8094f57c36ac2289418f43b19d3a5bbf902aaa1d04e768d 14150932 libcoq-ocaml-dev_8.master~git~201709111344+18302-0~daily303~ubuntu12.04.1_amd64.deb
Files: 
 83ef138ba49e3055ceb54ab69cdef312 7893764 math optional coq_8.master~git~201709111344+18302-0~daily303~ubuntu12.04.1_amd64.deb
 5a7843ca334992d68dd77e75dbb82fa2 1424960 math optional coqide_8.master~git~201709111344+18302-0~daily303~ubuntu12.04.1_amd64.deb
 d1c58c7e196df4d30e4fc08d621668ea 33346520 math optional coq-theories_8.master~git~201709111344+18302-0~daily303~ubuntu12.04.1_amd64.deb
 324bd4f3e7d716f088fe0b297e8f5150 10060914 ocaml optional libcoq-ocaml_8.master~git~201709111344+18302-0~daily303~ubuntu12.04.1_amd64.deb
 83faf01ed396d3d81ba0ec8822ad1180 14150932 ocaml optional libcoq-ocaml-dev_8.master~git~201709111344+18302-0~daily303~ubuntu12.04.1_amd64.deb