Merge pull request #190775 from arcz/echidna-2.0.3

echidna: 2.0.2 -> 2.0.3
This commit is contained in:
Dennis Gosnell 2022-09-11 08:58:01 -04:00 committed by GitHub
commit cc46999e0a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -11,13 +11,13 @@
}:
mkDerivation rec {
pname = "echidna";
version = "2.0.2";
version = "2.0.3";
src = fetchFromGitHub {
owner = "crytic";
repo = "echidna";
rev = "v${version}";
sha256 = "sha256-WmlQWgn4qfRmx3PdzY7wzT9AyU7Re2T1CWJ7yGjcVac=";
sha256 = "sha256-ZLk3K00O6aERf+G5SagDVUk1/ba9U+9n9dqCImkczJs=";
};
# NOTE: echidna is behind with aeson because of hevm, this patch updates