@@ -1603,7 +1603,7 @@ packages:
1603 "Christiaan Baaij <christiaan.baaij@gmail.com> @christiaanb":
1603 "Christiaan Baaij <christiaan.baaij@gmail.com> @christiaanb":
1604 - ghc-tcplugins-extra
1604 - ghc-tcplugins-extra
1605 - ghc-typelits-extra
1605 - ghc-typelits-extra
1606− - ghc-typelits-knownnat <0.3
1606+ - ghc-typelits-knownnat
1607 - ghc-typelits-natnormalise
1607 - ghc-typelits-natnormalise
1608 - clash-prelude
1608 - clash-prelude
1609 - clash-lib
1609 - clash-lib
@@ -3182,6 +3182,9 @@ packages:
3182 # https://github.com/fpco/stackage/issues/2514
3182 # https://github.com/fpco/stackage/issues/2514
3183 - optparse-generic < 1.2
3183 - optparse-generic < 1.2
3185+ # https://github.com/fpco/stackage/issues/2516
3186+ ghc-typelits-knownnat <0.3
3185# end of packages
3188# end of packages
3187# Package flags are applied to individual packages, and override the values of
3190# Package flags are applied to individual packages, and override the values of