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: add missing patch
|
2020-01-18 23:56:35 +01:00 |
ghc-bin
|
dev-lang/ghc-bin: bump to 8.8.1
|
2020-01-07 00:59:44 +01:00 |