Bug#605014: proofgeneral-coq: PG for coq unusable because hilit19 is missing

2010-11-26 Thread Hendrik Tews
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 un

Bug#596153: marked as done ([INTL:da] Danish translation of the debconf templates ifplugd)

2010-11-26 Thread Debian Bug Tracking System
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 probl

Processed: Re: Bug#605024: coq: coq.el requires nonexistent hilit19

2010-11-26 Thread Debian Bug Tracking System
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

Bug#605048: tla: Using deprecated --preserve option to tar

2010-11-26 Thread Tim Gokcen
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

Bug#605048: Attaching fix patch

2010-11-26 Thread Tim Gokcen
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: Inst

Processing of tla_1.3.5+dfsg-16_amd64.changes

2010-11-26 Thread Debian FTP Masters
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