idris-modules
|
idrisPackages: add packages
|
2018-03-20 07:16:21 +01:00 |
interpreters
|
octave: 4.2.1 -> 4.2.2
|
2018-03-21 09:59:18 +01:00 |
java-modules
|
jogl: temporary workaround for openjdk8
|
2018-03-19 08:44:21 +00:00 |
perl-modules
|
Merge branch 'master' into staging
|
2018-03-10 20:38:13 +00:00 |
pharo
|
pharo: Tighten source and simplify meta.platforms
|
2018-03-12 18:55:41 -04:00 |
r-modules
|
R: fix evaluation errors
|
2018-03-15 21:14:29 +01:00 |
ruby-modules
|
treewide: s/xlibs/xorg/g (#36889)
|
2018-03-13 10:16:03 +00:00 |
web
|
kore: fix clang build
|
2018-03-20 00:00:42 +01:00 |