echidna 2.2.2 -> 2.2.3 https://github.com/crytic/echidna/releases attrpath: echidna Checking auto update branch... No auto update branch exists [version] [version] updated version and sha256 [rustCrateVersion] [rustCrateVersion] No cargoSha256 or cargoHash found [golangModuleVersion] [golangModuleVersion] Not a buildGoModule package with vendorSha256 or vendorHash [npmDepsVersion] [npmDepsVersion] No npmDepsHash [updateScript] [updateScript] skipping because derivation has no updateScript Diff after rewrites: diff --git a/pkgs/tools/security/echidna/default.nix b/pkgs/tools/security/echidna/default.nix index 7f503acd6f0b..c5ebe1b309d1 100644 --- a/pkgs/tools/security/echidna/default.nix +++ b/pkgs/tools/security/echidna/default.nix @@ -9,13 +9,13 @@ mkDerivation rec { pname = "echidna"; - version = "2.2.2"; + version = "2.2.3"; src = fetchFromGitHub { owner = "crytic"; repo = "echidna"; rev = "v${version}"; - sha256 = "sha256-l1ILdO+xb0zx/TFM6Am9j5hq1RnIMNf2HU6YvslAj0w="; + sha256 = "sha256-NJ2G6EkexYE4P3GD7PZ+lLEs1dqnoqIB2zfAOD5SQ8M="; }; isLibrary = true; Received ExitFailure 1 when running Raw command: /nix/store/6r0bm8shswm9v08kzvq24ib48mx3kxmn-nix-2.18.1/bin/nix-build --option sandbox true --arg config "{ allowBroken = true; allowUnfree = true; allowAliases = false; }" --arg overlays "[ ]" -A echidna nix build failed.  | 25 | fromEVM :: (MonadIO m, MonadState (VM Concrete RealWorld) m) => EVM Concrete RealWorld r -> m r  | ^^^^^^^^ lib/Echidna/Types.hs:25:69: error: Not in scope: type constructor or class ‘Concrete’  | 25 | fromEVM :: (MonadIO m, MonadState (VM Concrete RealWorld) m) => EVM Concrete RealWorld r -> m r  | ^^^^^^^^ [ 7 of 41] Compiling Echidna.Types.Random ( lib/Echidna/Types/Random.hs, dist/build/Echidna/Types/Random.o, dist/build/Echidna/Types/Random.dyn_o ) [ 8 of 41] Compiling Echidna.Types.Signature ( lib/Echidna/Types/Signature.hs, dist/build/Echidna/Types/Signature.o, dist/build/Echidna/Types/Signature.dyn_o ) [ 9 of 41] Compiling Echidna.ABI ( lib/Echidna/ABI.hs, dist/build/Echidna/ABI.o, dist/build/Echidna/ABI.dyn_o ) [10 of 41] Compiling Echidna.Types.Solidity ( lib/Echidna/Types/Solidity.hs, dist/build/Echidna/Types/Solidity.o, dist/build/Echidna/Types/Solidity.dyn_o ) [11 of 41] Compiling Echidna.Types.Tx ( lib/Echidna/Types/Tx.hs, dist/build/Echidna/Types/Tx.o, dist/build/Echidna/Types/Tx.dyn_o ) lib/Echidna/Types/Tx.hs:203:23: error: Not in scope: type constructor or class ‘Concrete’  | 203 | getResult :: VMResult Concrete s -> TxResult  | ^^^^^^^^ lib/Echidna/Types/Tx.hs:230:14: error: Not in scope: data constructor ‘NonexistentFork’  | 230 | VMFailure (NonexistentFork _) -> ErrorNonexistentFork  | ^^^^^^^^^^^^^^^ [24 of 41] Compiling Echidna.Utility ( lib/Echidna/Utility.hs, dist/build/Echidna/Utility.o, dist/build/Echidna/Utility.dyn_o ) [26 of 41] Compiling Echidna.SourceAnalysis.Slither ( lib/Echidna/SourceAnalysis/Slither.hs, dist/build/Echidna/SourceAnalysis/Slither.o, dist/build/Echidna/SourceAnalysis/Slither.dyn_o ) [27 of 41] Compiling Etherscan ( lib/Etherscan.hs, dist/build/Etherscan.o, dist/build/Etherscan.dyn_o ) [39 of 41] Compiling Paths_echidna ( dist/build/autogen/Paths_echidna.hs, dist/build/Paths_echidna.o, dist/build/Paths_echidna.dyn_o )