@@ -1350,8 +1350,7 @@ packages:
1351 "Christiaan Baaij <christiaan.baaij@gmail.com> @christiaanb":
1351 "Christiaan Baaij <christiaan.baaij@gmail.com> @christiaanb":
1352 - ghc-tcplugins-extra
1352 - ghc-tcplugins-extra
1353− # https://github.com/clash-lang/clash-prelude/issues/66
1354− - ghc-typelits-extra < 0.2
1353+ - ghc-typelits-extra
1355 - ghc-typelits-knownnat
1354 - ghc-typelits-knownnat
1356 - ghc-typelits-natnormalise
1355 - ghc-typelits-natnormalise
1357 - clash-prelude
1356 - clash-prelude