cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
64502 commits 1 branch 0 tags 3.7 GiB
Commit graph

157 commits

Author SHA1 Message Date
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
Tobias Geerinckx-Rice
54397283b0 Add include-what-you-use 3.5: static C/C++ #include analyser 2015-02-11 00:14:16 +01:00
Arseniy Seroka
c477e173de Merge pull request #6179 from k0ral/cppcheck 
cppcheck: 1.67 -> 1.68
 2015-02-05 21:58:37 +03:00
koral
7ccede4aab cppcheck: 1.67 -> 1.68 2015-02-05 16:58:21 +01:00
Pascal Wittmann
a1ce00d81e checkstyle: update from 6.2 to 6.3 2015-02-03 10:43:41 +01:00
Pascal Wittmann
8d322e0fee checkstyle: update from 6.1.1 to 6.2 2015-01-14 14:23:47 +01:00
Tobias Geerinckx-Rice
9b7a58e1f9 coan: don't double-gzip man page 
`make install` gzips coan.1 with the wrong extension (.1). So Nix re-
compresses it. Result: coan.1.1.gz, and a screen full of gobbledygook.
 2015-01-12 21:38:31 +01:00
Tobias Geerinckx-Rice
03e53af0f5 Add coan: the C preprocessor chainsaw 2015-01-11 15:21:26 +01:00
Eelco Dolstra
fcd4aa44d5 valgrind: Update to 3.10.1 2014-12-12 15:08:25 +01:00
Austin Seipp
0bdff430a4 nixpkgs: rr 2.0.0 -> 3.0.0, with 64bit support 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-12-12 01:20:23 -06:00
Austin Seipp
73651e6c01 Revert "rr: bump version, 64bit support" 
This reverts commit 12a3db89ba.

The prior commit was broken a bit; rr will take a little more work to
support a 64bit build.
 2014-12-04 17:49:33 -06:00
Austin Seipp
12a3db89ba rr: bump version, 64bit support 
The git version of `rr` recently got 64bit support; bump version and
pick out a working git revision for the new builds.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-12-04 17:25:56 -06:00
Nicolas B. Pierron
8caa0ea525 rr: Bump to version 2.0.0 and fetch it from github. 2014-11-30 17:20:34 +01:00
Nicolas Pierron
1b294105d7 libpfm & rr: Add packages. 2014-11-30 17:20:34 +01:00
Pascal Wittmann
a94da8c44c checkstyle: update from 6.1 to 6.1.1 2014-11-28 11:08:13 +01:00
Brian McKenna
40261b7484 Add Flow 
A static type checker for JavaScript
 2014-11-18 21:15:55 -07:00
Pascal Wittmann
818bd7dd1c cppcheck: update from 1.66 to 1.67 2014-11-18 20:52:29 +01:00
Pascal Wittmann
5d7c5d4686 checkstyle: update from 6.0 to 6.1 2014-11-14 13:07:01 +01:00
Ricardo M. Correia
90172ba079 valgrind: Fix running under grsecurity 2014-11-13 23:07:27 +01:00
Vincent Laporte
fbbd88017f zarith: propagate build input gmp 2014-11-07 09:50:39 +00:00
Mateusz Kowalczyk
007f80c1d0 Turn more licenses into lib.licenses style 
Should eval cleanly, as far as -A tarball tells me.

Relevant: issue #2999, issue #739
 2014-11-06 00:48:16 +00:00
Evgeny Egorochkin
a4300af71d checkstyle: update from 5.8 to 6.0 2014-10-27 07:33:29 +02:00