nixpkgs/pkgs/development
Peter Simons 98a750b4a8 Merge pull request #19228 from mboes/ghc-head-20160930
haskell.compiler.ghcHEAD: update to latest upstream (20160930).
2016-10-04 20:51:45 +02:00
..
arduino Do not use top-level buildPythonPackage or buildPythonApplication 2016-09-26 11:10:51 +02:00
beam-modules build-rebar3: Append postPatch to original hook 2016-08-29 23:31:50 +02:00
bower-modules/generic
compilers Merge pull request #19228 from mboes/ghc-head-20160930 2016-10-04 20:51:45 +02:00
coq-modules
dotnet-modules/patches
eclipse
em-modules/generic
go-modules buildGoPackage: deps.json -> deps.nix in NIXON 2016-09-16 00:04:55 +01:00
guile-modules treewide: explicitly specify gtk and related package versions 2016-09-12 18:26:06 +03:00
haskell-modules haskell-vector: jailbreak to fix test suite build 2016-10-02 23:44:00 +02:00
idris-modules Merge pull request #19003 from siddharthist/lightyear/init 2016-09-29 16:16:10 +02:00
interpreters ruby: fixes rubygems user installs 2016-10-02 22:07:22 +01:00
libraries loudmouth: 1.4.3 -> 1.5.3, switch to mcabber version as the upstream as the Gnome version has stagnated 2016-10-04 13:23:49 +02:00
lisp-modules asdf: 3.1.6 -> 3.1.7 2016-09-26 15:49:30 +02:00
lua-modules
misc amdapp-sdk: fix build for gcc 5 2016-09-20 14:17:36 +02:00
mobile androidenv: update packages 2016-09-14 18:31:22 +02:00
node-packages nodePackages.csslint: init at 1.0.2 2016-10-01 10:57:28 +02:00
ocaml-modules ocamlfuse: update to latest HEAD 2016-10-01 14:15:15 +02:00
perl-modules Net::Amazon::S3: 0.60 -> 0.80 2016-09-26 17:35:53 +02:00
pharo
pure-modules purePackages.glpk: fix build 2016-09-10 17:41:19 +02:00
python-modules Merge pull request #19078 from FRidh/pypoppler 2016-10-01 11:10:40 +02:00
qtcreator qtcreator: enable checking 2016-09-06 14:02:09 +02:00
r-modules r-modules: edgeR is broken due to broken url 2016-09-27 17:47:16 +02:00
ruby-modules ruby: fixes rubygems user installs 2016-10-02 22:07:22 +01:00
tools lsof: add one more mirror, the second one seems unavailable (and the original site is too picky about NATs) 2016-10-04 10:16:22 +02:00
web nodejs: 6.6.0 -> 6.7.0 2016-09-28 10:54:26 +02:00