Bug#626589: Typo in package description
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.
Reply to: