diff --git a/nix/t1/t1.nix b/nix/t1/t1.nix index 5b1d7e0698..5ad6bb418a 100644 --- a/nix/t1/t1.nix +++ b/nix/t1/t1.nix @@ -8,7 +8,7 @@ , mill , espresso , circt-full -, jextract +, jextract-21 , strip-nondeterminism , submodules @@ -60,7 +60,7 @@ let nativeBuildInputs = [ mill circt-full - jextract + jextract-21 strip-nondeterminism makeWrapper