.. |
arduino
|
platformio: 3.5.2 -> 3.5.3
|
2018-06-19 19:01:34 +02:00 |
beam-modules
|
|
|
bower-modules/generic
|
|
|
compilers
|
Merge branch 'master' into staging
|
2018-06-20 18:17:18 +02:00 |
coq-modules
|
coqPackages.contribs.aac-tactics: enable for Coq 8.7 and 8.8 (#41351)
|
2018-06-01 19:31:02 +02:00 |
dotnet-modules/patches
|
|
|
em-modules/generic
|
|
|
go-modules
|
|
|
guile-modules
|
tree-wide: platforms = platforms.gnu; -> platforms = gnu ++ linux
|
2018-04-30 18:08:48 -05:00 |
haskell-modules
|
haskell generic-builder: Only pass --extra-* for host deps
|
2018-06-19 10:57:48 -04:00 |
idris-modules
|
treewide: use appendToName where appropriate
|
2018-05-25 15:48:31 -05:00 |
interpreters
|
erlangR20: 20.3.2 -> 20.3.8 (#42170)
|
2018-06-18 23:06:05 +02:00 |
java-modules
|
jogl: reflect recent changes in opengl (#41786)
|
2018-06-10 17:09:19 +02:00 |
libraries
|
libgcrypt: don't disable checks on Darwin, let's see if patch fixes
|
2018-06-20 14:12:49 -05:00 |
lisp-modules
|
lispPackages: drop pgloader that leads to a circular depedency
|
2018-05-30 23:42:33 +02:00 |
lua-modules
|
lua packages: add init.lua to modules search path
|
2018-05-24 13:43:15 +00:00 |
misc
|
avrgcc: 7.3.0 -> 8.1.0
|
2018-05-07 05:59:21 -07:00 |
mobile
|
androidndk: fixup asm linking
|
2018-06-13 20:31:33 -04:00 |
node-packages
|
nodePackages_8_x: Add nodejs (npm) to wrapper
|
2018-06-06 15:54:24 +08:00 |
ocaml-modules
|
Merge pull request #41591 from vbgl/opaline
|
2018-06-09 01:34:02 +02:00 |
perl-modules
|
perlPackages.DBDSQLite: 1.55_07 -> 1.58 (please ignore it)
|
2018-06-08 21:54:37 +00:00 |
pharo
|
|
|
pure-modules
|
|
|
python-modules
|
Merge branch 'master' into staging
|
2018-06-20 18:17:18 +02:00 |
r-modules
|
rPackages.mgcv: fix darwin build
|
2018-06-07 00:00:42 +02:00 |
ruby-modules
|
gem-config: add fog-dnsimple, redis-rack, ffi-rzmq-core, mini_magick (#42055)
|
2018-06-15 12:27:31 +01:00 |
tools
|
Merge branch 'master' into staging
|
2018-06-20 18:17:18 +02:00 |
web
|
grails: 3.3.5 -> 3.3.6
|
2018-06-20 11:02:05 +02:00 |