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
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
frama-c	nixpkgs: move frama-c to a more appropriate directory	2014-05-01 19:14:08 -05:00
jdepend
lcov
pmd
radare
smatch
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
valgrind
valkyrie