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-30 | DPorts Builder | Merge branch 'staged' | blob | commitdiff | diff to current |
2019-06-20 | DPorts Builder | Update lang/ghc to version 8.6.5 | blob | commitdiff | diff to current |