|
|
a4ec09f9a6
|
ghc: 8.10.1 -> 8.10.2
|
2020-08-21 11:43:35 +00:00 |
|
|
|
26f6f8b039
|
ghc: fixed footprint
|
2020-08-21 08:48:31 +00:00 |
|
Danny Rawlins
|
c88edc54f7
|
ghc: 8.6.5 -> 8.10.1
|
2020-07-24 20:28:55 +10:00 |
|
Danny Rawlins
|
d1543a1b55
|
ghc: 8.4.3 -> 8.6.5
|
2019-05-09 23:08:11 +10:00 |
|
Danny Rawlins
|
9ef4edc5d5
|
ghc: 8.2.2 -> 8.4.3
|
2018-08-23 00:58:22 +10:00 |
|
Danny Rawlins
|
10fc2449bc
|
ghc: 8.2.1 -> 8.2.2
|
2018-03-08 08:48:26 +11:00 |
|
Danny Rawlins
|
d7f431bbda
|
ghc: 8.0.1 -> 8.2.1
|
2017-10-15 16:16:13 +11:00 |
|
Danny Rawlins
|
09ace1e118
|
ghc: 7.6.3 -> 8.0.1
|
2016-09-26 00:10:56 +10:00 |
|
Danny Rawlins
|
d600d98e97
|
ghc: romster -> contrib
|
2014-01-25 00:29:01 +11:00 |
|
