[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#424719: marked as done (ITA: splint -- A tool for statically checking C programs for bugs)

Your message dated Thu, 20 Dec 2007 12:26:54 +0000
with message-id <E1J5KUI-0007T3-Q9@ries.debian.org>
and subject line Bug#424719: fixed in splint 3.1.2.dfsg-3
has caused the attached Bug report 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 I am
talking about this indicates a serious mail system misconfiguration
somewhere.  Please contact me immediately.)

Debian bug tracking system administrator
(administrator, Debian Bugs database)
--- Begin Message --- 
Package: splint
Version: 3.1.1-6
Severity: normal



-- System Information:
Debian Release: lenny/sid
  APT prefers oldstable
  APT policy: (500, 'oldstable'), (500, 'unstable'), (500, 'testing')
Architecture: i386 (i686)

Kernel: Linux 2.6.20.3-dvb (PREEMPT)
Locale: LANG=C, LC_CTYPE=C (charmap=ANSI_X3.4-1968) (ignored: LC_ALL set to C)
Shell: /bin/sh linked to /bin/bash

Versions of packages splint depends on:
ii  libc6                         2.5-7      GNU C Library: Shared libraries

splint recommends no packages.

-- no debconf information

--- End Message ---
--- Begin Message --- 
Source: splint
Source-Version: 3.1.2.dfsg-3

We believe that the bug you reported is fixed in the latest version of
splint, which is due to be installed in the Debian FTP archive:

splint-data_3.1.2.dfsg-3_all.deb
  to pool/main/s/splint/splint-data_3.1.2.dfsg-3_all.deb
splint-doc-html_3.1.2.dfsg-3_all.deb
  to pool/main/s/splint/splint-doc-html_3.1.2.dfsg-3_all.deb
splint_3.1.2.dfsg-3.diff.gz
  to pool/main/s/splint/splint_3.1.2.dfsg-3.diff.gz
splint_3.1.2.dfsg-3.dsc
  to pool/main/s/splint/splint_3.1.2.dfsg-3.dsc
splint_3.1.2.dfsg-3_i386.deb
  to pool/main/s/splint/splint_3.1.2.dfsg-3_i386.deb
splint_3.1.2.dfsg.orig.tar.gz
  to pool/main/s/splint/splint_3.1.2.dfsg.orig.tar.gz



A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 424719@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Y Giridhar Appaji Nag <giridhar@appaji.net> (supplier of updated splint package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.7
Date: Mon, 17 Dec 2007 14:38:24 +0530
Source: splint
Binary: splint-doc-html splint-data splint
Architecture: source all i386
Version: 3.1.2.dfsg-3
Distribution: unstable
Urgency: low
Maintainer: Y Giridhar Appaji Nag <giridhar@appaji.net>
Changed-By: Y Giridhar Appaji Nag <giridhar@appaji.net>
Description: 
 splint     - A tool for statically checking C programs for bugs
 splint-data - Data files for splint - A static checker for C programs
 splint-doc-html - Documentation for splint - A static checker for C programs
Closes: 171437 298261 343564 352298 424719 430328 436744
Changes: 
 splint (3.1.2.dfsg-3) unstable; urgency=low
 .
   * Update patch 02_manpage to fix lintian I: hyphen-used-as-minus-sign
 .
 splint (3.1.2.dfsg-2) unstable; urgency=low
 .
   * Remove useless debian/*.dirs files
   * Correct versionsed dependencies, use '= ${source:Version}'
   * splint-doc-html suggests as opposed to recommending splint
   * DFSG source directory in tar file is now .dfsg and not .orig
 .
 splint (3.1.2.dfsg-1) unstable; urgency=low
 .
   * Adopted by Y Giridhar Appaji Nag <giridhar@appaji.net> (Closes: #424719)
   * New upstream release (Closes: #298261)
     + Fixes K&R / standard C mismatch (Closes: #171437)
   * debian/:
     + Switch from DH_COMPAT=3 to debian/compat (5)
     + Add a debian/watch file
     + Add lintian/linda overrides for manpage splint(1)
   * debian/control
     + Split into splint-data (large arch indep size), splint-doc-html and
       splint binary packages
     + Add Homepage: and Vcs-*: fields
     + Bump up Standards-Version to 3.7.3, updated debian/copyright
   * debian/copyright
     + Includes all the correct copyright holders (Closes: #436744)
   * Use dpatch.
     + Patch 01_build: 'make clean' fixes to remove the generated bin/* and
       *.lcs files
     + Patch 02_manpage: Remove references to lint, invalid header/footer.
       Correct typos.  Thanks Reynaldo H. Verdejo Pinochet and Justin Pryzby
       (Closes: #352298, #343564)
   * Rebuild for ldbl128 transition (Closes: #430328)
   * Add .dfsg to version (Removed manual.pdf that has MS word sources).  Add
     {faq,bugs,changes}.html via get-orig-source
Files: 
 1fce703291210f355c33d98ec9e89023 831 devel optional splint_3.1.2.dfsg-3.dsc
 2a174bccbf10d0457811d2cd5c094bc7 1800342 devel optional splint_3.1.2.dfsg.orig.tar.gz
 5813fc3582a0aa505ef94fae992394db 7863 devel optional splint_3.1.2.dfsg-3.diff.gz
 68f079bbdbc489ea7512733ae3772c08 173014 devel optional splint-data_3.1.2.dfsg-3_all.deb
 ec6132034a899d11d8fd7e83f741bc28 135074 doc optional splint-doc-html_3.1.2.dfsg-3_all.deb
 ade530f64e9d2b51dac95128adee0c27 641610 devel optional splint_3.1.2.dfsg-3_i386.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)

iD8DBQFHZ2eX3DVS6DbnVgQRAoytAKCBSuyY/1VSdLde8V4t+rgTQ+UHXgCg9R10
78AHg7j+IpkGIRv3tTFTgdQ=
=eELI
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: