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

2643 commits

Author SHA1 Message Date
Michael Raskin
84ffa4d489 Update CL-Launch 2015-05-10 13:46:31 +02:00
Michael Raskin
53f8245494 Update luarocks 2015-05-10 13:46:31 +02:00
Tobias Geerinckx-Rice
4081886d1a alloy: remove left-over no-op 2015-05-10 13:46:02 +02:00
Tobias Geerinckx-Rice
8bba7c5cf1 Add cfr 0_100: another Java decompiler 2015-05-10 13:46:01 +02:00
Tobias Geerinckx-Rice
62382e6a6f alloy: use installPhase instead of ./builder.sh 
Also pass on any arguments from the shell wrapper to the .jar.
And be less clever with shell strings.
 2015-05-10 13:46:00 +02:00
Tobias Geerinckx-Rice
f904376904 Add alloy 4.2_2015-02-22: relational modeller 2015-05-10 13:46:00 +02:00
William A. Kennington III
c9395e1e92 Merge branch 'master' into staging 2015-05-08 05:59:50 -07:00
codyopel
0f4b787428 sassc: 3.1.0 -> 3.2.1 2015-05-07 09:51:40 -04:00
William A. Kennington III
074c4a7f78 Merge remote-tracking branch 'upstream/master' into staging 2015-05-07 01:44:49 -07: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
Peter Simons
ea3b8cd918 cabal2nix: update to version 20150505 2015-05-05 21:44:48 +02:00
Peter Simons
324719a5a6 Drop obsolete pre-NG Haskell builds. 2015-05-05 21:44:47 +02:00
Vincent Laporte
67529e7a08 frama-c: update from Neon to Sodium 2015-05-05 19:59:54 +02:00
Tobias Geerinckx-Rice
897897cc30 Add flexc++ 2.02.00: C++ lexical scanner generator 2015-05-05 19:44:48 +02:00
Tobias Geerinckx-Rice
288291e132 yodl: fix paths. Now it actually works. 2015-05-05 19:44:45 +02:00
Tobias Geerinckx-Rice
2c62a0a930 Add egypt 1.10: create simple C call graphs 2015-05-05 19:43:18 +02:00
Peter Simons
11bf7502cc Remove obsolete entries from pkgs/development/tools/haskell. 2015-05-04 12:27:02 +02:00
Domen Kožar
21a7e39b0b Merge pull request #7658 from benley/jenkins-job-builder 
New package: jenkins-job-builder
 2015-05-04 10:34:52 +02:00
Benjamin Staffin
3a371528bb New package: jenkins-job-builder 2015-05-03 10:58:17 -07: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
William A. Kennington III
64c68c5413 cmake: 3.2.1 -> 3.2.2 2015-05-01 22:27:14 -07:00
William A. Kennington III
00df204c82 Merge remote-tracking branch 'upstream/master' into staging 2015-05-01 15:57:09 -07:00
Joachim Fasting
78a877bef1 Delete redundant docutils expression 
`development/tools/documentation/docutils` is also provided
by `pythonPackages`; use that instead.
 2015-05-01 20:46:07 +02:00
William A. Kennington III
f48fe899c3 Simplify some builds with curses compatability 2015-04-30 18:49:28 -07:00
William A. Kennington III
f537943f27 dejagnu: Add metadata 2015-04-30 18:49:27 -07:00
Joachim Fasting
bf7ad2d84f meta.description fixups 
Mostly scripted substitutions with a couple of subjective enhancements.
 2015-04-30 18:17:42 +02:00
Ricardo M. Correia
4cae83bb70 gprof2dot: Add new package 
gprof2dot is a Python script to convert the output from many profilers
into a dot graph.
 2015-04-30 00:16:02 +02:00
Thomas Tuegel
1fe28a1132 Merge remote-tracking branch 'upstream/master' into staging 2015-04-29 11:33:28 -05:00
Robin Gloster
b88fc6c90e update vagrant to 1.7.2 2015-04-29 13:15:17 +02:00
Pascal Wittmann
6b4aec742d Merge pull request #7628 from ragnard/bump-boot 
boot: bump from rc8 to rc14
 2015-04-29 10:55:16 +02:00
Ragnar Dahlén
543ec3cf46 boot: bump from rc8 to rc14 2015-04-29 08:50:48 +01:00
William A. Kennington III
c6bee4b4bb sysbench: Update to 2015-04-22 2015-04-28 18:27:39 -07:00
Pascal Wittmann
f99d5cf2fc Fixed some descriptions 2015-04-28 10:55:20 +02:00
Pascal Wittmann
06e2fdc62e spin: update from 6.4.1 to 6.4.3 2015-04-28 09:57:10 +02:00
Vladimír Čunát
30f31c9afc Merge 'master' into staging 
(relatively simple conflicts)
 2015-04-26 22:52:08 +02:00
Ambroz Bizjak
05a44cd06e stlink: Update to version 1.1.0. 2015-04-24 00:08:12 +02:00
Peter Simons
cde5088bec cabal2nix: the hash has changed because of the newly added tag 2015-04-23 19:55:55 +02:00
Peter Simons
019b18722d cabal2nix: bump to latest version and wrap it to include nix-prefetch-scripts in $PATH 2015-04-23 14:12:43 +02:00
Georges Dubus
7372c5434f nixbang: upgrade to 0.1.2 2015-04-22 10:00:26 +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
183271560b Merge pull request #7393 from pjones/pkg/sassc 
New package: SassC (front-end for libsass)
 2015-04-21 09:52:50 +02:00
Nikolay Amiantov
91f3912b5d lambdabot: add configuration 2015-04-20 18:56:43 +03:00
Tobias Geerinckx-Rice
74d66a3df1 dejagnu 1.5.1 -> 1.5.3 2015-04-19 02:13:30 +02:00
Luca Bruno
384abb5e29 Add automake 1.15 2015-04-17 17:18:10 +02:00
Nikolay Amiantov
4c1afe5cce leksah: move to haskell tools and add cabal to path 2015-04-16 15:53:57 +03:00
Nikolay Amiantov
5dec393125 lambdabot, mueval: move to development/tools/haskell 2015-04-16 15:53:57 +03:00
Nikolay Amiantov
4947f918ad lambdabot: add package 2015-04-16 13:32:48 +03:00
Nikolay Amiantov
58330b2a81 mueval: add package 2015-04-16 13:32:48 +03:00
Arseniy Seroka
d56e9b4f05 Merge pull request #7330 from RumataEstor/rust-beta 
Provide rustc-1.0.0-beta as the default rust package
 2015-04-16 13:05:40 +03:00