Bug#605014: proofgeneral-coq: PG for coq unusable because hilit19 is missing
Package: proofgeneral-coq Version: 3.7-4 Severity: grave Opening any .v file or starting coq-mode manually only gives the error File mode specification error: (file-error "Cannot open load file" "hilit19") and no proof-general functionality is available. The package is therefore completely unusable. Bye, Hendrik -- System Information: Debian Release: squeeze/sid APT prefers testing APT policy: (500, 'testing') Architecture: i386 (x86_64) Kernel: Linux 2.6.32-5-amd64 (SMP w/2 CPU cores) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Versions of packages proofgeneral-coq depends on: ii proofgeneral 3.7-4 generic interface for proof assist Versions of packages proofgeneral-coq recommends: ii coq 8.2.pl2+dfsg-1 proof assistant for higher-order l proofgeneral-coq suggests no packages. -- no debconf information -- To UNSUBSCRIBE, email to debian-qa-packages-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/6xr5e8e4bi@blau.inf.tu-dresden.de
Bug#596153: marked as done ([INTL:da] Danish translation of the debconf templates ifplugd)
Your message dated Fri, 26 Nov 2010 13:47:07 + with message-id and subject line Bug#596153: fixed in ifplugd 0.28-18 has caused the Debian Bug report #596153, regarding [INTL:da] Danish translation of the debconf templates ifplugd to be marked as done. This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 596153: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=596153 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Package: ifplugd Severity: wishlist Tags: l10n patch Please include the attached Danish debconf translations j...@joe-desktop:~/over/debian/ifplugd$ msgfmt --statistics -c -v -o /dev/null da.po 19 oversatte tekster. bye Joe # Danish translation ifplugd. # Copyright (C) 2010 ifplugd & nedenstående oversættere. # This file is distributed under the same license as the ifplugd package. # Claus Hindsgaul , 2005. # Claus Hindsgaul , 2006, 2007. # Joe Hansen , 2010. # msgid "" msgstr "" "Project-Id-Version: ifplugd\n" "Report-Msgid-Bugs-To: ifpl...@packages.debian.org\n" "POT-Creation-Date: 2008-04-05 01:15+0530\n" "PO-Revision-Date: 2010-09-08 23:51+0200\n" "Last-Translator: Joe Hansen \n" "Language-Team: Danish \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: string #. Description #: ../ifplugd.templates:1001 msgid "static interfaces to be watched by ifplugd:" msgstr "faste netkort, der skal overvåges af ifplugd:" #. Type: string #. Description #: ../ifplugd.templates:1001 msgid "" "Specify the interfaces to control here, separated by spaces. Ifplugd " "processes will be started for each of these interfaces when the ifplugd " "initscript is called with the \"start\" argument. You may use the magic " "string \"auto\" to make the initscript start or stop ifplugd processes for " "ALL eth and wlan interfaces that are available according to /proc/net/dev. " "Note that the list of interfaces appearing in /proc/net/dev may depend on " "which kernel modules you have loaded." msgstr "" "Angiv de netkort, der skal styres adskilt af mellemrum. Der vil blive " "startet en ifplugd-proces for hver af disse netkort, når ifplugd's " "initialiseringsscript kaldes med »startparameteren«. Du kan angive " "teksten »auto« for at sikre at initialiseringsscriptet starter og stopper " "ifplugd-processer for ALLE eth- og wlan-netkort, der er tilgængelige ifølge /" "proc/net/dev. Bemærk at den liste, der optræder i /proc/net/dev kan afhænge " "af, hvilke kernemoduler, du har indlæst." #. Type: string #. Description #: ../ifplugd.templates:1001 msgid "" "You should not add interfaces that are hotplugged (USB or PCMCIA) here, you " "will be asked for those in the next question." msgstr "" "Du skal ikke tilføje netkort, der kan sættes i under kørslen (f.eks. USB " "eller PCMCIA) her. Du vil blie spurgt om sådanne kort senere." #. Type: string #. Description #: ../ifplugd.templates:2001 msgid "hotplugged interfaces to be watched by ifplugd:" msgstr "løse netkort, der skal overvåges af ifplugd:" #. Type: string #. Description #: ../ifplugd.templates:2001 msgid "Specify the hotplugged interfaces to control here, separated by spaces." msgstr "" "Angiv de netkort, der kan sættes i under kørslen, som skal overvåges adskilt " "af mellemrum." #. Type: string #. Description #: ../ifplugd.templates:2001 msgid "" "You may use the magic string \"all\" to make the hotplug script start an " "ifplugd process for any hotplugged interface." msgstr "" "Du kan skrive »all« for at få hotplugs script til at starte en ifplugd-" "proces for alle netkort, der sættes i under kørslen." #. Type: string #. Description #: ../ifplugd.templates:2001 msgid "" "Hotplugged interfaces are usually interfaces on PCMCIA or WLAN adapters." msgstr "Løse netkort forbindes normalt via PCMCIA eller WLAN." #. Type: string #. Description #: ../ifplugd.templates:3001 msgid "arguments to ifplugd:" msgstr "parametre til ifplugd:" #. Type: string #. Description #: ../ifplugd.templates:3001 msgid "" "You can give arguments to the ifplug daemon here. Relevant options are:" msgstr "" "Du kan give parametre til ifplug-dæmonen her. Relevante tilvalg er:" #. Type: string #. Description #: ../ifplugd.templates:3001 msgid "" " -q Don't run script on daemon quit\n" " -f Ignore detection failure and retry\n" " -u Specify delay for configuring interface\n" " -d Specify delay for deconfiguring interface\n" " -w Wait until daemon fork finished\n" " -I Don't exit on nonzero return value of program executed" msgstr "" " -q Kør ikke skript ved dæmona
Processed: Re: Bug#605024: coq: coq.el requires nonexistent hilit19
Processing commands for cont...@bugs.debian.org: > reassign 605014 coq Bug #605014 [proofgeneral-coq] proofgeneral-coq: PG for coq unusable because hilit19 is missing Bug reassigned from package 'proofgeneral-coq' to 'coq'. Bug No longer marked as found in versions proofgeneral/3.7-4. > reassign 582768 coq Bug #582768 [proofgeneral] proofgeneral: file-error "cannot open load file" "hilit19" Bug reassigned from package 'proofgeneral' to 'coq'. Bug No longer marked as found in versions proofgeneral/3.7-3.1. > forcemerge 605024 605014 582768 Bug#605024: coq: coq.el requires nonexistent hilit19 Bug#582768: proofgeneral: file-error "cannot open load file" "hilit19" Bug#605014: proofgeneral-coq: PG for coq unusable because hilit19 is missing Forcibly Merged 582768 605014 605024. > thanks Stopping processing here. Please contact me if you need assistance. -- 582768: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=582768 605024: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=605024 605014: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=605014 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems -- To UNSUBSCRIBE, email to debian-qa-packages-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/handler.s.c.129078108113212.transcr...@bugs.debian.org
Bug#605048: tla: Using deprecated --preserve option to tar
Package: tla Version: 1.3.5+dfsg-15 Severity: minor tla is using the deprecated --preserve option for tar to preserve both permissions and order. This generates a deprecation warning from tar in Debian Squeeze (GNU tar 1.23). Severity is minor because in spite of the warning, tar still works, but severity could be greater if --preserve is eventually removed. -- System Information: Debian Release: squeeze/sid APT prefers testing APT policy: (500, 'testing') Architecture: amd64 (x86_64) Kernel: Linux 2.6.32-5-amd64 (SMP w/4 CPU cores) Locale: LANG=en_CA.UTF-8, LC_CTYPE=en_CA.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Versions of packages tla depends on: ii gawk 1:3.1.7.dfsg-5 GNU awk, a pattern scanning and pr ii libc6 2.11.2-7 Embedded GNU C Library: Shared lib ii libexpat1 2.0.1-7XML parsing C library - runtime li ii patch 2.6-2 Apply a diff file to an original Versions of packages tla recommends: ii tla-doc1.3.5+dfsg-15 GNU Arch revision control system ( Versions of packages tla suggests: ii gnupg 1.4.10-4 GNU privacy guard - a free PGP rep pn ssh(no description available) -- no debconf information -- To UNSUBSCRIBE, email to debian-qa-packages-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20101126185505.22110.16805.report...@tgquad.mpathix.com
Bug#605048: Attaching fix patch
Tags: patch Uploading a patch. Might try to do a QA upload if I can find the time. #! /bin/sh /usr/share/dpatch/dpatch-run ## 99-tar_preserve.dpatch by Tim Gokcen ## ## All lines beginning with `## DP:' are a description of the patch. ## DP: Don't use deprecated tar --preserve option ## DP: Instead, use --preserve-permissions & --preserve-order @DPATCH@ diff -Naur tla-1.3.5+dfsg.orig/src/tla/libarch/archive.c tla-1.3.5+dfsg/src/tla/librarch/archive.c --- tla-1.3.5+dfsg.orig/src/tla/libarch/archive.c 2006-07-20 02:34:40.0 -0400 +++ tla-1.3.5+dfsg/src/tla/libarch/archive.c2010-11-26 14:58:32.0 -0500 @@ -1114,7 +1114,8 @@ *(t_uchar **)ar_push ((void **)&argv, 0, sizeof (char *)) = cfg__gnu_tar; *(t_uchar **)ar_push ((void **)&argv, 0, sizeof (char *)) = "-m"; - *(t_uchar **)ar_push ((void **)&argv, 0, sizeof (char *)) = "--preserve"; + *(t_uchar **)ar_push ((void **)&argv, 0, sizeof (char *)) = "--preserve-permissions"; + *(t_uchar **)ar_push ((void **)&argv, 0, sizeof (char *)) = "--preserve-order"; *(t_uchar **)ar_push ((void **)&argv, 0, sizeof (char *)) = "-zxf"; *(t_uchar **)ar_push ((void **)&argv, 0, sizeof (char *)) = "-"; *(t_uchar **)ar_push ((void **)&argv, 0, sizeof (char *)) = 0;
Processing of tla_1.3.5+dfsg-16_amd64.changes
GnuPG signature check failed on tla_1.3.5+dfsg-16_amd64.changes gpg: Signature made Fri Nov 26 21:56:14 2010 UTC using RSA key ID 4A0A48EE gpg: Can't check signature: public key not found (Exit status 2) /tla_1.3.5+dfsg-16_amd64.changes has bad PGP/GnuPG signature! Removing /tla_1.3.5+dfsg-16_amd64.changes, but keeping its associated files for now. Greetings, Your Debian queue daemon (running on host franck.debian.org) -- To UNSUBSCRIBE, email to debian-qa-packages-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1pm6j3-0007qh...@franck.debian.org
