| .. |
|
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 branch 'master' into staging
|
2018-05-26 00:20:17 +00: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
|
Merge branch 'master' into staging
|
2018-05-26 00:20:17 +00:00 |
|
idris-modules
|
treewide: use appendToName where appropriate
|
2018-05-25 15:48:31 -05:00 |
|
interpreters
|
Merge remote-tracking branch 'upstream/master' into staging
|
2018-05-23 16:00:04 -04:00 |
|
java-modules
|
|
|
|
libraries
|
Revert "sqlite{,-analyzer}: use the same src (#40945)"
|
2018-05-27 00:43:26 -05: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.BerkeleyDB: fix db dependency
|
2018-05-22 17:49:04 +03:00 |
|
pharo
|
|
|
|
pure-modules
|
|
|
|
python-modules
|
Merge branch 'master' into staging
|
2018-05-26 00:20:17 +00:00 |
|
r-modules
|
rPackages.JuniperKernel: fix non-Darwin build
|
2018-05-15 17:50:11 +09:00 |
|
ruby-modules
|
Merge remote-tracking branch 'upstream/master' into staging
|
2018-05-26 19:01:18 +03:00 |
|
tools
|
Merge remote-tracking branch 'upstream/master' into staging
|
2018-05-26 19:01:18 +03:00 |
|
web
|
Merge remote-tracking branch 'upstream/master' into staging
|
2018-05-26 19:01:18 +03:00 |
