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

clang-analyzer: respect $NIX_CFLAGS_COMPILE

2014-05-02 14:07:37 -05:00

coan

coan: only build on Linux

2015-03-01 12:32:13 +01:00

cov-build

nixpkgs: cov-build 7.0.2

2014-04-29 16:00:34 -05:00

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