coconut
|
dev-lang/coconut: bump to 1.3.1
|
2017-11-26 11:08:08 +01:00 |
fsharp
|
dev-lang/fsharp: fix build
|
2018-05-14 21:51:11 +02:00 |
fstar
|
dev-lang/fstar: fix scm exheres
|
2017-06-24 16:32:29 +02:00 |
ghc-bin
|
dev-lang/ghc-bin: add SLOT 8.2.2
|
2018-08-25 19:32:39 +08:00 |