nixpkgs/pkgs/development/tools/analysis
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 python: autoflake: 1.1 -> 1.2 2018-06-22 13:09:35 +02:00
brakeman brakeman: init at 4.3.1 (#44294) 2018-08-01 15:15:29 +02:00
cccc pkgs: refactor needless quoting of homepage meta attribute (#27809) 2017-08-01 22:03:30 +02:00
checkstyle checkstyle: 8.12 -> 8.13 2018-10-15 23:22:38 -07:00
clang-analyzer use dontBuild instead of hacks 2016-05-04 10:11:04 +00:00
coan Remove nckx as a maintainer for all packages 2018-01-16 23:00:49 +01:00
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 emma: add license 2018-08-05 16:37:30 +02:00
eresi eresi: init at 0.83-a3-phoenix 2018-07-31 08:17:39 +02:00
findbugs findbugs: add license 2018-08-05 16:40:43 +02:00
flow flow: 0.79.0 -> 0.80.0 2018-09-06 23:07:15 -07:00
frama-c framac: 20171101 (Sulfur) -> 20180502 (Chlorine) (#45455) 2018-08-22 23:13:48 +02:00
garcosim tracefilegen: 2015-11-14 -> 2017-05-13 2017-11-25 14:07:07 +01:00
hotspot pkgs: refactor needless quoting of homepage meta attribute (#27809) 2017-08-01 22:03:30 +02:00
include-what-you-use include-what-you-use: 0.8 -> 0.10 2018-09-27 16:44:49 +02:00
jdepend jdepend: add myself (pSub) as maintainer 2018-07-17 22:00:14 +02:00
kcov kcov: 35 -> 36 2018-08-30 01:07:45 +09:00
lcov maintainers: remove mornfall from packages 2018-01-17 05:17:33 +00:00
makefile2graph makefile2graph: init at 2018-01-03 (#46136) 2018-09-18 08:03:14 +00:00
massif-visualizer tree-wide: autorename gnome packages to use dashes 2018-02-25 17:41:16 +01:00
panopticon panopticon: init -> 0.16.0 2018-03-26 22:42:36 +02:00
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 pkgs/*: remove unreferenced function arguments 2018-07-21 02:48:04 +00:00
radare pkgs/*: remove unreferenced function arguments 2018-07-21 02:48:04 +00:00
radare2 Merge pull request #48582 from dtzWill/update/radare2-cutter-1.7.2 2018-10-17 09:28:17 +01:00
randoop randoop: init at 3.1.5 2017-06-04 17:19:23 +02:00
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 misc pkgs: Basic sed to get fix pkgconfig and autoreconfHook buildInputs 2017-09-21 15:49:53 -04:00
snowman snowman: 0.1.2 -> 0.1.3 2018-10-19 20:56:40 -05:00
sparse misc pkgs: Basic sed to get fix pkgconfig and autoreconfHook buildInputs 2017-09-21 15:49:53 -04:00
spin spin: switch back to dropbox mirror 2018-04-07 17:39:54 +02:00
splint splint: update homepage 2018-09-02 20:55:47 +02:00
swarm pkgs: refactor needless quoting of homepage meta attribute (#27809) 2017-08-01 22:03:30 +02:00
valgrind valgrind: enable debug info (#47251) 2018-09-24 22:57:38 +02:00
valkyrie valkyrie: add myself (pSub) as maintainer 2018-07-17 21:48:15 +02:00