Frederik Rietdijk febd5e323d Merge remote-tracking branch 'upstream/master' into HEAD

2017-09-08 20:48:14 +02:00

..

arduino

Revert "Merge pull request #28557 from obsidiansystems/binutils-wrapper"

2017-09-07 12:51:21 +02:00

beam-modules

…

bower-modules/generic

…

compilers

Merge remote-tracking branch 'upstream/master' into HEAD

2017-09-08 20:48:14 +02:00

coq-modules

coqPackages: remove duplication in mkCoqPackages

2017-09-04 02:39:49 +00:00

dotnet-modules/patches

…

eclipse/ecj

…

em-modules/generic

…

go-modules

…

guile-modules

…

haskell-modules

hackage-packages.nix: automatic Haskell package set update

2017-09-08 16:09:21 +02:00

idris-modules

idrisPackages.idris: 1.0 -> 1.1.1

2017-08-23 06:45:32 -05:00

interpreters

Merge remote-tracking branch 'upstream/master' into HEAD

2017-09-08 20:48:14 +02:00

java-modules

…

libraries

Merge remote-tracking branch 'upstream/master' into HEAD

2017-09-08 20:48:14 +02:00

lisp-modules

lispPackages.clsql-sqlite3: init

2017-09-07 11:40:06 +02:00

lua-modules

…

misc

Revert "Merge pull request #28557 from obsidiansystems/binutils-wrapper"

2017-09-07 12:51:21 +02:00

mobile

Revert "Merge pull request #28557 from obsidiansystems/binutils-wrapper"

2017-09-07 12:51:21 +02:00

node-packages

nodePackages.live-server : init at 1.2.0

2017-09-01 16:47:11 +01:00

ocaml-modules

ocamlPackages.cmdliner: make version 1.0 the default

2017-09-08 04:09:11 +00:00

perl-modules

perlPackages.CompressRawZlib: 2.071 -> 2.074

2017-08-19 21:07:57 +02:00

pharo

pharo: set platforms based on flavor selection

2017-08-26 16:03:31 +02:00

pure-modules

Merge pull request #29023 from obsidiansystems/deps-reorg

2017-09-05 18:10:32 -04:00

python-modules

Merge pull request #29072 from FRidh/python-fixes-3

2017-09-07 19:26:20 +02:00

qtcreator

…

r-modules

R: update package set

2017-08-31 21:59:06 +02:00

ruby-modules

gitlab: 9.4.5 -> 9.5.2

2017-09-03 15:50:52 +02:00

tools

Merge remote-tracking branch 'upstream/master' into HEAD

2017-09-08 20:48:14 +02:00

web

nodejs: 8.3.0 -> 8.4.0

2017-08-30 02:57:36 +02:00