Pascal Wittmann
0773d7b576
checkstyle: 6.11.2 -> 6.12.1
2015-11-22 14:07:53 +01:00
Pascal Wittmann
7fd2796e99
Replace 'with plaforms; platform' with 'platforms.platform'
2015-11-17 21:30:43 +01:00
lethalman
ca186286d7
Merge pull request #10986 from teh/master
...
update flow + new go binary (codesearch)
2015-11-16 20:45:10 +01:00
Florent Becker
7ff5826e08
kcov : init at 29
2015-11-15 18:07:48 +01:00
Tom Hunger
14efaba4c8
flow: 0.17.0 -> 0.18.1
2015-11-11 15:28:56 +00:00
Matthijs Steen
67c4c5fd16
flow: added Linux support
...
Changed the build inputs to only include the additional Darwin inputs when building for Darwin.
2015-11-10 16:23:20 +01:00
Nicolas B. Pierron
13a379cfa2
Merge pull request #10672 from wizeman/u/upd-rr
...
rr: 3.0.0 -> 4.0.0
2015-11-05 14:21:25 +00:00
Jude Taylor
137cadb66b
darwin purity: flow
2015-11-03 04:53:25 -08:00
Ricardo M. Correia
3136a17834
rr: 3.0.0 -> 4.0.0
2015-10-28 23:20:42 +01:00
Robin Gloster
5815b95176
flow: 0.14.0 -> 0.17.0
2015-10-18 10:22:47 +00:00
Pascal Wittmann
9d37d4cc9d
checkstyle: 6.10.1 -> 6.11.2
2015-10-06 13:13:57 +02:00
Eelco Dolstra
5b52b3589c
valgrind: Update to 3.11.0
2015-09-28 15:52:31 +02:00
Thomas Tuegel
2e0589b4ca
kde414: build with kdelibs-4.14.12
...
Upstream changes to the build system required adjusting many packages'
dependencies. On the Nixpkgs side, we no longer propagate the dependency
on cmake (to reduce closure size), so downstream dependencies had to be
adjusted for most packages that depend on kdelibs.
2015-09-27 15:08:12 -05:00
Pascal Wittmann
7ed4046d90
checkstyle: 6.9 -> 6.10.1
2015-09-08 13:53:28 +02:00
Daniel Brockman
06b6648770
flow: 0.13.1 -> 0.14.0, fixes #9321
2015-09-03 13:51:08 +02:00
Eelco Dolstra
4e41b64511
valgrind: Separate doc output
2015-08-27 19:07:44 +02:00
Pascal Wittmann
6f5c2ec311
checksyle: update from 6.8.2 to 6.9
2015-08-08 00:08:50 +02:00
Pascal Wittmann
454dc664a6
checkstyle: update from 6.8.1 to 6.8.2
2015-08-05 14:44:41 +02:00
Daniel Brockman
322358db03
flow: 0.1.0 -> 0.13.1
2015-07-27 12:00:54 +02:00
Pascal Wittmann
f5c91c445f
checkstyle: update from 6.8 to 6.8.1
2015-07-01 20:21:33 +02:00
Pascal Wittmann
439ce0d07d
checkstyle: update from 6.7 to 6.8
2015-06-29 12:50:34 +02:00
Austin Seipp
c3fcd5ecb7
nixpkgs: Remove bunk 'infer' expression
...
This was accidentally committed because I'm a goof - see
1ee742b0ef
.
Thanks to ftrvxmtrx on IRC for spotting.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2015-06-18 11:37:51 -05:00
Vincent Laporte
2583b22573
frama-c: fix hash, closes #8308
2015-06-18 11:47:34 +02:00
Tobias Geerinckx-Rice
98b2d7b727
Separate nativeBuildInputs where maintainers |= nckx
2015-06-17 22:21:32 +02:00
Austin Seipp
1ee742b0ef
nixpkgs: afl 1.80b -> 1.83b
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2015-06-14 14:28:00 -05:00
Tobias Geerinckx-Rice
2156937166
include-what-you-use 3.6 -> 0.4 (sic)
...
Not a downgrade. Upstream's weird.
2015-06-12 02:27:53 +02:00
Pascal Wittmann
ed9455838c
checkstyle: update from 6.6 to 6.7
2015-05-31 20:25:33 +02:00
Peter Simons
99273a6716
Merge pull request #8047 from nckx/master
...
Don't use "with licenses;" for single licences
2015-05-28 22:14:53 +02:00
Tobias Geerinckx-Rice
158e1cfdd0
Don't use "with licenses;" for single licences
...
And don't use square brackets on such lines.
2015-05-28 19:20:29 +02:00
Pascal Wittmann
1a3860e95a
checkstyle: update from 6.5 to 6.6
2015-05-28 18:49:06 +02:00
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
Vincent Laporte
67529e7a08
frama-c: update from Neon to Sodium
2015-05-05 19:59:54 +02:00
Tobias Geerinckx-Rice
2c62a0a930
Add egypt 1.10: create simple C call graphs
2015-05-05 19:43:18 +02:00
Aristid Breitkreuz
6f5bfcdb33
Merge pull request #7665 from joachifm/cppcheck
...
cppcheck: 1.68 -> 1.69
2015-05-03 13:34:12 +02:00
Joachim Fasting
127050d851
cppcheck: 1.68 -> 1.69
...
Also update meta and install man page.
2015-05-03 00:22:23 +02:00
Pascal Wittmann
06e2fdc62e
spin: update from 6.4.1 to 6.4.3
2015-04-28 09:57:10 +02:00
Cray Elliott
e73921aee1
valgrind: patch build system to allow linux kernels of v4.x
2015-04-21 20:40:15 -07:00
Pascal Wittmann
4576a72e45
checkstyle: update from 6.4.1 to 6.5
2015-04-08 16:03:03 +02:00
Tobias Geerinckx-Rice
9060ae8f89
include-what-you-use: pin clang to version 3.5
...
Fixes Hydra failure with clang 3.6 <http://hydra.nixos.org/build/20560181 >.
Also shorten excessive longDescription a bit.
2015-03-26 00:29:42 +01:00
Vladimír Čunát
e924f05cc3
Merge branch 'master' into staging
2015-03-17 13:35:05 +01:00
Pascal Wittmann
9cda91bcd8
pmd: update from 4.2.6 to 5.2.3
2015-03-12 21:19:49 +01:00
Peter Simons
6694ef42a9
Merge branch 'master' into staging.
...
Conflicts:
pkgs/development/libraries/gtk+/2.x.nix
pkgs/tools/security/gnupg/21.nix
pkgs/top-level/all-packages.nix
2015-03-10 12:09:43 +01:00
Pascal Wittmann
362f2db258
findbugs: update from 3.0.0 to 3.0.1
2015-03-09 19:35:24 +01:00
Peter Simons
1d953779b0
Merge remote-tracking branch 'origin/master' into staging.
2015-03-05 12:24:57 +01:00
Pascal Wittmann
824accb1cb
checkstyle: update from 6.4 to 6.4.1
2015-03-04 12:23:37 +01:00
Vladimír Čunát
4dd253c306
valgrind: fix build with glibc-2.21 by Arch patch
2015-03-03 11:36:43 +01:00
Tobias Geerinckx-Rice
ebf122c36f
coan: only build on Linux
2015-03-01 12:32:13 +01:00
Pascal Wittmann
b8d5e2fd6a
checkstyle: update from 6.3 to 6.4
2015-03-01 09:53:41 +01:00
Tobias Geerinckx-Rice
841905e1ea
coan: skip checks; they work locally but fail on Hydra
...
This reverts commit 607cc808d8
.
2015-02-23 01:45:08 +01:00
Tobias Geerinckx-Rice
607cc808d8
coan: run checks
2015-02-17 05:13:40 +01:00