compcert
|
compcert: patch to build with Coq-8.5pl3
|
2016-11-02 19:23:15 +01:00 |
cudatoolkit
|
cudatoolkit: Add 8.0.44
|
2016-11-01 22:52:26 +01:00 |
ghcjs
|
ghcjs: add ghcsjHEAD, tracking ghc-8.0 branch
|
2016-11-03 17:37:19 +01:00 |
scala
|
scala: fix hash
|
2016-11-04 10:13:46 +01:00 |
solc
|
solc: 0.4.2 -> 0.4.4
|
2016-11-02 16:43:46 +01:00 |