From 533105dc3d5503f27a20d7da3497b907bcd8cc28 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Emilio=20L=C3=B3pez?= <emilio.lopez@trailofbits.com>
Date: Thu, 25 Jul 2024 11:25:16 +0200
Subject: [PATCH] Upgrade hevm to `echidna-patches-20240725`

---
 flake.nix  | 6 +++---
 stack.yaml | 4 ++--
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/flake.nix b/flake.nix
index bc6220499..33029968f 100644
--- a/flake.nix
+++ b/flake.nix
@@ -57,10 +57,10 @@
           '';
 
         hevm = pkgs: pkgs.lib.pipe (pkgs.haskellPackages.callCabal2nix "hevm" (pkgs.fetchFromGitHub {
-            owner = "elopez";
+            owner = "trail-of-forks";
             repo = "hevm";
-            rev = "c263a35ca676c4d10df72d3f81536e5fb0297dc2";
-            sha256 = "sha256-GO5rDgVV+Nj8OhmxEylJ0qv0hDxf+sJ1DLA8syjdNyM=";
+            rev = "3aba82f06a2d1e0a4a4c26458f747a46dad0e7e2";
+            sha256 = "sha256-NXXhEqHTQEL2N9RhXa1eczIsQtIM3mvPfyWXlBXpxK4=";
         }) { secp256k1 = pkgs.secp256k1; })
         ([
           pkgs.haskell.lib.compose.dontCheck
diff --git a/stack.yaml b/stack.yaml
index 39a831c40..12aa54f57 100644
--- a/stack.yaml
+++ b/stack.yaml
@@ -4,8 +4,8 @@ packages:
 - '.'
 
 extra-deps:
-- git: https://github.com/elopez/hevm.git
-  commit: c263a35ca676c4d10df72d3f81536e5fb0297dc2
+- git: https://github.com/trail-of-forks/hevm.git
+  commit: 3aba82f06a2d1e0a4a4c26458f747a46dad0e7e2
 
 - smt2-parser-0.1.0.1@sha256:1e1a4565915ed851c13d1e6b8bb5185cf5d454da3b43170825d53e221f753d77,1421
 - spawn-0.3@sha256:b91e01d8f2b076841410ae284b32046f91471943dc799c1af77d666c72101f02,1162