Format: 1.8
Date: Mon, 11 Sep 2017 13:38:38 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: amd64
Version: 8.master~git~201709111338+18302-0~daily306~ubuntu17.10.1
Distribution: artful
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lgw01-45.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~201709111338+18302-0~daily306~ubuntu17.10.1) artful; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 7cd492e68a99f743d7d7ed7a5097370d094698a8 20398656 coq-theories_8.master~git~201709111338+18302-0~daily306~ubuntu17.10.1_amd64.deb
 25593f3cd0db613e3616de4da01d1157e0dc611a 14319 coq_8.master~git~201709111338+18302-0~daily306~ubuntu17.10.1_amd64.buildinfo
 ba6708c38d864fc0ce29e07499e75d35b1983505 6202430 coq_8.master~git~201709111338+18302-0~daily306~ubuntu17.10.1_amd64.deb
 ec88778adbe2457133176c0d8682487d8aefbce9 1155268 coqide_8.master~git~201709111338+18302-0~daily306~ubuntu17.10.1_amd64.deb
 a71698cdc17689ed6bfc7705c2ab88c124c456a4 9134512 libcoq-ocaml-dev_8.master~git~201709111338+18302-0~daily306~ubuntu17.10.1_amd64.deb
 df5301fc29229ec20ad2c0a57439541107e5a0cb 7028480 libcoq-ocaml_8.master~git~201709111338+18302-0~daily306~ubuntu17.10.1_amd64.deb
Checksums-Sha256:
 ba8f5ec6cb58e3830d5e884ccccd89a31125c627386ec60d515686f3fb701ae8 20398656 coq-theories_8.master~git~201709111338+18302-0~daily306~ubuntu17.10.1_amd64.deb
 5026eec47efe15ef798f87225ea33696218e2a521c8f6733e6bb1c7d74aef684 14319 coq_8.master~git~201709111338+18302-0~daily306~ubuntu17.10.1_amd64.buildinfo
 603c7ae1bb075eba391eb423e71dcc3d92a395788bfbd35479bbe01d4415dd9a 6202430 coq_8.master~git~201709111338+18302-0~daily306~ubuntu17.10.1_amd64.deb
 b5510ea4a6fe83517ad4f2b083f737a240d4f62d780a2591a91e7ad1fd795746 1155268 coqide_8.master~git~201709111338+18302-0~daily306~ubuntu17.10.1_amd64.deb
 8d6d1a17f6658946254ec68ac13fb6f1b5e0919b44ccbbe2967b07ef0f6a7975 9134512 libcoq-ocaml-dev_8.master~git~201709111338+18302-0~daily306~ubuntu17.10.1_amd64.deb
 ecd83d6643675912b58f84948fd3c471b040c33211f16202b250611921f40473 7028480 libcoq-ocaml_8.master~git~201709111338+18302-0~daily306~ubuntu17.10.1_amd64.deb
Files:
 c3a83eca0b1f3895ca15f1c546e0fc4e 20398656 math optional coq-theories_8.master~git~201709111338+18302-0~daily306~ubuntu17.10.1_amd64.deb
 70b9515f08722ea8b08e9a3afec6f17b 14319 math optional coq_8.master~git~201709111338+18302-0~daily306~ubuntu17.10.1_amd64.buildinfo
 97f74c6ddd4c7927cce0313a0a5cb105 6202430 math optional coq_8.master~git~201709111338+18302-0~daily306~ubuntu17.10.1_amd64.deb
 2d805bca33faa1fc8b496a70c3a8adaf 1155268 math optional coqide_8.master~git~201709111338+18302-0~daily306~ubuntu17.10.1_amd64.deb
 507457db6f9d96f2042c5028e3d560e2 9134512 ocaml optional libcoq-ocaml-dev_8.master~git~201709111338+18302-0~daily306~ubuntu17.10.1_amd64.deb
 130dfb91511b3f1087711ced63f0b4ba 7028480 ocaml optional libcoq-ocaml_8.master~git~201709111338+18302-0~daily306~ubuntu17.10.1_amd64.deb