Echidna 2.0.3

gustavo-grieco · gustavo-grieco · commit f370281e1068 · 2022-09-09T15:53:34.000+02:00
diff --git a/default.nix b/default.nix
@@ -34,7 +34,7 @@ let
     '';
   };
 
-  v = "2.0.2";
+  v = "2.0.3";
 
   testInputs = [ newerPkgs.slither-analyzer solc ];
 
diff --git a/package.yaml b/package.yaml
@@ -3,7 +3,7 @@ name: echidna
 author: Trail of Bits <echidna-dev@trailofbits.com>
 maintainer: Trail of Bits <echidna-dev@trailofbits.com>
 
-version: 2.0.2
+version: 2.0.3
 
 ghc-options: -Wall -fno-warn-orphans -O2 -threaded +RTS -N -RTS
 
