diff --git a/build-constraints.yaml b/build-constraints.yaml index 9dc7ba0c..dd8dc951 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -1350,8 +1350,7 @@ packages: "Christiaan Baaij @christiaanb": - ghc-tcplugins-extra - # https://github.com/clash-lang/clash-prelude/issues/66 - - ghc-typelits-extra < 0.2 + - ghc-typelits-extra - ghc-typelits-knownnat - ghc-typelits-natnormalise - clash-prelude