8.6.5.nix
|
ghc: Use a real URL for D5123.diff
|
2020-11-19 20:12:32 +01:00 |
8.8.2.nix
|
ghc*: Increase build timeout to 1 day
|
2020-11-06 11:07:48 +01:00 |
8.8.3.nix
|
ghc*: Increase build timeout to 1 day
|
2020-11-06 11:07:48 +01:00 |
8.8.4.nix
|
ghc*: Increase build timeout to 1 day
|
2020-11-06 11:07:48 +01:00 |
8.10.1.nix
|
ghc*: Increase build timeout to 1 day
|
2020-11-06 11:07:48 +01:00 |
8.10.2-binary.nix
|
ghc8102Binary*: simplify meta
|
2020-11-04 23:47:38 +01:00 |
issue-18549.patch
|
#95747: fix build of GHC 8.10.2
|
2020-08-18 15:56:45 +02:00 |