Package: proofgeneral-coq
Version: 3.7-4
Severity: minor
Tags: patch
Hello,
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 pref
Your message dated Fri, 13 May 2011 20:12:24 +0300
with message-id <87ei42wmmf@viiru.iki.fi>
and subject line sqlitebrowser: No column labels when you search entries with
executing sql commands fixed
has caused the Debian Bug report #448288,
regarding sqlitebrowser: No column labels when you s
Processing commands for cont...@bugs.debian.org:
> tags 617680 + pending
Bug #617680 [sqlitebrowser] segfaults when attempting to import db from file
Added tag(s) pending.
> tags 520345 + moreinfo unreproducible
Bug #520345 [sqlitebrowser] sqlitebrowser: Messed up fonts in schema column of
"datab
I am Ian Davies ;an accredited vendor of Alliot Groups, a subsidiary firm of
Emirates International Holding (EIH); A private equity funds holding company
that focuses on hedge funds.
I have contacted you in the hope that you can be my associate by accepting to
stand as the legal recipient to a Fi
Your message dated Sat, 14 May 2011 01:01:24 +0200
with message-id <877h9u19yz@marvin.43-1.org>
and subject line Bug#626614: Removed package(s) from unstable
has caused the Debian Bug report #116410,
regarding Segfaults when creating new installation.
to be marked as done.
This means that you
Your message dated Sat, 14 May 2011 01:01:24 +0200
with message-id <877h9u19yz@marvin.43-1.org>
and subject line Bug#626614: Removed package(s) from unstable
has caused the Debian Bug report #169446,
regarding wrong assumption on char signedness
to be marked as done.
This means that you claim
Your message dated Sat, 14 May 2011 01:01:24 +0200
with message-id <877h9u19yz@marvin.43-1.org>
and subject line Bug#626614: Removed package(s) from unstable
has caused the Debian Bug report #230734,
regarding gnome-pilot-conduits: Evolution conduits all kill gpilotd
to be marked as done.
This
Your message dated Sat, 14 May 2011 01:01:24 +0200
with message-id <877h9u19yz@marvin.43-1.org>
and subject line Bug#626614: Removed package(s) from unstable
has caused the Debian Bug report #268440,
regarding gnome-pilot-conduits: memo-file backups multiply x2 every sync
to be marked as done.
Your message dated Sat, 14 May 2011 01:01:24 +0200
with message-id <877h9u19yz@marvin.43-1.org>
and subject line Bug#626614: Removed package(s) from unstable
has caused the Debian Bug report #278264,
regarding gnome-pilot-conduits: Can no longer sync, with evolution sense
upgrade.
to be marked
Your message dated Sat, 14 May 2011 01:01:24 +0200
with message-id <877h9u19yz@marvin.43-1.org>
and subject line Bug#626614: Removed package(s) from unstable
has caused the Debian Bug report #406048,
regarding gnome-pilot-conduits: addressbook corrupts data in Spanish PDA
to be marked as done.
Your message dated Sat, 14 May 2011 01:01:24 +0200
with message-id <877h9u19yz@marvin.43-1.org>
and subject line Bug#626614: Removed package(s) from unstable
has caused the Debian Bug report #614489,
regarding gnome-pilot-conduits: FTBFS: email_conduit.c:7:18: error: glib.h: No
such file or di
We believe that the bug you reported is now fixed; the following
package(s) have been removed from unstable:
gnome-pilot-conduits | 2.0.17-2 | source, alpha, kfreebsd-amd64, kfreebsd-i386
gnome-pilot-conduits | 2.32.1-2 | source, amd64, armel, hppa, i386, ia64,
mips, mipsel, powerpc, s390, sp
Your message dated Sat, 14 May 2011 01:25:50 +0200
with message-id <87y62ayy47@marvin.43-1.org>
and subject line Bug#626616: Removed package(s) from unstable
has caused the Debian Bug report #108383,
regarding Setup druid should notify user of lacking permissions
to be marked as done.
This mea
Your message dated Sat, 14 May 2011 01:25:50 +0200
with message-id <87y62ayy47@marvin.43-1.org>
and subject line Bug#626616: Removed package(s) from unstable
has caused the Debian Bug report #116346,
regarding gnome-pilot: libfile_conduit.so also in libgnome-pilot0
to be marked as done.
This m
Your message dated Sat, 14 May 2011 01:25:50 +0200
with message-id <87y62ayy47@marvin.43-1.org>
and subject line Bug#626616: Removed package(s) from unstable
has caused the Debian Bug report #117876,
regarding gnome-pim: gpilot-applet won't let me get started.
to be marked as done.
This means
Your message dated Sat, 14 May 2011 01:25:50 +0200
with message-id <87y62ayy47@marvin.43-1.org>
and subject line Bug#626616: Removed package(s) from unstable
has caused the Debian Bug report #133155,
regarding gnome-pilot doesn't save neg. user ids
to be marked as done.
This means that you cla
Your message dated Sat, 14 May 2011 01:25:50 +0200
with message-id <87y62ayy47@marvin.43-1.org>
and subject line Bug#626616: Removed package(s) from unstable
has caused the Debian Bug report #146346,
regarding gnome-pilot: infinite loop during restore
to be marked as done.
This means that you
Your message dated Sat, 14 May 2011 01:25:50 +0200
with message-id <87y62ayy47@marvin.43-1.org>
and subject line Bug#626616: Removed package(s) from unstable
has caused the Debian Bug report #147804,
regarding gnome-pilot: gpilot-install-file doesn't report out-of-memory errors
to be marked as
Your message dated Sat, 14 May 2011 01:25:50 +0200
with message-id <87y62ayy47@marvin.43-1.org>
and subject line Bug#626616: Removed package(s) from unstable
has caused the Debian Bug report #170916,
regarding gnome-pilot: gpilotd cannot open the local X display
to be marked as done.
This mean
Your message dated Sat, 14 May 2011 01:25:50 +0200
with message-id <87y62ayy47@marvin.43-1.org>
and subject line Bug#626616: Removed package(s) from unstable
has caused the Debian Bug report #194070,
regarding gnome-pilot: gpilot-install-file should not need DISPLAY
to be marked as done.
This
Your message dated Sat, 14 May 2011 01:25:50 +0200
with message-id <87y62ayy47@marvin.43-1.org>
and subject line Bug#626616: Removed package(s) from unstable
has caused the Debian Bug report #194100,
regarding gnome-pilot: Hanging synchronization
to be marked as done.
This means that you claim
Your message dated Sat, 14 May 2011 01:25:50 +0200
with message-id <87y62ayy47@marvin.43-1.org>
and subject line Bug#626616: Removed package(s) from unstable
has caused the Debian Bug report #197417,
regarding gnome-pilot: gpilotd can't communicate with Palm at all
to be marked as done.
This m
Your message dated Sat, 14 May 2011 01:25:50 +0200
with message-id <87y62ayy47@marvin.43-1.org>
and subject line Bug#626616: Removed package(s) from unstable
has caused the Debian Bug report #194980,
regarding gnome-pilot won't pull user ID from palm pilot
to be marked as done.
This means that
Your message dated Sat, 14 May 2011 01:25:50 +0200
with message-id <87y62ayy47@marvin.43-1.org>
and subject line Bug#626616: Removed package(s) from unstable
has caused the Debian Bug report #199628,
regarding gnome-pilot: Cannot configure new device
to be marked as done.
This means that you c
Your message dated Sat, 14 May 2011 01:25:50 +0200
with message-id <87y62ayy47@marvin.43-1.org>
and subject line Bug#626616: Removed package(s) from unstable
has caused the Debian Bug report #201501,
regarding gnome-pilot: applet crashes after cancelling then restarting config
to be marked as d
Your message dated Sat, 14 May 2011 01:25:50 +0200
with message-id <87y62ayy47@marvin.43-1.org>
and subject line Bug#626616: Removed package(s) from unstable
has caused the Debian Bug report #208603,
regarding gnome-pilot: Non-ASCII characters in user not not handled properly
to be marked as do
Your message dated Sat, 14 May 2011 01:25:50 +0200
with message-id <87y62ayy47@marvin.43-1.org>
and subject line Bug#626616: Removed package(s) from unstable
has caused the Debian Bug report #215313,
regarding gnome-pilot: Man page of gpilot-install-file is inaccurate
to be marked as done.
Thi
Your message dated Sat, 14 May 2011 01:25:50 +0200
with message-id <87y62ayy47@marvin.43-1.org>
and subject line Bug#626616: Removed package(s) from unstable
has caused the Debian Bug report #221784,
regarding gnome-pilot crashes on initial sync
to be marked as done.
This means that you claim
Your message dated Sat, 14 May 2011 01:25:50 +0200
with message-id <87y62ayy47@marvin.43-1.org>
and subject line Bug#626616: Removed package(s) from unstable
has caused the Debian Bug report #227359,
regarding Gnome pilot Segfault
to be marked as done.
This means that you claim that the proble
Your message dated Sat, 14 May 2011 01:25:50 +0200
with message-id <87y62ayy47@marvin.43-1.org>
and subject line Bug#626616: Removed package(s) from unstable
has caused the Debian Bug report #230735,
regarding gnome-pilot: Logging doesn't work
to be marked as done.
This means that you claim th
Your message dated Sat, 14 May 2011 01:25:50 +0200
with message-id <87y62ayy47@marvin.43-1.org>
and subject line Bug#626616: Removed package(s) from unstable
has caused the Debian Bug report #261009,
regarding gnome-pilot: Tooltip says "ready to sync" during synchronization
to be marked as done
Your message dated Sat, 14 May 2011 01:25:50 +0200
with message-id <87y62ayy47@marvin.43-1.org>
and subject line Bug#626616: Removed package(s) from unstable
has caused the Debian Bug report #276570,
regarding gnome-pilot: Posibility to specify memory card on file-install
to be marked as done.
Your message dated Sat, 14 May 2011 01:25:50 +0200
with message-id <87y62ayy47@marvin.43-1.org>
and subject line Bug#626616: Removed package(s) from unstable
has caused the Debian Bug report #285115,
regarding gnome-pilot: Device name filter too restrictive
to be marked as done.
This means tha
Your message dated Sat, 14 May 2011 01:25:50 +0200
with message-id <87y62ayy47@marvin.43-1.org>
and subject line Bug#626616: Removed package(s) from unstable
has caused the Debian Bug report #288735,
regarding gnome-pilot: segfault
to be marked as done.
This means that you claim that the probl
Your message dated Sat, 14 May 2011 01:25:50 +0200
with message-id <87y62ayy47@marvin.43-1.org>
and subject line Bug#626616: Removed package(s) from unstable
has caused the Debian Bug report #289894,
regarding Epson USB scanner fails when gpilotd is running.
to be marked as done.
This means th
Your message dated Sat, 14 May 2011 01:25:50 +0200
with message-id <87y62ayy47@marvin.43-1.org>
and subject line Bug#626616: Removed package(s) from unstable
has caused the Debian Bug report #294447,
regarding gnome-pilot: please make gpilotd less verbose
to be marked as done.
This means that
Your message dated Sat, 14 May 2011 01:25:50 +0200
with message-id <87y62ayy47@marvin.43-1.org>
and subject line Bug#626616: Removed package(s) from unstable
has caused the Debian Bug report #340907,
regarding gnome-pilot.1.gz: not enough information to start the program
to be marked as done.
Your message dated Sat, 14 May 2011 01:25:50 +0200
with message-id <87y62ayy47@marvin.43-1.org>
and subject line Bug#626616: Removed package(s) from unstable
has caused the Debian Bug report #344892,
regarding gnome-pilot: gpilotd unknown pilot ID 1082111820
to be marked as done.
This means th
Your message dated Sat, 14 May 2011 01:25:50 +0200
with message-id <87y62ayy47@marvin.43-1.org>
and subject line Bug#626616: Removed package(s) from unstable
has caused the Debian Bug report #391510,
regarding gnome-pilot: Please add device record for Treo 650
to be marked as done.
This means
Your message dated Sat, 14 May 2011 01:25:50 +0200
with message-id <87y62ayy47@marvin.43-1.org>
and subject line Bug#626616: Removed package(s) from unstable
has caused the Debian Bug report #313521,
regarding gnome-pilot: Please generate a POT file during package build
to be marked as done.
T
Your message dated Sat, 14 May 2011 01:25:50 +0200
with message-id <87y62ayy47@marvin.43-1.org>
and subject line Bug#626616: Removed package(s) from unstable
has caused the Debian Bug report #535107,
regarding gnome-pilot: Failed to load conduits
to be marked as done.
This means that you claim
Your message dated Sat, 14 May 2011 01:25:50 +0200
with message-id <87y62ayy47@marvin.43-1.org>
and subject line Bug#626616: Removed package(s) from unstable
has caused the Debian Bug report #613174,
regarding Please stop using HAL
to be marked as done.
This means that you claim that the probl
Your message dated Sat, 14 May 2011 01:25:50 +0200
with message-id <87y62ayy47@marvin.43-1.org>
and subject line Bug#626616: Removed package(s) from unstable
has caused the Debian Bug report #553766,
regarding replacing libreadline5-dev build dependency with libreadline-dev
to be marked as done
Your message dated Sat, 14 May 2011 01:25:50 +0200
with message-id <87y62ayy47@marvin.43-1.org>
and subject line Bug#626616: Removed package(s) from unstable
has caused the Debian Bug report #619678,
regarding gnome-pilot: FTBFS on kfreebsd-*: error: HAL/DBUS Library
requirements (dbus-glib-1
Your message dated Sat, 14 May 2011 01:25:50 +0200
with message-id <87y62ayy47@marvin.43-1.org>
and subject line Bug#626616: Removed package(s) from unstable
has caused the Debian Bug report #70949,
regarding gnome-pilot: multiple charset support missing
to be marked as done.
This means that y
Your message dated Sat, 14 May 2011 01:25:50 +0200
with message-id <87y62ayy47@marvin.43-1.org>
and subject line Bug#626616: Removed package(s) from unstable
has caused the Debian Bug report #72157,
regarding screensaver doesn't block palm syncing...
to be marked as done.
This means that you c
Your message dated Sat, 14 May 2011 01:25:50 +0200
with message-id <87y62ayy47@marvin.43-1.org>
and subject line Bug#626616: Removed package(s) from unstable
has caused the Debian Bug report #74327,
regarding gpilotd doesn't notice new conduits
to be marked as done.
This means that you claim t
We believe that the bug you reported is now fixed; the following
package(s) have been removed from unstable:
gnome-pilot | 2.0.17-2 | source, hurd-i386, kfreebsd-amd64, kfreebsd-i386
gnome-pilot | 2.32.0-2 | source, alpha, amd64, armel, hppa, i386, ia64, mips,
mipsel, powerpc, s390, sparc
lib
reopen 340907
thanks
I think you closed the wrong bug.
--
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/871v02xikn.fsf...@jidanni.org
Processing commands for cont...@bugs.debian.org:
> reopen 340907
Bug #340907 {Done: Ansgar Burchardt }
[gnome-pilot] gnome-pilot.1.gz: not enough information to start the program
'reopen' may be inappropriate when a bug has been closed with a version;
you may need to use 'found' to remove fixed v
50 matches
Mail list logo
