@@ -1345,6 +1345,7 @@ packages:
1345 "Christiaan Baaij <christiaan.baaij@gmail.com> @christiaanb":
1345 "Christiaan Baaij <christiaan.baaij@gmail.com> @christiaanb":
1346 - ghc-tcplugins-extra
1346 - ghc-tcplugins-extra
1347 - ghc-typelits-extra
1347 - ghc-typelits-extra
1348+ - ghc-typelits-knownnat
1348 - ghc-typelits-natnormalise
1349 - ghc-typelits-natnormalise
1349 - clash-prelude
1350 - clash-prelude
1350 - clash-lib
1351 - clash-lib