Dear maintainer of proofgeneral, On Friday, September 11, 2009 I sent you a notice announcing my intent to upload a NMU of your package to fix its pending l10n issues, after an initial notice sent on Sunday, September 06, 2009.
You either agreed for this NMU or did not respond to my notices. I will now upload this NMU to DELAYED/7-DAY. The NMU patch is attached to this mail. The NMU changelog is: Source: proofgeneral Version: 3.7-3.1 Distribution: unstable Urgency: low Maintainer: Christian Perrier <[email protected]> Date: Sat, 19 Sep 2009 07:47:14 +0200 Closes: 504034 510721 520539 546648 Changes: proofgeneral (3.7-3.1) unstable; urgency=low . * Non-maintainer upload. * Trivial lintian fixes: - Add ${misc:Depends} to binary packages dependencies so that debhelper-triggered dependencies are properly added at build time. - Bump debhelper compatibility to 7 - Replace calls to deprecated "dh_clean -k" by dh_prep - Have copyright file refer to the versioned GPL-2 license file - Drop calls to install-info to register info pages as this is now handled by triggers - As a consequence, drop the now empty proofgeneral.prerm script - No longer ignore errors in proofgeneral.postinst, proofgeneral.presinst and proofgeneral.config (use "set -e") - Add dependency on "dpkg (>= 1.15.4) | install-info" to properly ihandle info documents installation * Fix pending l10n issues. Debconf translations: - Swedish (Martin Bagge). Closes: #504034 - Japanese (Hideki Yamane (Debian-JP)). Closes: #510721 - Spanish (Fernando González de Requena). Closes: #520539 - Italian (Luca Monducci). Closes: #546648 --
diff -Nru proofgeneral-3.7.old/debian/changelog proofgeneral-3.7/debian/changelog
--- proofgeneral-3.7.old/debian/changelog 2009-09-01 22:42:06.000000000 +0200
+++ proofgeneral-3.7/debian/changelog 2009-09-19 18:57:20.000000000 +0200
@@ -1,3 +1,30 @@
+proofgeneral (3.7-3.1) unstable; urgency=low
+
+ * Non-maintainer upload.
+ * Trivial lintian fixes:
+ - Add ${misc:Depends} to binary packages dependencies
+ so that debhelper-triggered dependencies are properly
+ added at build time.
+ - Bump debhelper compatibility to 7
+ - Replace calls to deprecated "dh_clean -k" by dh_prep
+ - Have copyright file refer to the versioned GPL-2
+ license file
+ - Drop calls to install-info to register info pages as
+ this is now handled by triggers
+ - As a consequence, drop the now empty proofgeneral.prerm
+ script
+ - No longer ignore errors in proofgeneral.postinst,
+ proofgeneral.presinst and proofgeneral.config (use "set -e")
+ - Add dependency on "dpkg (>= 1.15.4) | install-info"
+ to properly ihandle info documents installation
+ * Fix pending l10n issues. Debconf translations:
+ - Swedish (Martin Bagge). Closes: #504034
+ - Japanese (Hideki Yamane (Debian-JP)). Closes: #510721
+ - Spanish (Fernando González de Requena). Closes: #520539
+ - Italian (Luca Monducci). Closes: #546648
+
+ -- Christian Perrier <[email protected]> Sat, 19 Sep 2009 07:47:14 +0200
+
proofgeneral (3.7-3) unstable; urgency=low
* Fix bin/proofgeneral script:
diff -Nru proofgeneral-3.7.old/debian/compat proofgeneral-3.7/debian/compat
--- proofgeneral-3.7.old/debian/compat 2009-09-01 22:42:06.000000000 +0200
+++ proofgeneral-3.7/debian/compat 2009-09-19 09:27:08.000000000 +0200
@@ -1 +1 @@
-4
+7
diff -Nru proofgeneral-3.7.old/debian/control proofgeneral-3.7/debian/control
--- proofgeneral-3.7.old/debian/control 2009-09-01 22:42:06.000000000 +0200
+++ proofgeneral-3.7/debian/control 2009-09-19 09:44:27.000000000 +0200
@@ -2,13 +2,13 @@
Section: science
Priority: optional
Maintainer: Stefan Schimanski <[email protected]>
-Build-Depends: debhelper (>= 4.1.16), po-debconf
+Build-Depends: debhelper (>= 7), po-debconf
Standards-Version: 3.7.3
Homepage: http://proofgeneral.inf.ed.ac.uk
Package: proofgeneral
Architecture: all
-Depends: debconf | debconf-2.0, emacs22 | emacsen
+Depends: ${misc:Depends}, emacs22 | emacsen, dpkg (>= 1.15.4) | install-info
Suggests: x-symbol
Recommends: proofgeneral-misc | proofgeneral-coq
Description: generic interface for proof assistants - common package
@@ -18,7 +18,7 @@
Package: proofgeneral-coq
Architecture: all
-Depends: proofgeneral
+Depends: ${misc:Depends}, proofgeneral
Recommends: coq
Description: generic interface for proof assistants - coq support
Proof General is a major mode to turn Emacs into an interactive proof
@@ -31,7 +31,7 @@
Package: proofgeneral-minlog
Architecture: all
-Depends: proofgeneral, mzscheme (>= 300) | guile-1.8 | guile
+Depends: ${misc:Depends}, proofgeneral, mzscheme (>= 300) | guile-1.8 | guile
Recommends: minlog
Description: generic interface for proof assistants - Minlog support
Proof General is a major mode to turn Emacs into an interactive proof
@@ -44,7 +44,7 @@
Package: proofgeneral-misc
Architecture: all
-Depends: proofgeneral
+Depends: ${misc:Depends}, proofgeneral
Description: generic interface for proof assistants - theorem provers support
Proof General is a major mode to turn Emacs into an interactive proof
assistant to write formal mathematical proofs using a variety of
@@ -57,6 +57,7 @@
Package: proofgeneral-doc
Section: doc
Architecture: all
+Depends: ${misc:Depends}
Description: generic interface for proof assistants - documentation
Proof General is a major mode to turn Emacs into an interactive proof
assistant to write formal mathematical proofs using a variety of
diff -Nru proofgeneral-3.7.old/debian/copyright proofgeneral-3.7/debian/copyright
--- proofgeneral-3.7.old/debian/copyright 2009-09-01 22:42:06.000000000 +0200
+++ proofgeneral-3.7/debian/copyright 2009-09-19 09:30:16.000000000 +0200
@@ -12,4 +12,5 @@
You are free to distribute this software under the terms of
the GNU General Public License, version 2.
On Debian systems, the complete text of the GNU General Public
- License can be found in the /usr/share/common-licenses/GPL file.
+ License version 2 can be found in the
+ /usr/share/common-licenses/GPL-2 file.
diff -Nru proofgeneral-3.7.old/debian/po/es.po proofgeneral-3.7/debian/po/es.po
--- proofgeneral-3.7.old/debian/po/es.po 1970-01-01 01:00:00.000000000 +0100
+++ proofgeneral-3.7/debian/po/es.po 2009-09-06 14:14:30.000000000 +0200
@@ -0,0 +1,82 @@
+# proofgeneral po-debconf translation to Spanish.
+# Copyright (C) 2009 Software in the Public Interest.
+# This file is distributed under the same license as the proofgeneral package.
+#
+# Changes:
+# - Initial translation
+# Fernando González de Requena <[email protected]>, 2009.
+#
+# Traductores, si no conoce el formato PO, merece la pena leer la
+# documentación de gettext, especialmente las secciones dedicadas a este
+# formato, por ejemplo ejecutando:
+# info -n '(gettext)PO Files'
+# info -n '(gettext)Header Entry'
+#
+# Equipo de traducción al español, por favor lean antes de traducir
+# los siguientes documentos:
+#
+# - El proyecto de traducción de Debian al español
+# http://www.debian.org/intl/spanish/
+# especialmente las notas y normas de traducción en
+# http://www.debian.org/intl/spanish/notas
+#
+# - La guía de traducción de po's de debconf:
+# /usr/share/doc/po-debconf/README-trans
+# o http://www.debian.org/intl/l10n/po-debconf/README-trans
+#
+# Si tiene dudas o consultas sobre esta traducción consulte con el último
+# traductor (campo Last-Translator) y ponga en copia a la lista de
+# traducción de Debian al español (<[email protected]>)
+msgid ""
+msgstr ""
+"Project-Id-Version: proofgeneral 3.7-3\n"
+"Report-Msgid-Bugs-To: Source: [email protected]\n"
+"POT-Creation-Date: 2007-11-13 07:37+0000\n"
+"PO-Revision-Date: 2009-03-08 19:51+0100\n"
+"Last-Translator: Fernando González de Requena <[email protected]>\n"
+"Language-Team: Spanish <[email protected]>\n"
+"MIME-Version: 1.0\n"
+"Content-Type: text/plain; charset=UTF-8\n"
+"Content-Transfer-Encoding: 8bit\n"
+"X-Generator: KBabel 1.11.4\n"
+
+#. Type: boolean
+#. Description
+#: ../proofgeneral.templates:2001
+msgid "Should Proof General be auto-loaded by default?"
+msgstr ""
+"¿Desea que Proof General se cargue automáticamente de manera predeterminada?"
+
+#. Type: boolean
+#. Description
+#: ../proofgeneral.templates:2001
+msgid ""
+"Please choose this option if you want to auto-load Proof General on this "
+"machine."
+msgstr ""
+"Elija esta opción si desea que Proof General se cargue automáticamente en "
+"esta máquina."
+
+#. Type: boolean
+#. Description
+#: ../proofgeneral.templates:2001
+msgid ""
+"If you do so, it will be loaded globally and all local users will be able to "
+"use it with Emacs or XEmacs, without special settings in their personal "
+"configuration file."
+msgstr ""
+"Si la elige, se cargará globalmente y los usuarios locales podrán usarla "
+"con Emacs o XEmacs, sin ninguna modificación especial en su archivo de "
+"configuración personal."
+
+#. Type: boolean
+#. Description
+#: ../proofgeneral.templates:2001
+msgid ""
+"If you don't choose this option, users will need to activate it from their "
+"personal settings for Emacs or XEmacs, or start it explicitly with the "
+"'proofgeneral' command."
+msgstr ""
+"Si no la elige, los usuarios necesitarán activarla en su configuración "
+"personal de Emacs o XEmacs, o iniciarla explícitamente con la orden "
+"«proofgeneral»."
diff -Nru proofgeneral-3.7.old/debian/po/it.po proofgeneral-3.7/debian/po/it.po
--- proofgeneral-3.7.old/debian/po/it.po 1970-01-01 01:00:00.000000000 +0100
+++ proofgeneral-3.7/debian/po/it.po 2009-09-15 06:39:30.000000000 +0200
@@ -0,0 +1,54 @@
+# Italian translation of proofgeneral
+# This file is distributed under the same license as the proofgeneral package.
+# Luca Monducci <[email protected]>, 2009.
+#
+msgid ""
+msgstr ""
+"Project-Id-Version: proofgeneral 3.7 italian debconf\n"
+"Report-Msgid-Bugs-To: Source: [email protected]\n"
+"POT-Creation-Date: 2007-11-13 07:37+0000\n"
+"PO-Revision-Date: 2009-09-14 22:02+0200\n"
+"Last-Translator: Luca Monducci <[email protected]>\n"
+"Language-Team: Italian <[email protected]>\n"
+"MIME-Version: 1.0\n"
+"Content-Type: text/plain; charset=UTF-8\n"
+"Content-Transfer-Encoding: 8bit\n"
+
+#. Type: boolean
+#. Description
+#: ../proofgeneral.templates:2001
+msgid "Should Proof General be auto-loaded by default?"
+msgstr "Proof General deve essere caricato automaticamente?"
+
+#. Type: boolean
+#. Description
+#: ../proofgeneral.templates:2001
+msgid ""
+"Please choose this option if you want to auto-load Proof General on this "
+"machine."
+msgstr ""
+"Accettare per caricare automaticamente Proof General su questa macchina."
+
+#. Type: boolean
+#. Description
+#: ../proofgeneral.templates:2001
+msgid ""
+"If you do so, it will be loaded globally and all local users will be able to "
+"use it with Emacs or XEmacs, without special settings in their personal "
+"configuration file."
+msgstr ""
+"Accettando, verrà caricato globalmente e tutti gli utenti locali potranno "
+"usarlo con Emacs o XEmacs senza alcuna impostazione speciale nei propri file "
+"di configurazione."
+
+#. Type: boolean
+#. Description
+#: ../proofgeneral.templates:2001
+msgid ""
+"If you don't choose this option, users will need to activate it from their "
+"personal settings for Emacs or XEmacs, or start it explicitly with the "
+"'proofgeneral' command."
+msgstr ""
+"Non accettando, gli utenti dovranno attivarlo nelle proprie impostazioni "
+"personali di Emacs o XEmacs oppure avviarlo esplicitamente con il comando "
+"\"proofgeneral\"."
diff -Nru proofgeneral-3.7.old/debian/po/ja.po proofgeneral-3.7/debian/po/ja.po
--- proofgeneral-3.7.old/debian/po/ja.po 1970-01-01 01:00:00.000000000 +0100
+++ proofgeneral-3.7/debian/po/ja.po 2009-09-06 14:14:22.000000000 +0200
@@ -0,0 +1,55 @@
+# Copyright (C) 2008 Stefan Schimanski <[email protected]>
+# This file is distributed under the same license as the proofgeneral package.
+# Hideki Yamane (Debian-JP) <[email protected]>, 2008.
+#
+msgid ""
+msgstr ""
+"Project-Id-Version: proofgeneral 3.7-3\n"
+"Report-Msgid-Bugs-To: Source: [email protected]\n"
+"POT-Creation-Date: 2007-11-13 07:37+0000\n"
+"PO-Revision-Date: 2008-12-28 22:26+0900\n"
+"Last-Translator: Hideki Yamane (Debian-JP) <[email protected]>\n"
+"Language-Team: Japanese <[email protected]>\n"
+"MIME-Version: 1.0\n"
+"Content-Type: text/plain; charset=UTF-8\n"
+"Content-Transfer-Encoding: 8bit\n"
+
+#. Type: boolean
+#. Description
+#: ../proofgeneral.templates:2001
+msgid "Should Proof General be auto-loaded by default?"
+msgstr "デフォルトで Proof General を自動的に実行するようにしますか?"
+
+#. Type: boolean
+#. Description
+#: ../proofgeneral.templates:2001
+msgid ""
+"Please choose this option if you want to auto-load Proof General on this "
+"machine."
+msgstr ""
+"このマシンで Proof General を自動的に実行したい場合はこのオプションを選んでく"
+"ださい。"
+
+#. Type: boolean
+#. Description
+#: ../proofgeneral.templates:2001
+msgid ""
+"If you do so, it will be loaded globally and all local users will be able to "
+"use it with Emacs or XEmacs, without special settings in their personal "
+"configuration file."
+msgstr ""
+"もしこの設定を有効にすると Proof General がシステム全体に対して実行され、全て"
+"のローカルユーザが個人の設定ファイル中で特別な設定をすること無く Emacs や "
+"XEmacs から使えるようになります。"
+
+#. Type: boolean
+#. Description
+#: ../proofgeneral.templates:2001
+msgid ""
+"If you don't choose this option, users will need to activate it from their "
+"personal settings for Emacs or XEmacs, or start it explicitly with the "
+"'proofgeneral' command."
+msgstr ""
+"このオプションを選ばない場合は、ユーザは Emacs あるいは XEmacs の個人設定の中"
+"で有効にする、あるいは 'proofgeneral' コマンドを使って明示的に起動する必要が"
+"あります。"
diff -Nru proofgeneral-3.7.old/debian/po/sv.po proofgeneral-3.7/debian/po/sv.po
--- proofgeneral-3.7.old/debian/po/sv.po 1970-01-01 01:00:00.000000000 +0100
+++ proofgeneral-3.7/debian/po/sv.po 2009-09-06 14:14:12.000000000 +0200
@@ -0,0 +1,57 @@
+# translation of proofgeneral.po to swedish
+# Copyright (C) YEAR THE PACKAGE'S COPYRIGHT HOLDER
+# This file is distributed under the same license as the PACKAGE package.
+#
+# Martin Bagge <[email protected]>, 2008.
+msgid ""
+msgstr ""
+"Project-Id-Version: proofgeneral\n"
+"Report-Msgid-Bugs-To: Source: [email protected]\n"
+"POT-Creation-Date: 2007-11-13 07:37+0000\n"
+"PO-Revision-Date: 2008-10-30 19:13+0100\n"
+"Last-Translator: Martin Bagge <[email protected]>\n"
+"Language-Team: swedish <[email protected]>\n"
+"MIME-Version: 1.0\n"
+"Content-Type: text/plain; charset=UTF-8\n"
+"Content-Transfer-Encoding: 8bit\n"
+"X-Generator: KBabel 1.11.4\n"
+
+#. Type: boolean
+#. Description
+#: ../proofgeneral.templates:2001
+msgid "Should Proof General be auto-loaded by default?"
+msgstr "Ska Proof General startas automatiskt?"
+
+#. Type: boolean
+#. Description
+#: ../proofgeneral.templates:2001
+msgid ""
+"Please choose this option if you want to auto-load Proof General on this "
+"machine."
+msgstr ""
+"Välj detta alternativ om du vill att Proof General ska laddas automatiskt på "
+"detta system."
+
+#. Type: boolean
+#. Description
+#: ../proofgeneral.templates:2001
+msgid ""
+"If you do so, it will be loaded globally and all local users will be able to "
+"use it with Emacs or XEmacs, without special settings in their personal "
+"configuration file."
+msgstr ""
+"Om du väljer att ladda Proof General automatiskt för hela systemet så kan "
+"alla användare av Emacs och XEmacs använda det utan att redigera sina "
+"inställningsfiler."
+
+#. Type: boolean
+#. Description
+#: ../proofgeneral.templates:2001
+msgid ""
+"If you don't choose this option, users will need to activate it from their "
+"personal settings for Emacs or XEmacs, or start it explicitly with the "
+"'proofgeneral' command."
+msgstr ""
+"Om du inte vill ladda Proof Genereal automatiskt för hela systemet måste "
+"användarna redigera sina personliga inställningar för Emacs eller XEmacs, "
+"alternativt använda kommandot 'proofgeneral'."
diff -Nru proofgeneral-3.7.old/debian/proofgeneral.config proofgeneral-3.7/debian/proofgeneral.config
--- proofgeneral-3.7.old/debian/proofgeneral.config 2009-09-01 22:42:06.000000000 +0200
+++ proofgeneral-3.7/debian/proofgeneral.config 2009-09-19 09:34:26.000000000 +0200
@@ -3,6 +3,8 @@
#
# see: dh_installdebconf(1)
+set -e
+
. /usr/share/debconf/confmodule
db_version 2.0
diff -Nru proofgeneral-3.7.old/debian/proofgeneral.postinst proofgeneral-3.7/debian/proofgeneral.postinst
--- proofgeneral-3.7.old/debian/proofgeneral.postinst 2009-09-01 22:42:06.000000000 +0200
+++ proofgeneral-3.7/debian/proofgeneral.postinst 2009-09-19 09:32:50.000000000 +0200
@@ -1,14 +1,11 @@
#!/bin/sh
-set -i
+set -e
. /usr/share/debconf/confmodule
db_version 2.0
db_get proofgeneral/autoload || true; autoload=${RET}
if [ "$1" = "configure" ]; then
- # register info pages
- install-info --quiet --section Emacs Emacs /usr/share/info/proofgeneral.info
- install-info --quiet --section Emacs Emacs /usr/share/info/proofgeneral-adapting.info
# remove old scripts
if [ -f /etc/emacs21/site-start.d/50proofgeneral.el ]; then
diff -Nru proofgeneral-3.7.old/debian/proofgeneral.postrm proofgeneral-3.7/debian/proofgeneral.postrm
--- proofgeneral-3.7.old/debian/proofgeneral.postrm 2009-09-01 22:42:06.000000000 +0200
+++ proofgeneral-3.7/debian/proofgeneral.postrm 2009-09-19 09:43:49.000000000 +0200
@@ -1,5 +1,5 @@
#!/bin/sh
-set -i
+set -e
if [ "$1" = "remove" ]; then
echo "Removing proofgeneral startup files for Emacs"
diff -Nru proofgeneral-3.7.old/debian/proofgeneral.preinst proofgeneral-3.7/debian/proofgeneral.preinst
--- proofgeneral-3.7.old/debian/proofgeneral.preinst 2009-09-01 22:42:06.000000000 +0200
+++ proofgeneral-3.7/debian/proofgeneral.preinst 2009-09-19 18:56:36.000000000 +0200
@@ -1,5 +1,5 @@
#!/bin/sh
-set -i
+set -e
# get rid of old configuration files which make newer version break
if [ -n "$2" ]; then
diff -Nru proofgeneral-3.7.old/debian/proofgeneral.prerm proofgeneral-3.7/debian/proofgeneral.prerm
--- proofgeneral-3.7.old/debian/proofgeneral.prerm 2009-09-01 22:42:06.000000000 +0200
+++ proofgeneral-3.7/debian/proofgeneral.prerm 1970-01-01 01:00:00.000000000 +0100
@@ -1,11 +0,0 @@
-#!/bin/sh
-set -i
-
-if [ "$1" = "remove" ]; then
- install-info --quiet --remove /usr/share/info/proofgeneral.info
- install-info --quiet --remove /usr/share/info/proofgeneral-adapting.info
-fi
-
-#DEBHELPER#
-
-exit 0
diff -Nru proofgeneral-3.7.old/debian/rules proofgeneral-3.7/debian/rules
--- proofgeneral-3.7.old/debian/rules 2009-09-01 22:42:06.000000000 +0200
+++ proofgeneral-3.7/debian/rules 2009-09-19 09:28:11.000000000 +0200
@@ -29,7 +29,7 @@
install: build
dh_testdir
dh_testroot
- dh_clean -k
+ dh_prep
dh_installdirs
################################
signature.asc
Description: Digital signature
