@@ -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
1606+ - ghc-typelits-knownnat <0.3
1607 - ghc-typelits-natnormalise
1607 - ghc-typelits-natnormalise
1608 - clash-prelude
1608 - clash-prelude
1609 - clash-lib
1609 - clash-lib