diff options
Diffstat (limited to 'zkvms/risc0/default.nix')
| -rw-r--r-- | zkvms/risc0/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/zkvms/risc0/default.nix b/zkvms/risc0/default.nix index 21525db..efb2776 100644 --- a/zkvms/risc0/default.nix +++ b/zkvms/risc0/default.nix @@ -8,7 +8,7 @@ let commonArgs = { pname = "risc0"; - version = "infdev"; + inherit (metacraft-labs.risc0) version; src = with lib.fileset; toSource { root = ../..; |