Pascal Wittmann 5df645dd28 spin: update from 5.1.7 to 6.3.2, clean up and fetch sources as a different user agent (the default curl agent string is blocked)		2014-07-14 19:57:33 +02:00
..
cccc	cccc: New package 3.1.4	2014-05-09 16:50:36 +02:00
checkstyle	Some description fixes	2013-10-05 19:36:23 +02:00
clang-analyzer	clang-analyzer: respect $NIX_CFLAGS_COMPILE	2014-05-02 14:07:37 -05:00
cov-build	nixpkgs: cov-build 7.0.2	2014-04-29 16:00:34 -05:00
cppcheck	cppcheck: update from 1.64 to 1.65	2014-06-21 14:04:15 +02:00
emma
findbugs	findbugs: Clean up packaging	2014-01-23 14:17:44 +01:00
frama-c	nixpkgs: move frama-c to a more appropriate directory	2014-05-01 19:14:08 -05:00
jdepend	More description fixes	2013-10-06 12:01:38 +02:00
lcov	lcov: Don't warn about missing source files	2014-02-05 20:17:01 +01:00
pmd	More description fixes	2013-10-06 12:01:38 +02:00
radare
smatch	Add package versions to some of the packages or fix existing ones to conform to nixpkgs conventions.	2013-06-07 03:15:45 +03:00
sparse
spin	spin: update from 5.1.7 to 6.3.2, clean up and fetch sources as a different user agent (the default curl agent string is blocked)	2014-07-14 19:57:33 +02:00
splint	splint: improve meta attributes	2013-08-06 21:20:47 +02:00
valgrind	valgrind: Support Glibc 2.19	2014-02-26 12:39:46 +01:00
valkyrie