Format: 1.8
Date: Fri, 29 Aug 2014 10:47:00 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: amd64
Version: 8.5~git~201408291046+15624-0~daily277~ubuntu14.10.1
Distribution: utopic
Urgency: low
Maintainer: Ubuntu Build Daemon <buildd@lcy01-02.buildd>
Changed-By: Edward Z. Yang <ezyang@cs.stanford.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.5~git~201408291046+15624-0~daily277~ubuntu14.10.1) utopic; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 0e8f85e74c78946469e0d29135f52e11ec2bd6bc 4884932 coq_8.5~git~201408291046+15624-0~daily277~ubuntu14.10.1_amd64.deb
 a67fcfea3410cbca75eb54787db9c415b8226fb1 936338 coqide_8.5~git~201408291046+15624-0~daily277~ubuntu14.10.1_amd64.deb
 1ca30c5bdbf9213595294094a0603ea72fcd5753 1127084 libcoq-ocaml_8.5~git~201408291046+15624-0~daily277~ubuntu14.10.1_amd64.deb
 d65c87f6036c9557948f9d602a9b23f41e0dfb3c 13072564 libcoq-ocaml-dev_8.5~git~201408291046+15624-0~daily277~ubuntu14.10.1_amd64.deb
Checksums-Sha256:
 f04e51d3b79053fecc44ec054bbe23a2c48a2452d3582c3cdc31e9d91a7dc5e0 4884932 coq_8.5~git~201408291046+15624-0~daily277~ubuntu14.10.1_amd64.deb
 56416c5f33be247783fb2de89753a72714435bf603f23620308a49bd5c7b6203 936338 coqide_8.5~git~201408291046+15624-0~daily277~ubuntu14.10.1_amd64.deb
 e03a54baf4bd21839af6e5adb7bbc9db669c8cfd6b67eed9e18da86005f0b672 1127084 libcoq-ocaml_8.5~git~201408291046+15624-0~daily277~ubuntu14.10.1_amd64.deb
 61dc01cd395832d93fc266531c39891a9f884e1f5e3f90571f86ea2dad641611 13072564 libcoq-ocaml-dev_8.5~git~201408291046+15624-0~daily277~ubuntu14.10.1_amd64.deb
Files:
 bcdcc62cabda69150692c96968165abb 4884932 math optional coq_8.5~git~201408291046+15624-0~daily277~ubuntu14.10.1_amd64.deb
 70effb37ecf9bcd51b0c7516e74a4b05 936338 math optional coqide_8.5~git~201408291046+15624-0~daily277~ubuntu14.10.1_amd64.deb
 7fd3bdacabcfce36bcdf68e6027f38c0 1127084 ocaml optional libcoq-ocaml_8.5~git~201408291046+15624-0~daily277~ubuntu14.10.1_amd64.deb
 8312173dc46a1bdf9632a84525b49821 13072564 ocaml optional libcoq-ocaml-dev_8.5~git~201408291046+15624-0~daily277~ubuntu14.10.1_amd64.deb