From abf573a0c77e36362b55aa0e5c6589580a7d9ef4 Mon Sep 17 00:00:00 2001
From: Jannik Vierling <jannik.vierling@gmail.com>
Date: Fri, 8 Jul 2022 22:22:33 +0200
Subject: [PATCH] metis-prover: 2.3.20160713 -> 2.4.20200713

---
 pkgs/applications/science/logic/metis-prover/default.nix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/pkgs/applications/science/logic/metis-prover/default.nix b/pkgs/applications/science/logic/metis-prover/default.nix
index e30a897e5659..fca3c20cd853 100644
--- a/pkgs/applications/science/logic/metis-prover/default.nix
+++ b/pkgs/applications/science/logic/metis-prover/default.nix
@@ -2,13 +2,13 @@
 
 stdenv.mkDerivation {
   pname = "metis-prover";
-  version = "2.3.20160713";
+  version = "2.4.20200713";
 
   src = fetchFromGitHub {
     owner = "gilith";
     repo = "metis";
-    rev = "f0b1a17cd57eb098077e963ab092477aee9fb340";
-    sha256 = "1i7paax7b4byk8110f5zk4071mh5603r82bq7hbprqzljvsiipk7";
+    rev = "d17c3a8cf6537212c5c4bfdadcf865bd25723132";
+    sha256 = "phu1x0yahK/B2bSOCvlze7UJw8smX9zw6dJTpDD9chM=";
   };
 
   nativeBuildInputs = [ perl ];