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

Bug#731349: ITP: sparse -- Semantic parser for C



Hi Mark,

Mark Brown <broonie@debian.org> (2013-12-04):
> Package: wnpp
> Severity: wishlist
> Owner: Mark Brown <broonie@debian.org>
> 
> * Package name    : sparse
>   Version         : 0.4.5
>   Upstream Author : Christopher Li <sparse@chrisli.org>
> * URL             : https://sparse.wiki.kernel.org/index.php/Main_Page
> * License         : MIT
>   Programming Lang: C
>   Description     : Semantic parser for C
> 
> 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 used to be licensed under a non-free license but has recently
> been relicensed under a MIT license.

you don't need an ITP to move it from non-free to main?

 sparse | 0.4.1+git20081218-1 | squeeze/non-free […]
 sparse | 0.4.3+20110419-1    | wheezy/non-free  […]
 sparse | 0.4.5~rc1-1         | jessie/non-free  […]
 sparse | 0.4.5~rc1-1         | sid/non-free     […]

The relicensing is good news. :)

Mraw,
KiBi.

Attachment: signature.asc
Description: Digital signature


Reply to: