Format: 1.8
Date: Sun, 28 Jul 2013 22:45:51 -0700
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source
Version: 8.4pl2dfsg-mtac1.1~saucy1
Distribution: saucy
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~saucy1) saucy; urgency=low
 .
   * Apply the Mtac 1.1 patch, which adds support for monadic tactic
     programming.
Checksums-Sha1: 
 fad4deb82d0030a4a4a89a66ed7ea3f91869319e 2048 coq_8.4pl2dfsg-mtac1.1~saucy1.dsc
 500cf5f9b76965f38108a6c568e14037a302684d 36107 coq_8.4pl2dfsg-mtac1.1~saucy1.debian.tar.gz
Checksums-Sha256: 
 6882062274faa6f1cb9d536ca1d31184041ffc8df568a165b8a18327dfec18a5 2048 coq_8.4pl2dfsg-mtac1.1~saucy1.dsc
 c6e08abc4bb33b6d91f31eb3cb461207da9ca27d45f69b0e01da3d979e28a8ca 36107 coq_8.4pl2dfsg-mtac1.1~saucy1.debian.tar.gz
Files: 
 5a1bdb681368fd9799d465dc707b2e29 2048 math optional coq_8.4pl2dfsg-mtac1.1~saucy1.dsc
 3739f6e6b9fa11c0595173468fee7a62 36107 math optional coq_8.4pl2dfsg-mtac1.1~saucy1.debian.tar.gz