Format: 1.8
Date: Fri, 25 Jul 2014 02:02:00 +0000
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: i386 all
Version: 8.5~git~201407250201+15360-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~201407250201+15360-0~daily277~ubuntu14.04.1) trusty; urgency=low
 .
   * Auto build.
Checksums-Sha1: 
 6a5597480b65c5d3b73c2f16740841dcc709433e 4412698 coq_8.5~git~201407250201+15360-0~daily277~ubuntu14.04.1_i386.deb
 51e9160d9e949124382f8d855fe1d335b393090c 857168 coqide_8.5~git~201407250201+15360-0~daily277~ubuntu14.04.1_i386.deb
 c47cc03ad227cbc43a081749d7ffb2650648412e 21585478 coq-theories_8.5~git~201407250201+15360-0~daily277~ubuntu14.04.1_all.deb
 1fffc9d7f5e5ce989ff9b7abc0fd2b93a4f7be8a 1113078 libcoq-ocaml_8.5~git~201407250201+15360-0~daily277~ubuntu14.04.1_i386.deb
 fdd08ff5ec601d152447f9e76cdd146b52237cb4 11932422 libcoq-ocaml-dev_8.5~git~201407250201+15360-0~daily277~ubuntu14.04.1_i386.deb
Checksums-Sha256: 
 73d1bc3bb978c99409314e1345bf46335f48ba16b5637b21e13e6fb26552d203 4412698 coq_8.5~git~201407250201+15360-0~daily277~ubuntu14.04.1_i386.deb
 25c774ec45179d1592ef3e026f8c8917975d21991e4f11db6eb3833c46ce0971 857168 coqide_8.5~git~201407250201+15360-0~daily277~ubuntu14.04.1_i386.deb
 f45357afea17726347341b9d3a38b192a55a8ebbfdd405662d0b4e5ad833ee87 21585478 coq-theories_8.5~git~201407250201+15360-0~daily277~ubuntu14.04.1_all.deb
 33917779cb09d3b90e3b1db28ba9478b2e07610e11aa96ae2c5da58f6c7063b9 1113078 libcoq-ocaml_8.5~git~201407250201+15360-0~daily277~ubuntu14.04.1_i386.deb
 f6f877217a50fc9b2037d1b39ef39b89809960f01430e12f16794cc3c1c5d3ba 11932422 libcoq-ocaml-dev_8.5~git~201407250201+15360-0~daily277~ubuntu14.04.1_i386.deb
Files: 
 10ddf037748feadd5144518d9420ee23 4412698 math optional coq_8.5~git~201407250201+15360-0~daily277~ubuntu14.04.1_i386.deb
 67f19240d6efa9d4d7fda458a3bfa385 857168 math optional coqide_8.5~git~201407250201+15360-0~daily277~ubuntu14.04.1_i386.deb
 1b1faf8bbe556bf359fc52dccb7274e3 21585478 math optional coq-theories_8.5~git~201407250201+15360-0~daily277~ubuntu14.04.1_all.deb
 6a7a53fc63571a35f04a6cec057b4d14 1113078 ocaml optional libcoq-ocaml_8.5~git~201407250201+15360-0~daily277~ubuntu14.04.1_i386.deb
 8c6f332ed98d5afbb10eea25b6d30d91 11932422 ocaml optional libcoq-ocaml-dev_8.5~git~201407250201+15360-0~daily277~ubuntu14.04.1_i386.deb