Pascal Wittmann 4a9df12721 Merge pull request #7708 from vbgl/framac-sodium ... frama-c: update from Neon to Sodium		2015-05-05 21:49:46 +02:00
..
cccc	cccc: New package 3.1.4	2014-05-09 16:50:36 +02:00
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.68 -> 1.69	2015-05-03 00:22:23 +02:00
egypt	Add egypt 1.10: create simple C call graphs	2015-05-05 19:43:18 +02: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	frama-c: update from Neon to Sodium	2015-05-05 19:59:54 +02: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