Format: 1.8
Date: Mon, 29 Jul 2013 00:26:08 -0700
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source
Version: 8.4pl2dfsg-mtac1.1~trusty1
Distribution: trusty
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
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.4pl2dfsg-mtac1.1~trusty1) trusty; urgency=low
 .
   * Apply the Mtac 1.1 patch, which adds support for monadic tactic
     programming.
Checksums-Sha1: 
 ddf2015f84fcc5037f88d12bf405fb782a1b225d 2052 coq_8.4pl2dfsg-mtac1.1~trusty1.dsc
 59a3237c0db08259a92e0a6a50a161f50a95ff97 36017 coq_8.4pl2dfsg-mtac1.1~trusty1.debian.tar.gz
Checksums-Sha256: 
 e6aa6266215d73b90d412dfe0d7e288c39bbf099c40be36e4533f4537eee1b6a 2052 coq_8.4pl2dfsg-mtac1.1~trusty1.dsc
 5e42bbf550b1266b3228a7d585a40b50029e10b993b3485eee6e6c5a6ed39433 36017 coq_8.4pl2dfsg-mtac1.1~trusty1.debian.tar.gz
Files: 
 42730800a7bb837198858b5414bb14c3 2052 math optional coq_8.4pl2dfsg-mtac1.1~trusty1.dsc
 53eb03cc040eb81cfd656237ded382a1 36017 math optional coq_8.4pl2dfsg-mtac1.1~trusty1.debian.tar.gz