Pascal Wittmann
d0a1a8bf47
checkstyle: 6.16 -> 6.16.1
2016-03-16 18:10:01 +01:00
Vincent Laporte
456d16ff4b
verasco: init at 1.3
2016-03-14 12:06:18 +01:00
Joachim Fasting
93efa92367
cppcheck: move build-time dependencies to nativeBuildInputs
2016-03-12 19:06:57 +01:00
Nikolay Amiantov
2a288ad435
spin: add gcc to path
2016-03-12 14:13:42 +03:00
Joachim Fasting
757a1f7fe9
cppcheck: 1.69 -> 1.72
...
Also add myself to the list of maintainers
2016-03-05 19:09:02 +01:00
Nikolay Amiantov
1e51364dd5
spin: 6.4.3 -> 6.4.5
2016-03-04 14:46:46 +03:00
Pascal Wittmann
931fa7433d
checkstyle: 6.15 -> 6.16
2016-02-29 23:35:32 +01:00
zimbatm
69ce5cb656
use the sourceforge mirrors everywhere
...
find pkgs -name "*.nix" -exec sed -r \
"s|https?://downloads.sourceforge.net/|mirror://sourceforge/|g" -i {} \;
2016-02-28 12:07:42 +00:00
Pascal Wittmann
eef111fee8
checkstyle: 6.14.1 -> 6.15
2016-02-15 17:35:11 +01:00
Moritz Ulrich
4ee173e011
rr: 4.0.0 -> 4.0.3
2016-01-29 12:28:08 +01:00
Tobias Geerinckx-Rice
9fb8020e4e
Add version attribute where maintainers |= nckx
...
This will probably be mandatory soon, and is a step in the right
direction. Removes the deprecated meta.version, and move some meta
sections to the end of the file where I should have put them in
the first place.
2016-01-25 17:35:21 +01:00
Pascal Wittmann
642065e8d4
checkstyle: 6.13 -> 6.14.1
2016-01-03 19:42:59 +01:00
Tobias Geerinckx-Rice
ca8903c3c2
include-what-you-use: use unversioned llvm attribute
...
...in the expression itself, while hard-coding the officially supported
version in all-packages.nix for sanity's sake (mine).
2015-12-20 03:22:24 +01:00
Tobias Geerinckx-Rice
986f446674
include-what-you-use: 0.4 -> 0.5
...
Compatible with llvm+clang 3.7. Changes:
- Added Boost and Qt mappings.
- Better support for using declarations.
- Allow size_t from multiple headers.
- Fixed handling includes with common path prefix.
More: http://include-what-you-use.org/
2015-12-20 03:15:36 +01:00
Pascal Wittmann
42c7004d33
checkstyle: 6.12.1 -> 6.13
2015-12-12 12:05:19 +01:00
Arseniy Seroka
e024f7fec9
Merge pull request #11409 from FlorentBecker/kcov
...
kcov: fix issue #11399
2015-12-03 16:28:45 +03:00
Florent Becker
fa8586495d
kcov: fix issue #11399
2015-12-02 22:20:01 +01:00
Tobias Geerinckx-Rice
2798b02ad0
Convert some *Flags from strings to lists
2015-11-26 23:45:31 +01:00
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
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
