Format: 1.8
Date: Sat, 26 Jul 2014 04:42:20 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: i386 all
Version: 8.5~git~201407260441+15380-0~daily277~ubuntu14.10.1
Distribution: utopic
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~201407260441+15380-0~daily277~ubuntu14.10.1) utopic; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 cbc6071adec50f3507225f0da3cfb482af9b9e38 4416366 coq_8.5~git~201407260441+15380-0~daily277~ubuntu14.10.1_i386.deb
 f6348f448de363974f504a547bde391fd853da4d 857646 coqide_8.5~git~201407260441+15380-0~daily277~ubuntu14.10.1_i386.deb
 03ddae4a8d62d84543ec549a18849bc1767617d8 21585274 coq-theories_8.5~git~201407260441+15380-0~daily277~ubuntu14.10.1_all.deb
 793ee1d17e99d33f66659e3dfd8d067e9aaa89dd 1114058 libcoq-ocaml_8.5~git~201407260441+15380-0~daily277~ubuntu14.10.1_i386.deb
 f45edda6160067c1e9336b42e5797950b5dd3fb7 11933858 libcoq-ocaml-dev_8.5~git~201407260441+15380-0~daily277~ubuntu14.10.1_i386.deb
Checksums-Sha256:
 f491f96db75e38fbd507de006a7a9a698dc54ab0cf4b8cc12260254e437ef41c 4416366 coq_8.5~git~201407260441+15380-0~daily277~ubuntu14.10.1_i386.deb
 59780d28b03e5660f9c93099060ab425669bf9122e43da6a45ed9e11a7add947 857646 coqide_8.5~git~201407260441+15380-0~daily277~ubuntu14.10.1_i386.deb
 f7fc1e1c31eff05aa05f549cc0875bbdb081ad620a6638cdfb6b8544a4a80d6e 21585274 coq-theories_8.5~git~201407260441+15380-0~daily277~ubuntu14.10.1_all.deb
 2afbc4054bf3e41be206bc2f69ee62287ab386218e7ff700072864f22f7a4f29 1114058 libcoq-ocaml_8.5~git~201407260441+15380-0~daily277~ubuntu14.10.1_i386.deb
 2dc8a35d33edc1fb3a626f5877854efb22f7cf289f1b6b4868f70de92a01e592 11933858 libcoq-ocaml-dev_8.5~git~201407260441+15380-0~daily277~ubuntu14.10.1_i386.deb
Files:
 bcf1bdfa26b79f830fa16fc8ef44e4d5 4416366 math optional coq_8.5~git~201407260441+15380-0~daily277~ubuntu14.10.1_i386.deb
 efb34e2de475b3707be137c4e72b3e5f 857646 math optional coqide_8.5~git~201407260441+15380-0~daily277~ubuntu14.10.1_i386.deb
 eba15633d5fe00bdcde0da2c620da7e4 21585274 math optional coq-theories_8.5~git~201407260441+15380-0~daily277~ubuntu14.10.1_all.deb
 ee5b6ec3cce611920b5533f2cd9070b8 1114058 ocaml optional libcoq-ocaml_8.5~git~201407260441+15380-0~daily277~ubuntu14.10.1_i386.deb
 d22efb5ca93b9ebde6721147cc9204ed 11933858 ocaml optional libcoq-ocaml-dev_8.5~git~201407260441+15380-0~daily277~ubuntu14.10.1_i386.deb