nixpkgs/pkgs/development
Bruno Bzeznik 621a1146d6 openmpi: 1.10.1 -> 1.10.7
- No more need for the nbc patch
- Cpusets support fixed
2017-06-23 08:39:49 +02:00
..
arduino arduino: 1.6.12 -> 1.8.2 2017-06-01 08:44:27 +02:00
beam-modules erlang: update documentation. 2017-06-19 19:58:57 +02:00
bower-modules/generic
compilers Merge pull request #26775 from obsidiansystems/ghc-head-docs 2017-06-22 17:11:46 -04:00
coq-modules Use consistent package naming for HEAD.nix files 2017-05-09 10:31:15 +07:00
dotnet-modules/patches
eclipse/ecj
em-modules/generic
go-modules go-modules/generic: add missing PATHs to GOPATH when using nix-shell (#26176) 2017-06-01 20:40:21 +02:00
guile-modules treewide: remove unused buildEnv parameters 2017-04-16 10:29:49 +02:00
haskell-modules haskellPackages: make configuration-{nix,common}.nix configurable 2017-06-22 13:25:53 +02:00
idris-modules
interpreters clooj: fix download src 2017-06-18 11:39:55 +01:00
java-modules treewide: use boolToString function 2017-04-11 18:18:53 +02:00
libraries openmpi: 1.10.1 -> 1.10.7 2017-06-23 08:39:49 +02:00
lisp-modules Re-add iolib subsystems 2017-06-22 09:31:41 +02:00
lua-modules
misc treewide: fix the remaining issues with meta attributes 2017-04-29 04:24:34 +00:00
mobile androidenv: Manually update missing packages 2017-06-10 03:57:30 +02:00
node-packages nodePackages.javascript-typescript-langserver: init at 2.0.0 2017-06-17 16:06:37 +03:00
ocaml-modules ocamlPackages.containers: 0.22 -> 1.2 2017-06-16 11:42:17 +02:00
perl-modules perlPackages.FileSlurp: silence perl 5.24.1 warnings 2017-04-28 11:43:14 +02:00
pharo
pure-modules purePackages.octave: Use octaveHg 2017-04-09 21:54:39 +10:00
python-modules arelle: init at 2017-06-01 2017-06-22 21:37:15 +02:00
qtcreator qt5: remove makeQtWrapper 2017-06-18 08:44:42 -05:00
r-modules rstudio: Fix recompilation issue with custom package set 2017-05-01 09:46:40 -04:00
ruby-modules bundler: 1.15.0 -> 1.15.1 2017-06-21 15:29:05 +08:00
tools Merge pull request #26668 from gleber/fixpoint-erlang-packages 2017-06-22 21:49:30 +02:00
web nodejs: 8.0.0 -> 8.1.0 2017-06-08 22:15:57 +02:00