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

Bug#794643: marked as done (ITA: sparse -- semantic parser of source files)

Your message dated Fri, 06 Nov 2015 11:00:46 +0000
with message-id <E1ZuelC-0006nn-Hh@franck.debian.org>
and subject line Bug#794643: fixed in sparse 0.5.0-1
has caused the Debian Bug report #794643,
regarding ITA: sparse -- semantic parser of source files
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 owner@bugs.debian.org
immediately.)


-- 
794643: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=794643
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: normal

Hello,

I was in contact to Pierre Habouzit <madcoder> for an update of the
sparse package.  In short Pierre isn't active any more in the open
source world and thought he orphaned sparse already.

As I don't expect any action from him, I write this bug report in
Pierre's name.

The package description is:
 Sparse, the semantic parser, provides a compiler frontend capable of
 parsing most of ANSI C as well as many GCC extensions, and a collection
 of sample compiler backends, including a static analyzer also called
 "sparse". Sparse provides a set of annotations designed to convey
 semantic information about types, such as what address space pointers
 point to, or what locks a function acquires or releases.
 .
 Sparse can be invoked directly as "sparse" or via the "cgcc" wrapper
 around the C compiler.

--- End Message ---
--- Begin Message --- 
Source: sparse
Source-Version: 0.5.0-1

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

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 794643@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Uwe Kleine-König <ukleinek@debian.org> (supplier of updated sparse 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@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Tue, 03 Nov 2015 00:43:13 +0100
Source: sparse
Binary: sparse
Architecture: source amd64
Version: 0.5.0-1
Distribution: unstable
Urgency: medium
Maintainer: Uwe Kleine-König <ukleinek@debian.org>
Changed-By: Uwe Kleine-König <ukleinek@debian.org>
Description:
 sparse     - semantic parser of source files
Closes: 524319 660274 743923 755979 794643
Changes:
 sparse (0.5.0-1) unstable; urgency=medium
 .
   * new upstream release (Closes: #743923)
     - upstream relicensed under MIT (Closes: #524319)
   * provide PREFIX already at build time (Closes: #660274)
   * Standards-Version: 3.9.6 (no changes needed)
   * Merge 0.4.5~rc1-2, thanks to Andreas Beckmann
   * Take over maintenance, drop Loïc from Uploaders (Closes: #794643)
   * cherry-pick patches from upstream to make sparse multi-arch aware
     (Closes: #755979)
Checksums-Sha1:
 bb07ef4aa17069024692a55bb0c7a6edf0da3cfe 1504 sparse_0.5.0-1.dsc
 8ed2ab82cf136d9c929ff6718fa13b162a16fe92 187576 sparse_0.5.0.orig.tar.xz
 dbe6dd27fece2e5304ecb710f9f4289198805f7c 7228 sparse_0.5.0-1.debian.tar.xz
 bf6ae1dce3200c404add4dfb5c5ba83cefa7558c 1325130 sparse_0.5.0-1_amd64.deb
Checksums-Sha256:
 b229d2d5a4e39f178246efce3d7bdfaffab7db087957e2e779972be6c095a190 1504 sparse_0.5.0-1.dsc
 921fcf918c6778d1359f3886ac8cb4cf632faa6242627bc2ae2db75e983488d5 187576 sparse_0.5.0.orig.tar.xz
 4b1b42b05b785da871f75235adf703cbee8d102e16fbfac128912791f5e0ee3b 7228 sparse_0.5.0-1.debian.tar.xz
 708646f55ce6c7ab81d07145af953d09cf4d49fc01d75d8f2d2f78025c161d87 1325130 sparse_0.5.0-1_amd64.deb
Files:
 6839395820c194d5f61d7c40eda607c9 1504 devel optional sparse_0.5.0-1.dsc
 68bc834c57836251fbee55a7707bab39 187576 devel optional sparse_0.5.0.orig.tar.xz
 9a4348349dcbf2b96b93a5195a58147d 7228 devel optional sparse_0.5.0-1.debian.tar.xz
 4d120b3f5bb2d4f18048b66fe58eda70 1325130 devel optional sparse_0.5.0-1_amd64.deb

-----BEGIN PGP SIGNATURE-----

iQEcBAEBCgAGBQJWOLFpAAoJEMH8FHityuwJA/IH/Rq7/k8ScoW8KSxwj8XbERQr
exH+S3Y8ioauxJPcB6CtWOjT0qo3KIe3tZQI7nbP8cymp9b9bj9lO8zGquXg1fjW
bf2jXpZdielqVBu7inaM8yod2YF60cAEKA35O8pF/fWyWIX4UnRv1OtppXov4nxr
NZNbQhNlly87r9wndNi2A2mg/xG+uPSehfd87+0ZMHi5zZxpBxWv5eIhISAh2OYI
f1EbboHzKAS4jLLSpleZrJmzV81dzdyGrH23DpsqdpSbazK2r75l4YW4j0/Od/k8
fHQh0IIQvcpGbAqEvpH0o2/AluRNcF8Qrn46tJgvOJ6R+yyL/4ggTQQxySGx71k=
=2Shq
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: