| .. |
|
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
|
Merge pull request #40996 from obsidiansystems/cross-ghc
|
2018-05-25 11:09:07 -04:00 |
|
coq-modules
|
coqPackages.tlc: 20171206 -> 20180316 (#40927)
|
2018-05-22 20:55:57 +02:00 |
|
dotnet-modules/patches
|
|
|
|
em-modules/generic
|
|
|
|
go-modules
|
buildGoPackage: use a separator when joining extraSrcPaths together
|
2018-04-01 17:44:36 +01:00 |
|
guile-modules
|
tree-wide: platforms = platforms.gnu; -> platforms = gnu ++ linux
|
2018-04-30 18:08:48 -05:00 |
|
haskell-modules
|
haskell generic-builder: Limit usage of --extra-framework-dirs for compat
|
2018-05-25 14:52:58 -04:00 |
|
idris-modules
|
idrisPackages.vdom: init at 0.6.0
|
2018-05-08 11:41:52 +02:00 |
|
interpreters
|
elixir: 1.6.4 -> 1.6.5
|
2018-05-23 11:27:41 -04:00 |
|
java-modules
|
treewide: use more HTTPS URLs
|
2018-03-24 22:04:25 -07:00 |
|
libraries
|
Merge pull request #41056 from r-ryantm/auto-update/nanomsg
|
2018-05-26 23:07:25 +08:00 |
|
lisp-modules
|
asdf: 3.3.1 -> 3.3.2
|
2018-05-07 05:20:34 -07:00 |
|
lua-modules
|
|
|
|
misc
|
avrgcc: 7.3.0 -> 8.1.0
|
2018-05-07 05:59:21 -07:00 |
|
mobile
|
androidndk: Fix usage as crossSystem
|
2018-05-17 17:22:27 +02:00 |
|
node-packages
|
ios-rebuild: Unbreak build
|
2018-05-16 14:28:23 -04:00 |
|
ocaml-modules
|
Merge pull request #40884 from vbgl/ocaml-earley-ocaml
|
2018-05-24 23:05:38 +02:00 |
|
perl-modules
|
perlPackages.Paranoid: init at 2.05
|
2018-05-10 16:06:36 +02:00 |
|
pharo
|
|
|
|
pure-modules
|
|
|
|
python-modules
|
python.pkgs.python-language-server: init at 0.18.0
|
2018-05-25 11:00:31 +01:00 |
|
r-modules
|
rPackages.JuniperKernel: fix non-Darwin build
|
2018-05-15 17:50:11 +09:00 |
|
ruby-modules
|
oxidized: init at 0.21.0
|
2018-05-24 04:40:45 +02:00 |
|
tools
|
gitlab-runner: 10.7.0 -> 10.8.0 (#41096)
|
2018-05-26 15:38:55 +02:00 |
|
web
|
nodejs-8_x: 8.11.1 -> 8.11.2
|
2018-05-26 13:13:47 +08:00 |
