Jörg Thalheim b5ad615474 verasco: remove unmaintained project ... Verasco is no longer maintained by upstream and blocks updates of some libraries. Removing it also makes it possible to remove coq 8.4.		2018-10-30 13:31:11 +00:00
..
autoflake
brakeman
cccc
checkstyle	checkstyle: 8.12 -> 8.13	2018-10-15 23:22:38 -07:00
clang-analyzer
coan
cov-build	reewide: Purge all uses stdenv.system and top-level system	2018-08-30 17:20:32 -04:00
cppcheck	cppcheck: 1.84 -> 1.85	2018-10-29 00:19:46 +03:00
cpplint	cpplint: init at 1.3.0	2018-10-12 18:51:43 +00:00
egypt	buildPerlPackage -> perlPackages.buildPerlPackage	2018-10-14 09:10:41 +02:00
emma
eresi
findbugs
flow	flow: 0.79.0 -> 0.80.0	2018-09-06 23:07:15 -07:00
frama-c
garcosim
hotspot
include-what-you-use	include-what-you-use: 0.8 -> 0.10	2018-09-27 16:44:49 +02:00
jdepend
kcov
lcov
makefile2graph	makefile2graph: init at 2018-01-03 (#46136)	2018-09-18 08:03:14 +00:00
massif-visualizer
panopticon
pev	pev: init at unstable-2018-07-22	2018-09-22 12:14:56 +02:00
pmd	pmd: 6.7.0 -> 6.8.0 (#47736)	2018-10-11 13:20:01 +02:00
qcachegrind
radare
radare2	Merge pull request #48582 from dtzWill/update/radare2-cutter-1.7.2	2018-10-17 09:28:17 +01:00
randoop
retdec	retdec: 3.0 -> 3.2	2018-10-11 23:53:00 +02:00
rr	rr: build according to C++14 standard	2018-10-21 16:18:36 +02:00
smatch
snowman	snowman: 0.1.2 -> 0.1.3	2018-10-19 20:56:40 -05:00
sparse
spin
splint	splint: update homepage	2018-09-02 20:55:47 +02:00
swarm
valgrind	valgrind: enable debug info (#47251)	2018-09-24 22:57:38 +02:00
valkyrie