Format: 1.8
Date: Fri, 29 Aug 2014 10:46:19 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: amd64
Version: 8.5~git~201408291045+15624-0~daily277~ubuntu14.04.1
Distribution: trusty
Urgency: low
Maintainer: Ubuntu Build Daemon <buildd@lcy01-27.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~201408291045+15624-0~daily277~ubuntu14.04.1) trusty; urgency=low
 .
   * Auto build.
Checksums-Sha1: 
 04f80a33b38ff3090867f1a3d762cdc73fea7c6b 4876314 coq_8.5~git~201408291045+15624-0~daily277~ubuntu14.04.1_amd64.deb
 6679d74d4ddfa6707ff172208ef06454339157e4 935662 coqide_8.5~git~201408291045+15624-0~daily277~ubuntu14.04.1_amd64.deb
 27daab556132c5916c9d50fdb725e3941128bd4d 1127046 libcoq-ocaml_8.5~git~201408291045+15624-0~daily277~ubuntu14.04.1_amd64.deb
 4820b4547fb3f18feafe09de7d9c44147f5e832a 13065834 libcoq-ocaml-dev_8.5~git~201408291045+15624-0~daily277~ubuntu14.04.1_amd64.deb
Checksums-Sha256: 
 28f88bfaccb82547030af9dd4e032dc839f3d5d4e587261785dfe658f6a4400e 4876314 coq_8.5~git~201408291045+15624-0~daily277~ubuntu14.04.1_amd64.deb
 7ed038304508c384b60d0394d0210eab0c3dd113bc2d7884a52f26f21e030d75 935662 coqide_8.5~git~201408291045+15624-0~daily277~ubuntu14.04.1_amd64.deb
 7c506e82130cdbb4e273dc1866eee0299b45bb7ce278bf00c47076e9b68bb516 1127046 libcoq-ocaml_8.5~git~201408291045+15624-0~daily277~ubuntu14.04.1_amd64.deb
 be379e1215090cf0af1047110a85ae3a156fdc7103be8f166bfeeff2f892cf7d 13065834 libcoq-ocaml-dev_8.5~git~201408291045+15624-0~daily277~ubuntu14.04.1_amd64.deb
Files: 
 b5becfea3e4cb1a41dfd38e8dba59f98 4876314 math optional coq_8.5~git~201408291045+15624-0~daily277~ubuntu14.04.1_amd64.deb
 2dac5b19891e87c245a1023c043097ce 935662 math optional coqide_8.5~git~201408291045+15624-0~daily277~ubuntu14.04.1_amd64.deb
 6319c1d71fff98faffe6e6ca93e43759 1127046 ocaml optional libcoq-ocaml_8.5~git~201408291045+15624-0~daily277~ubuntu14.04.1_amd64.deb
 f4e208fd846c155d7e3cf7fefc4af666 13065834 ocaml optional libcoq-ocaml-dev_8.5~git~201408291045+15624-0~daily277~ubuntu14.04.1_amd64.deb