Skip to content

Commit

Permalink
[t1] replace jextract with jextract-21
Browse files Browse the repository at this point in the history
Signed-off-by: Avimitin <[email protected]>
  • Loading branch information
Avimitin committed Apr 21, 2024
1 parent d824764 commit dee8e50
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions nix/t1/t1.nix
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
, mill
, espresso
, circt-full
, jextract
, jextract-21
, strip-nondeterminism

, submodules
Expand Down Expand Up @@ -60,7 +60,7 @@ let
nativeBuildInputs = [
mill
circt-full
jextract
jextract-21
strip-nondeterminism

makeWrapper
Expand Down

0 comments on commit dee8e50

Please sign in to comment.