Package: proofgeneral-coq Version: 3.7-4 Severity: minor Tags: patch Hello,
I found a small typo in the package description of proofgeneral-coq while translating it via the DDTSS. A patch for the control file is included. Regards Erik -- System Information: Debian Release: wheezy/sid APT prefers testing APT policy: (500, 'testing'), (10, 'experimental'), (10, 'unstable') Architecture: i386 (i686) Kernel: Linux 2.6.38-2-686 (SMP w/1 CPU core) Locale: LANG=de_AT.UTF-8, LC_CTYPE=de_AT.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash
--- proofgeneral_3.7-4.diff 2011-05-13 12:15:52.000000000 +0200 +++ proofgeneral_3.7-4.diff.new 2011-05-13 12:22:48.000000000 +0200 @@ -521,7 +521,7 @@ +Architecture: all +Depends: ${misc:Depends}, proofgeneral +Recommends: coq -+Description: generic interface for proof assistants - coq support ++Description: generic interface for proof assistants - Coq support + Proof General is a major mode to turn Emacs into an interactive proof + assistant to write formal mathematical proofs using a variety of + theorem provers. It works with either XEmacs or GNU Emacs.