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 |
|
Dmitry Belyaev
|
854f81da34
|
Update racerRust
|
2015-04-16 13:37:18 +10:00 |
|
Edward Tjörnhammar
|
dfc8e5ab05
|
ihaskell: cleanup wrapper and service
|
2015-04-15 23:00:03 +02:00 |
|