Package: splint
Version: 3.1.2.dfsg1-2
Severity: normal
Dear Maintainer,
I've run into some C syntax that causes the `splint` program to report an
"Internal Bug".
Here is the exact command and its output.
```
$ splint constant.c
Splint 3.1.2 --- 03 May 2009
constraintGeneration.c:1381: at
Control: retitle -1 autofs should build-depend and recommend e2fsprogs
Control: tags -1 + confirmed
On Sun, Jan 14, 2018 at 08:02:46PM +0100, Helmut Grohne wrote:
> Package: autofs
[...]
> /usr/lib/x86_64-linux-gnu/autofs/mount_ext2.so contains fsck.ext2, fsck.ext3
> and fsck.ext4. According to f
Processing control commands:
> retitle -1 autofs should build-depend and recommend e2fsprogs
Bug #887284 [autofs] autofs should depend on e2fsprogs explicitly
Changed Bug title to 'autofs should build-depend and recommend e2fsprogs' from
'autofs should depend on e2fsprogs explicitly'.
> tags -1 +
Processing commands for cont...@bugs.debian.org:
> forcemerge 850163 858270 762000
Bug #850163 [xpdf] xpdf fails to render Japanese text with various pdf files
Bug #858270 [xpdf] xpdf: debian's xpdf fails to render text in graphics while
upstream version works
Marked as found in versions xpdf/3.0
Processing commands for cont...@bugs.debian.org:
> tags 850163 + pending
Bug #850163 [xpdf] xpdf fails to render Japanese text with various pdf files
Bug #762000 [xpdf] xpdf: Missing glyphs, "Syntax Error: Missing language pack
for 'Adobe-GB1' mapping"
Bug #858270 [xpdf] xpdf: debian's xpdf fails
xpdf 4.00 switched from motif to QT. IMHO this eliminates the only
reason to use xpdf instead of evince, given that both are based on
poppler in Debian. I think we should keep maintaining 3.04 as a fork as
long as this is feasible, although anyone is of course welcome to
backport fixes and features
Your message dated Wed, 14 Feb 2018 00:02:14 +0100
with message-id <20180213230214.gz924...@zedat.fu-berlin.de>
and subject line Re: zoom indicator not ready to deal arbitrary --zoom value
has caused the Debian Bug report #510923,
regarding zoom indicator not ready to deal arbitrary --zoom value
to
Your message dated Wed, 14 Feb 2018 00:07:23 +0100
with message-id <20180213230723.gb924...@zedat.fu-berlin.de>
and subject line Re: xpdf: -cont no more works
has caused the Debian Bug report #783913,
regarding xpdf: -cont no more works
to be marked as done.
This means that you claim that the prob
Your message dated Wed, 14 Feb 2018 00:04:44 +0100
with message-id <20180213230444.ga924...@zedat.fu-berlin.de>
and subject line Re: xpdf -z option under jessie
has caused the Debian Bug report #833673,
regarding xpdf -z option under jessie
to be marked as done.
This means that you claim that the
Processing commands for cont...@bugs.debian.org:
> reassign 606285 poppler
Bug #606285 [xpdf] "Error: Expected the default config" should be clearer
Bug reassigned from package 'xpdf' to 'poppler'.
No longer marked as found in versions xpdf/3.02-11.
Ignoring request to alter fixed versions of bug
Processing commands for cont...@bugs.debian.org:
> fixed 783913 3.04-5
Bug #783913 {Done: Florian Schlichting } [xpdf] xpdf: -cont no
more works
Marked as fixed in versions xpdf/3.04-5.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
783913: https://bugs.debian.o
Processing commands for cont...@bugs.debian.org:
> fixed 833673 3.04-5
Bug #833673 {Done: Florian Schlichting } [xpdf] xpdf -z option
under jessie
Marked as fixed in versions xpdf/3.04-5.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
833673: https://bugs.debian
On 2018-02-13 23:39:09 +0100, Florian Schlichting wrote:
> xpdf 4.00 switched from motif to QT. IMHO this eliminates the only
> reason to use xpdf instead of evince,
Not really. One problem with evince is that its UI is designed for
GNOME only:
https://bugzilla.gnome.org/show_bug.cgi?id=745854
Your message dated Wed, 14 Feb 2018 03:20:59 +
with message-id
and subject line Bug#798312: fixed in urlwatch 2.7-1
has caused the Debian Bug report #798312,
regarding urlwatch: new upstream release 1.18
to be marked as done.
This means that you claim that the problem has been dealt with.
If
Your message dated Wed, 14 Feb 2018 03:20:59 +
with message-id
and subject line Bug#771907: fixed in urlwatch 2.7-1
has caused the Debian Bug report #771907,
regarding urlwatch: option for disabling certificate verification
to be marked as done.
This means that you claim that the problem has
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Fri, 09 Feb 2018 06:21:33 +0100
Source: urlwatch
Binary: urlwatch
Architecture: source
Version: 2.7-1
Distribution: unstable
Urgency: low
Maintainer: Maxime Werlen
Changed-By: Maxime Werlen
Description:
urlwatch - tool for moni
16 matches
Mail list logo
