We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 5d0158d commit cc8a636Copy full SHA for cc8a636
flake.nix
@@ -57,6 +57,7 @@
57
lifted-base = dontCheck hprev.lifted-base;
58
prettyprinter = dontCheck hprev.prettyprinter;
59
primitive-unlifted = dontCheck hprev.primitive-unlifted;
60
+ serialise = dontCheck hprev.serialise;
61
smtlib-backends-process = dontCheck hprev.smtlib-backends-process;
62
hs-backend-booster = overrideCabal hprev.hs-backend-booster
63
(drv: {
0 commit comments