Format: 1.8
Date: Sun, 27 Jul 2014 20:17:07 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: amd64
Version: 8.5~git~201407272016+15382-0~daily277~ubuntu14.04.1
Distribution: trusty
Urgency: low
Maintainer: Ubuntu Build Daemon <buildd@chindi.ppa>
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~201407272016+15382-0~daily277~ubuntu14.04.1) trusty; urgency=low
 .
   * Auto build.
Checksums-Sha1: 
 01f49d5d8760f627693564a6e786d725c8dc02cf 4734380 coq_8.5~git~201407272016+15382-0~daily277~ubuntu14.04.1_amd64.deb
 eefa1accd410633d1493ad9307e5a27042d8f2ac 937370 coqide_8.5~git~201407272016+15382-0~daily277~ubuntu14.04.1_amd64.deb
 6453a6ceb8cdedb86a138de3257946cf8fef779a 1116396 libcoq-ocaml_8.5~git~201407272016+15382-0~daily277~ubuntu14.04.1_amd64.deb
 73e7fd8f44e416843df845fec57a461417fcaf22 13239472 libcoq-ocaml-dev_8.5~git~201407272016+15382-0~daily277~ubuntu14.04.1_amd64.deb
Checksums-Sha256: 
 a4d44dddbe282673ce94a38aa8ff7e14ddc8facf26a65194f6affcf81cdf5b3f 4734380 coq_8.5~git~201407272016+15382-0~daily277~ubuntu14.04.1_amd64.deb
 9111e04933bd32afc9e058a6867c021330332a5dbc6e6361f0b61eedb3e63647 937370 coqide_8.5~git~201407272016+15382-0~daily277~ubuntu14.04.1_amd64.deb
 70e6a2e5a50603f92bd6dff7042858ba1e8887c88c0d2576e223d1afaa52ffe5 1116396 libcoq-ocaml_8.5~git~201407272016+15382-0~daily277~ubuntu14.04.1_amd64.deb
 4dea0b18dec34167cb26af201e2ef8d6845b93ba5cf14f72ed08fb6d23e863b1 13239472 libcoq-ocaml-dev_8.5~git~201407272016+15382-0~daily277~ubuntu14.04.1_amd64.deb
Files: 
 f03692bdf7ce5523da8a54a304d7670d 4734380 math optional coq_8.5~git~201407272016+15382-0~daily277~ubuntu14.04.1_amd64.deb
 00baf2462f746d5bb0a0ccaceb03cfa8 937370 math optional coqide_8.5~git~201407272016+15382-0~daily277~ubuntu14.04.1_amd64.deb
 05cd383d29a501e08b59cf444d4856d6 1116396 ocaml optional libcoq-ocaml_8.5~git~201407272016+15382-0~daily277~ubuntu14.04.1_amd64.deb
 f549be9dc19be78f58bded1c9f439f27 13239472 ocaml optional libcoq-ocaml-dev_8.5~git~201407272016+15382-0~daily277~ubuntu14.04.1_amd64.deb