[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#626589: Typo in package description

Package: proofgeneral-coq
Version: 3.7-4
Severity: minor
Tags: patch


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: