compilers
|
ghc: Disable on AArch64
|
2018-03-24 16:11:31 +02:00 |
coq-modules
|
Merge pull request #37591 from vbgl/coq-88beta1
|
2018-03-23 22:09:06 -07:00 |
idris-modules
|
idrisPackages: add packages
|
2018-03-20 07:16:21 +01:00 |
java-modules
|
jogl: temporary workaround for openjdk8
|
2018-03-19 08:44:21 +00:00 |
libraries
|
clipper: init at 6.4.2
|
2018-03-24 14:38:57 -05:00 |
python-modules
|
grpcio: use protobuf3_5
|
2018-03-24 19:37:03 +01:00 |
tools
|
jsduck: fix build
|
2018-03-24 14:07:26 +01:00 |
web
|
kore: fix clang build
|
2018-03-20 00:00:42 +01:00 |