Format: 1.8
Date: Fri, 03 Nov 2017 15:05:45 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: amd64
Version: 8.7~git~201711031505+18375-0~daily306~ubuntu16.04.1
Distribution: xenial
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lcy01-amd64-025.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.7~git~201711031505+18375-0~daily306~ubuntu16.04.1) xenial; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 18b6b93f25dc741708a35a247de4a5b6559f9655 20224736 coq-theories_8.7~git~201711031505+18375-0~daily306~ubuntu16.04.1_amd64.deb
 57b815cdd42bcdf2de4918f246afd11172ad9933 4576000 coq_8.7~git~201711031505+18375-0~daily306~ubuntu16.04.1_amd64.deb
 1052fb1aca3da49869260f1e1660152da9ff3e22 888692 coqide_8.7~git~201711031505+18375-0~daily306~ubuntu16.04.1_amd64.deb
 4ca491b3ac7516061664628982d2c3e2b60a7f6a 7475596 libcoq-ocaml-dev_8.7~git~201711031505+18375-0~daily306~ubuntu16.04.1_amd64.deb
 1e209f8295d9ca99da56676761e921e0e7a89385 5553560 libcoq-ocaml_8.7~git~201711031505+18375-0~daily306~ubuntu16.04.1_amd64.deb
Checksums-Sha256:
 d1bfd3e8d00ab4a3f20d48f9031fc47c2f3f25a12ef52ea7bbe280a316338deb 20224736 coq-theories_8.7~git~201711031505+18375-0~daily306~ubuntu16.04.1_amd64.deb
 884824364af990604586d241b1956541e2090e152542bb78545ce66423c1b607 4576000 coq_8.7~git~201711031505+18375-0~daily306~ubuntu16.04.1_amd64.deb
 4443b69214b19be55716ca074ae6c09f6b09e9cea090fe9cb482fa468cba2bcb 888692 coqide_8.7~git~201711031505+18375-0~daily306~ubuntu16.04.1_amd64.deb
 cdea440c009770916d0d2a62265064161c4d9ffef2805adf13bad214b8aa975f 7475596 libcoq-ocaml-dev_8.7~git~201711031505+18375-0~daily306~ubuntu16.04.1_amd64.deb
 ecccb20d55bb36279a852a97be162429969d2d14d7a658df40f2c40424747f93 5553560 libcoq-ocaml_8.7~git~201711031505+18375-0~daily306~ubuntu16.04.1_amd64.deb
Files:
 afa7afc520ce3994e9f910e7a726ce95 20224736 math optional coq-theories_8.7~git~201711031505+18375-0~daily306~ubuntu16.04.1_amd64.deb
 c5e3893cc63e499bd984f0ccb9d8176d 4576000 math optional coq_8.7~git~201711031505+18375-0~daily306~ubuntu16.04.1_amd64.deb
 466fcda8c237d0cda31165554c8c519b 888692 math optional coqide_8.7~git~201711031505+18375-0~daily306~ubuntu16.04.1_amd64.deb
 c438ec253b8024adec533854610fd97e 7475596 ocaml optional libcoq-ocaml-dev_8.7~git~201711031505+18375-0~daily306~ubuntu16.04.1_amd64.deb
 05ba7a700bdedac266fd53d3037d0079 5553560 ocaml optional libcoq-ocaml_8.7~git~201711031505+18375-0~daily306~ubuntu16.04.1_amd64.deb