Pascal Wittmann 06e2fdc62e spin: update from 6.4.1 to 6.4.3		2015-04-28 09:57:10 +02:00
..
cccc
checkstyle	checkstyle: update from 6.4.1 to 6.5	2015-04-08 16:03:03 +02:00
clang-analyzer
coan	coan: only build on Linux	2015-03-01 12:32:13 +01:00
cov-build
cppcheck	cppcheck: 1.67 -> 1.68	2015-02-05 16:58:21 +01:00
emma
findbugs	findbugs: update from 3.0.0 to 3.0.1	2015-03-09 19:35:24 +01:00
flow	Add Flow	2014-11-18 21:15:55 -07:00
frama-c	zarith: propagate build input gmp	2014-11-07 09:50:39 +00:00
include-what-you-use	include-what-you-use: pin clang to version 3.5	2015-03-26 00:29:42 +01:00
jdepend
lcov	Fix many package descriptions	2014-08-24 22:31:37 +02:00
massif-visualizer	Add new kgraphviewer and massif-visualizer packages	2014-09-03 17:04:22 +02:00
pmd	pmd: update from 4.2.6 to 5.2.3	2015-03-12 21:19:49 +01:00
radare	Fix radre for now by not using libewf and update it to latest	2014-09-03 23:02:02 +04:00
radare2	Add radare2	2014-09-03 23:02:02 +04:00
rr	nixpkgs: rr 2.0.0 -> 3.0.0, with 64bit support	2014-12-12 01:20:23 -06:00
smatch	Turn more licenses into lib.licenses style	2014-11-06 00:48:16 +00:00
sparse	Fix many package descriptions	2014-08-24 22:31:37 +02:00
spin	spin: update from 6.4.1 to 6.4.3	2015-04-28 09:57:10 +02:00
splint
valgrind	valgrind: patch build system to allow linux kernels of v4.x	2015-04-21 20:40:15 -07:00
valkyrie	Mark a bunch of packages as broken or not supported on Darwin	2014-08-08 17:59:02 +02:00