coconut
|
dev-lang/coconut: bump to 1.4.2
|
2020-01-06 16:26:02 +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
|
dev-lang/GHC: bump to 8.8.1
|
2020-01-07 03:24:46 +01:00 |
ghc-bin
|
dev-lang/ghc-bin: bump to 8.8.1
|
2020-01-07 00:59:44 +01:00 |