Package: coq Severity: minor Tags: l10n Package description says "This packages provides coqtp". As it is just one package, solution is obvious. -- System Information: Debian Release: lenny/sid APT prefers unstable APT policy: (500, 'unstable') Architecture: amd64 (x86_64) Kernel: Linux 2.6.27.4 (SMP w/2 CPU cores) Locale: LANG=de_DE.UTF-8, LC_CTYPE=de_DE.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/bash
Attachment:
signature.asc
Description: Dies ist ein digital signierter Nachrichtenteil