Pascal Wittmann 5df645dd28 spin: update from 5.1.7 to 6.3.2, clean up and fetch sources as a different user agent (the default curl agent string is blocked)

2014-07-14 19:57:33 +02:00

..

cccc

cccc: New package 3.1.4

2014-05-09 16:50:36 +02:00

checkstyle

Some description fixes

2013-10-05 19:36:23 +02:00

clang-analyzer

clang-analyzer: respect $NIX_CFLAGS_COMPILE

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

cov-build

nixpkgs: cov-build 7.0.2

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

cppcheck

cppcheck: update from 1.64 to 1.65

2014-06-21 14:04:15 +02:00

emma

* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless

2012-01-18 20:16:00 +00:00

findbugs

findbugs: Clean up packaging

2014-01-23 14:17:44 +01:00

frama-c

nixpkgs: move frama-c to a more appropriate directory

2014-05-01 19:14:08 -05:00

jdepend

More description fixes

2013-10-06 12:01:38 +02:00

lcov

lcov: Don't warn about missing source files

2014-02-05 20:17:01 +01:00

pmd

More description fixes

2013-10-06 12:01:38 +02:00

radare

Remove a bunch of unreferenced files

2012-11-29 13:43:37 +01:00

smatch

Add package versions to some of the packages or fix existing ones to conform to nixpkgs conventions.

2013-06-07 03:15:45 +03:00

sparse

sparse: updated to version 0.4.4

2012-02-15 16:07:38 +00:00

spin

spin: update from 5.1.7 to 6.3.2, clean up and fetch sources as a different user agent (the default curl agent string is blocked)

2014-07-14 19:57:33 +02:00

splint

splint: improve meta attributes

2013-08-06 21:20:47 +02:00

valgrind

valgrind: Support Glibc 2.19

2014-02-26 12:39:46 +01:00

valkyrie

Adding valkyrie, a frontend for some valgrind 3.6 tools.

2010-11-22 19:10:15 +00:00