sci-mathematics/btor2tools/files/btor2tools-1.0.0_pre20220518-cmake_minimum.patch


1
2
3
4
5

--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -1,1 +1,1 @@
-cmake_minimum_required(VERSION 3.3)
+cmake_minimum_required(VERSION 3.20)