2020-09-14 | DPorts Builder | Update lang/ghc to version 8.10.2 | blob | commitdiff |
2020-05-27 | DPorts Builder | Update lang/ghc to version 8.8.3 | blob | commitdiff |
2019-06-12 | DPorts Builder | Merge branch 'staged' | blob | commitdiff | diff to current |
2019-06-09 | DPorts Builder | Update lang/ghc to version 8.6.3_1 | blob | commitdiff | diff to current |