@@ -1603,7 +1603,7 @@ packages:
16031603 "Christiaan Baaij <christiaan.baaij@gmail.com> @christiaanb":
16041604 - ghc-tcplugins-extra
16051605 - ghc-typelits-extra
1606− - ghc-typelits-knownnat <0.3
1606+ - ghc-typelits-knownnat
16071607 - ghc-typelits-natnormalise
16081608 - clash-prelude
16091609 - clash-lib
@@ -3182,6 +3182,9 @@ packages:
31823182 # https://github.com/fpco/stackage/issues/2514
31833183 - optparse-generic < 1.2
31843184
3185+ # https://github.com/fpco/stackage/issues/2516
3186+ ghc-typelits-knownnat <0.3
3187+
31853188# end of packages
31863189
31873190# Package flags are applied to individual packages, and override the values of