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

2017-09-10 08:56:39 +02:00

..

arduino

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

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

beam-modules

use https://github.com for all homepages

2017-08-17 14:53:40 -07:00

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

haskell-text-zipper: disable test suite to fix the build

2017-09-09 17:08:17 +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-10 08:56:39 +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

androidenv: Add the Android Instant Apps SDK

2017-09-09 16:47:19 +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

yubikey-manager: 3.1 -> 4.0

2017-09-09 23:07:14 -04: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-10 08:56:39 +02:00

web

nodejs: 8.3.0 -> 8.4.0

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