compilers
|
fstar: fix build on darwin
|
2017-05-30 17:08:47 +00:00 |
interpreters
|
Fix indentation
|
2017-05-30 18:11:37 +02:00 |
libraries
|
Merge branch 'staging' (early part)
|
2017-05-30 16:08:21 +02:00 |
mobile
|
androidsdk: meta.url to meta.homepage
|
2017-04-29 12:26:16 +02:00 |
node-packages
|
nodePackages: split into v4/v6 package set
|
2017-05-05 09:02:52 +01:00 |
ruby-modules
|
mikutter: init at 3.5.7
|
2017-05-21 12:13:34 +01:00 |
tools
|
Merge branch 'staging' (early part)
|
2017-05-30 16:08:21 +02:00 |
web
|
nodejs-7_x: 7.9.0 -> 7.10.0
|
2017-05-24 21:11:05 +02:00 |