Format: 1.8
Date: Mon, 11 Sep 2017 13:35:04 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: amd64
Version: 8.master~git~201709111335+18302-0~daily306~ubuntu15.04.1
Distribution: vivid
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~201709111335+18302-0~daily306~ubuntu15.04.1) vivid; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 4f0f1d2d389bb11fa56bf2845bd5e6693f381c3e 4445258 coq_8.master~git~201709111335+18302-0~daily306~ubuntu15.04.1_amd64.deb
 174d2effeb558abda2492e8da40875316e64f06a 891532 coqide_8.master~git~201709111335+18302-0~daily306~ubuntu15.04.1_amd64.deb
 15602aca16222bb18d7e28a7dc6b0bf5f960565f 20278900 coq-theories_8.master~git~201709111335+18302-0~daily306~ubuntu15.04.1_amd64.deb
 944e36214fdb0c6587f4c0d41602d5e9a98abb4e 5530458 libcoq-ocaml_8.master~git~201709111335+18302-0~daily306~ubuntu15.04.1_amd64.deb
 2ac4cecdb26139f64434bfa6a1c852308c2dea22 7661786 libcoq-ocaml-dev_8.master~git~201709111335+18302-0~daily306~ubuntu15.04.1_amd64.deb
Checksums-Sha256:
 b51e0cde9da1c60f78994d866a5afc817859e7cf69aaef81908600b005389979 4445258 coq_8.master~git~201709111335+18302-0~daily306~ubuntu15.04.1_amd64.deb
 5d7afd9810236231b11fbe8bbc212893060e1506ae558904fa229156ad953154 891532 coqide_8.master~git~201709111335+18302-0~daily306~ubuntu15.04.1_amd64.deb
 24278b5d0d7f414f46d73b7695348ab3facbf34e30825e2ecd272936d515c340 20278900 coq-theories_8.master~git~201709111335+18302-0~daily306~ubuntu15.04.1_amd64.deb
 14b98a04fe419e360cbc7c75ac8ff43efd2181e6a98032a89924db488539c0e7 5530458 libcoq-ocaml_8.master~git~201709111335+18302-0~daily306~ubuntu15.04.1_amd64.deb
 037665f1f85407f3b3af43bd484275b99a65e7dbfccf8392352a30c217870df8 7661786 libcoq-ocaml-dev_8.master~git~201709111335+18302-0~daily306~ubuntu15.04.1_amd64.deb
Files:
 c3ca63fc934fac85ca94123042520468 4445258 math optional coq_8.master~git~201709111335+18302-0~daily306~ubuntu15.04.1_amd64.deb
 196a34af45d607b7bebadec9740986d4 891532 math optional coqide_8.master~git~201709111335+18302-0~daily306~ubuntu15.04.1_amd64.deb
 ae643dffe219d16700667bfeb0657deb 20278900 math optional coq-theories_8.master~git~201709111335+18302-0~daily306~ubuntu15.04.1_amd64.deb
 389d9b515cd65e12e82d42dbaa49e2e3 5530458 ocaml optional libcoq-ocaml_8.master~git~201709111335+18302-0~daily306~ubuntu15.04.1_amd64.deb
 433e5502594d4122d2f3d0a6db685d45 7661786 ocaml optional libcoq-ocaml-dev_8.master~git~201709111335+18302-0~daily306~ubuntu15.04.1_amd64.deb