2020-09-14 | DPorts Builder | Update lang/ghc to version 8.10.2 | blob | commitdiff |
2019-12-28 | DPorts Builder | Merge branch 'staged' | blob | commitdiff |
2019-12-07 | DPorts Builder | Tweak lang/ghc version 8.6.5_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 |