@@ -1682,7 +1682,7 @@ packages:
1682 "Christiaan Baaij <christiaan.baaij@gmail.com> @christiaanb":
1682 "Christiaan Baaij <christiaan.baaij@gmail.com> @christiaanb":
1683 - ghc-tcplugins-extra
1683 - ghc-tcplugins-extra
1684 - ghc-typelits-extra
1684 - ghc-typelits-extra
1685− - ghc-typelits-knownnat
1685+ # - ghc-typelits-knownnat
1686 - ghc-typelits-natnormalise
1686 - ghc-typelits-natnormalise
1687 # - clash-prelude # GHC 8.2.1
1687 # - clash-prelude # GHC 8.2.1
1688 # - clash-lib # GHC 8.2.1
1688 # - clash-lib # GHC 8.2.1