Format: 1.8
Date: Tue, 12 Sep 2017 03:29:21 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: i386
Version: 8.7~git~201709120329+18276-0~daily306~ubuntu17.10.1
Distribution: artful
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@lgw01-25.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~201709120329+18276-0~daily306~ubuntu17.10.1) artful; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 2f9ad5417b10bec2fe3af8e3f53a6e36049eebb8 20414402 coq-theories_8.7~git~201709120329+18276-0~daily306~ubuntu17.10.1_i386.deb
 2d9368cebd22581f169dfc91eb11e824c2ae07f8 14155 coq_8.7~git~201709120329+18276-0~daily306~ubuntu17.10.1_i386.buildinfo
 420810107e44df993336fcbb9014d135eb53d65a 5503684 coq_8.7~git~201709120329+18276-0~daily306~ubuntu17.10.1_i386.deb
 d4623bd44694b295fb1c621fbcdd186264be37b2 1027522 coqide_8.7~git~201709120329+18276-0~daily306~ubuntu17.10.1_i386.deb
 1e1b7308d33157df5e1dd8002cef0945ec7b5722 8874946 libcoq-ocaml-dev_8.7~git~201709120329+18276-0~daily306~ubuntu17.10.1_i386.deb
 5c2e08188955e3259d006dd9355cf564e6f5c24d 5863238 libcoq-ocaml_8.7~git~201709120329+18276-0~daily306~ubuntu17.10.1_i386.deb
Checksums-Sha256:
 ec011b556dfb9dd7cd7cbb82ee8b1392a8f083dc890e9e41841cf7db89e24dff 20414402 coq-theories_8.7~git~201709120329+18276-0~daily306~ubuntu17.10.1_i386.deb
 1bd6510f7aa3c77f1605a5a7774a5ab1d5576e983947012768c8eaecaf1a2235 14155 coq_8.7~git~201709120329+18276-0~daily306~ubuntu17.10.1_i386.buildinfo
 f7fce4317b8c97b5bc77c56c66af8a29f48ff1ecf5e65f5b76a0c89f342787ec 5503684 coq_8.7~git~201709120329+18276-0~daily306~ubuntu17.10.1_i386.deb
 9090dc5af3c1ea656c778f0452566dee84769477246e36a3ba3183484d37043e 1027522 coqide_8.7~git~201709120329+18276-0~daily306~ubuntu17.10.1_i386.deb
 0098479c021a443517a8ee30947d6cb280072b23c65efdfcc4909b10c78c7db7 8874946 libcoq-ocaml-dev_8.7~git~201709120329+18276-0~daily306~ubuntu17.10.1_i386.deb
 01d17d5b8de8074cf94b7687398314746a61ab9506f9451b5be3653c0bd3e2f9 5863238 libcoq-ocaml_8.7~git~201709120329+18276-0~daily306~ubuntu17.10.1_i386.deb
Files:
 7e3bd58b9c651f8f8bd3bda00b1663cd 20414402 math optional coq-theories_8.7~git~201709120329+18276-0~daily306~ubuntu17.10.1_i386.deb
 2b2c3196097b18c91c519b8ca0d4d0bb 14155 math optional coq_8.7~git~201709120329+18276-0~daily306~ubuntu17.10.1_i386.buildinfo
 93fd69a0e955070cd6d37b6977dcfa11 5503684 math optional coq_8.7~git~201709120329+18276-0~daily306~ubuntu17.10.1_i386.deb
 6e51a39a6dc461143edaaebb0892cceb 1027522 math optional coqide_8.7~git~201709120329+18276-0~daily306~ubuntu17.10.1_i386.deb
 9ed3a9a6b2ad3ab7769f5379be9432c1 8874946 ocaml optional libcoq-ocaml-dev_8.7~git~201709120329+18276-0~daily306~ubuntu17.10.1_i386.deb
 6a516a5f7ade57032d1469f992c449dc 5863238 ocaml optional libcoq-ocaml_8.7~git~201709120329+18276-0~daily306~ubuntu17.10.1_i386.deb