-
- Downloads
Update ghc-tcplugins-extra and ghc-typelits-* to GHC 9.13.20240927
parent
0ba46dad
No related branches found
No related tags found
Showing
- patches/ghc-tcplugins-extra-0.4.5.patch 14 additions, 234 deletionspatches/ghc-tcplugins-extra-0.4.5.patch
- patches/ghc-typelits-extra-0.4.6.patch 11 additions, 46 deletionspatches/ghc-typelits-extra-0.4.6.patch
- patches/ghc-typelits-knownnat-0.7.10.patch 15 additions, 19 deletionspatches/ghc-typelits-knownnat-0.7.10.patch
- patches/ghc-typelits-natnormalise-0.7.9.patch 17 additions, 82 deletionspatches/ghc-typelits-natnormalise-0.7.9.patch
Loading
Please register or sign in to comment