Format: 1.8
Date: Wed, 25 Oct 2017 09:11:43 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: amd64
Version: 8.master~git~201710250911+18429-0~daily306~ubuntu17.10.1
Distribution: artful
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lcy01-29.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~201710250911+18429-0~daily306~ubuntu17.10.1) artful; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 b107da5f678a22a3c2b50084800a167155d9d548 20377682 coq-theories_8.master~git~201710250911+18429-0~daily306~ubuntu17.10.1_amd64.deb
 9aac5ce95c3e3260d3e8c6945f2cdf3bba9fbbdc 14344 coq_8.master~git~201710250911+18429-0~daily306~ubuntu17.10.1_amd64.buildinfo
 9a96bd7aad1c080d257382f1967865450d84174c 6257478 coq_8.master~git~201710250911+18429-0~daily306~ubuntu17.10.1_amd64.deb
 0aff7f7b2dc37ff6b2abb2d174a690911a689577 1155100 coqide_8.master~git~201710250911+18429-0~daily306~ubuntu17.10.1_amd64.deb
 691e29824e76aab060fc225e46907be1eeac0aee 9127912 libcoq-ocaml-dev_8.master~git~201710250911+18429-0~daily306~ubuntu17.10.1_amd64.deb
 fb1aa954898632f82a88e0b4fc1975a76be5565e 7026060 libcoq-ocaml_8.master~git~201710250911+18429-0~daily306~ubuntu17.10.1_amd64.deb
Checksums-Sha256:
 12040125ad1b9bb2791e17651ef60c6589b96cddb1323fd8d44c7c43f5f28a09 20377682 coq-theories_8.master~git~201710250911+18429-0~daily306~ubuntu17.10.1_amd64.deb
 828349d269a9b84800137f62167ff2624f89dc328ef9f6ab63e6de06231a31c9 14344 coq_8.master~git~201710250911+18429-0~daily306~ubuntu17.10.1_amd64.buildinfo
 7b1b2a804361cc60f04d97025afdd859647a8ff56fb3cfbc11358183681fcb79 6257478 coq_8.master~git~201710250911+18429-0~daily306~ubuntu17.10.1_amd64.deb
 cf1c93607ff04c307bb131ad1136340a38bea7b77dc53cf74a2aeaa5843cf3f3 1155100 coqide_8.master~git~201710250911+18429-0~daily306~ubuntu17.10.1_amd64.deb
 48cb857e804d8627cfb4e1924c9c6c83df6c870fbdfcffcbe41627236bc4b6f0 9127912 libcoq-ocaml-dev_8.master~git~201710250911+18429-0~daily306~ubuntu17.10.1_amd64.deb
 03680985c946a79d1a1991cc53cee54af8861af006d5b80af1b602de2ad6157f 7026060 libcoq-ocaml_8.master~git~201710250911+18429-0~daily306~ubuntu17.10.1_amd64.deb
Files:
 4d30abcbeb2eadcc825e787b074a2619 20377682 math optional coq-theories_8.master~git~201710250911+18429-0~daily306~ubuntu17.10.1_amd64.deb
 7c57a408e9458ed2e910f2142d5bec19 14344 math optional coq_8.master~git~201710250911+18429-0~daily306~ubuntu17.10.1_amd64.buildinfo
 0f5ba2574db0c14409bb62d64d6ebd72 6257478 math optional coq_8.master~git~201710250911+18429-0~daily306~ubuntu17.10.1_amd64.deb
 2dba0aaf263972f0fece3e7dbe64dbf5 1155100 math optional coqide_8.master~git~201710250911+18429-0~daily306~ubuntu17.10.1_amd64.deb
 a133cbadcc5c806c33bee4d3c1bbd991 9127912 ocaml optional libcoq-ocaml-dev_8.master~git~201710250911+18429-0~daily306~ubuntu17.10.1_amd64.deb
 6292b85d5b9439e42238724ab3c7ad7f 7026060 ocaml optional libcoq-ocaml_8.master~git~201710250911+18429-0~daily306~ubuntu17.10.1_amd64.deb