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

Bug#397780: marked as done (ITP: sparse -- semantic parser of source files)



Your message dated Sun, 12 Nov 2006 07:01:35 -0800
with message-id <E1GjGpz-00060T-PQ@spohr.debian.org>
and subject line Bug#397780: fixed in sparse 0.1-1
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: wnpp
Severity: wishlist
Owner: Loic Minier <lool@dooz.org>

        Hi,

* Package name    : sparse
  Version         : 0.1
  Upstream Author : Linus Torvalds and others
* URL             : http://kernel.org/pub/linux/kernel/people/josh/sparse/
* License         : Open Software License v1.1
  Programming Lang: C and Perl
  Description     : semantic parser of source files

 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.


 This is targetted at non-free due to a choice of venue clause and at
 experimental since it is the first release.  I'm attaching the
 debian/copyright which has the details.

   Cheers,

-- System Information:
Debian Release: 4.0
  APT prefers unstable
  APT policy: (500, 'unstable'), (1, 'experimental')
Architecture: i386 (i686)
Shell:  /bin/sh linked to /bin/bash
Kernel: Linux 2.6.18-2-686
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)

-- 
Loïc Minier <lool@dooz.org>


--- End Message ---
--- Begin Message ---
Source: sparse
Source-Version: 0.1-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:

sparse_0.1-1.diff.gz
  to pool/non-free/s/sparse/sparse_0.1-1.diff.gz
sparse_0.1-1.dsc
  to pool/non-free/s/sparse/sparse_0.1-1.dsc
sparse_0.1-1_i386.deb
  to pool/non-free/s/sparse/sparse_0.1-1_i386.deb
sparse_0.1.orig.tar.gz
  to pool/non-free/s/sparse/sparse_0.1.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 397780@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Loic Minier <lool@dooz.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@debian.org)


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

Format: 1.7
Date: Thu,  9 Nov 2006 13:09:59 +0100
Source: sparse
Binary: sparse
Architecture: source i386
Version: 0.1-1
Distribution: experimental
Urgency: low
Maintainer: Loic Minier <lool@dooz.org>
Changed-By: Loic Minier <lool@dooz.org>
Description: 
 sparse     - semantic parser of source files
Closes: 397780
Changes: 
 sparse (0.1-1) experimental; urgency=low
 .
   * Initial release; closes: #397780.
Files: 
 94b36bd00aafd870f90cb2b2b208c8ba 547 non-free/devel optional sparse_0.1-1.dsc
 367d1cb0a26db26e2da47a491bc95374 172872 non-free/devel optional sparse_0.1.orig.tar.gz
 ed43d82540e312c31bd989f4cf5a5ebe 5369 non-free/devel optional sparse_0.1-1.diff.gz
 34471ad8638c4ce4fb284151c211053c 97290 non-free/devel optional sparse_0.1-1_i386.deb

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

iD8DBQFFUy3L4VUX8isJIMARArAJAKCrVuEprpRxcs40UyNAWJK19lks+ACfVRqp
WUizF83LOkQhHEPHasd6sIo=
=qg13
-----END PGP SIGNATURE-----


--- End Message ---

Reply to: