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~raring1
Distribution: raring
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~raring1) raring; urgency=low
 .
   * Apply the Mtac 1.1 patch, which adds support for monadic tactic
     programming.
Checksums-Sha1: 
 75d80fe6058f67c145426c8f1e1e2336cd16e50d 2052 coq_8.4pl2dfsg-mtac1.1~raring1.dsc
 e2d8bea060f32f184a257baf9f7aaad42ac82706 36213 coq_8.4pl2dfsg-mtac1.1~raring1.debian.tar.gz
Checksums-Sha256: 
 80ff21bb815fc25b8cd96092ba83a2c74a3a31a1566e79ce1e637a9800c1d2e8 2052 coq_8.4pl2dfsg-mtac1.1~raring1.dsc
 14472858e0ddd1038bdf83b990130f476ad96dbfb0e56aba14072fb5ae67fe57 36213 coq_8.4pl2dfsg-mtac1.1~raring1.debian.tar.gz
Files: 
 7e9147ef7f2731266d6520c50ef0301d 2052 math optional coq_8.4pl2dfsg-mtac1.1~raring1.dsc
 76098dae77ef4b184efe57e1bcbe25ff 36213 math optional coq_8.4pl2dfsg-mtac1.1~raring1.debian.tar.gz