| .. |
|
arduino
|
platformio: add git to chroot so it is usable by platformio command
|
2018-05-05 02:41:10 -04:00 |
|
beam-modules
|
|
|
|
bower-modules/generic
|
|
|
|
compilers
|
ghcjs: remove phases
|
2018-06-18 15:44:23 -04: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
|
Merge pull request #42191 from obsidiansystems/fix-ghcjs-with-packages
|
2018-06-18 23:31:03 -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
|
range-v3: 0.3.5 -> 0.3.6
|
2018-06-18 18:42:50 -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
|
pythonPackages.xml2rfc: init at 2.9.8
|
2018-06-18 14:16:55 +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
|
chromedriver: 2.39 -> 2.40 (#42042)
|
2018-06-18 22:46:33 +02:00 |
|
web
|
nodejs: 9.11.1 -> 9.11.2
|
2018-06-15 21:33:45 -05:00 |
