compilers
|
Merge branch 'master' into staging
|
2018-03-20 08:38:28 -04:00 |
idris-modules
|
idrisPackages: add packages
|
2018-03-20 07:16:21 +01:00 |
interpreters
|
pythonPackages.tkinter: fix darwin build
|
2018-03-18 22:28:46 +01:00 |
java-modules
|
jogl: temporary workaround for openjdk8
|
2018-03-19 08:44:21 +00:00 |
libraries
|
Merge branch 'master' into staging
|
2018-03-20 08:38:28 -04:00 |
python-modules
|
Merge branch 'master' into staging
|
2018-03-20 08:38:28 -04:00 |
tools
|
Merge branch 'master' into staging
|
2018-03-20 08:38:28 -04:00 |
web
|
kore: fix clang build
|
2018-03-20 00:00:42 +01:00 |