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: i386 all
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: 
 d93f1d6b0013883ab79eda2100bcaf8817f67c4a 4418998 coq_8.5~git~201407272016+15382-0~daily277~ubuntu14.04.1_i386.deb
 776d899fcb18e249f7ecf981fa2e6c9b47b85143 858402 coqide_8.5~git~201407272016+15382-0~daily277~ubuntu14.04.1_i386.deb
 eb86c75bfd195bfcc2057f27c57741c2caa72aeb 21579588 coq-theories_8.5~git~201407272016+15382-0~daily277~ubuntu14.04.1_all.deb
 76f97804ad323bed16d79799031b47037a26ecdb 1115202 libcoq-ocaml_8.5~git~201407272016+15382-0~daily277~ubuntu14.04.1_i386.deb
 95fa3494f9f3025cbd19da794910d9cce5189c0d 11924980 libcoq-ocaml-dev_8.5~git~201407272016+15382-0~daily277~ubuntu14.04.1_i386.deb
Checksums-Sha256: 
 3f744fa470b912b7cdd465453375cbd7bf03f9c30157d86b9d388be6364b4a6e 4418998 coq_8.5~git~201407272016+15382-0~daily277~ubuntu14.04.1_i386.deb
 c41df1f142a74b33cab0d89bc3f7fd9486009c2376f9bbf7e3afb375fae405d1 858402 coqide_8.5~git~201407272016+15382-0~daily277~ubuntu14.04.1_i386.deb
 248cce3f20c61d0a17595c71e2c949a4b8d626a60331f8cc15f890adad41e3d1 21579588 coq-theories_8.5~git~201407272016+15382-0~daily277~ubuntu14.04.1_all.deb
 7a1cbfa4962729539924cea2f10da34eb86ccc9f17afe4c5aa598eb43cf39fd9 1115202 libcoq-ocaml_8.5~git~201407272016+15382-0~daily277~ubuntu14.04.1_i386.deb
 1e224a4e9ac307c3c2323d8523b9f6564a168a91e7ee17ba79779fa1d64a54b5 11924980 libcoq-ocaml-dev_8.5~git~201407272016+15382-0~daily277~ubuntu14.04.1_i386.deb
Files: 
 b11449d6f1e20fabac8f571ef966d0b0 4418998 math optional coq_8.5~git~201407272016+15382-0~daily277~ubuntu14.04.1_i386.deb
 f39307020eabccf0f24120a9f9efa793 858402 math optional coqide_8.5~git~201407272016+15382-0~daily277~ubuntu14.04.1_i386.deb
 34a043287cc2a1d8f5f1b49d7b52ea7a 21579588 math optional coq-theories_8.5~git~201407272016+15382-0~daily277~ubuntu14.04.1_all.deb
 e34e60a6e9cc3c04dd007623e45f4994 1115202 ocaml optional libcoq-ocaml_8.5~git~201407272016+15382-0~daily277~ubuntu14.04.1_i386.deb
 cee9aee6938cd475ee770d6ec7d92535 11924980 ocaml optional libcoq-ocaml-dev_8.5~git~201407272016+15382-0~daily277~ubuntu14.04.1_i386.deb