diff --git a/pkgs/by-name/ab/abc-verifier/package.nix b/pkgs/by-name/ab/abc-verifier/package.nix
index 54672c1d674f..be78f1d38f68 100644
--- a/pkgs/by-name/ab/abc-verifier/package.nix
+++ b/pkgs/by-name/ab/abc-verifier/package.nix
@@ -8,13 +8,13 @@
 
 stdenv.mkDerivation (finalAttrs: {
   pname = "abc-verifier";
-  version = "unstable-2023-10-13";
+  version = "0.55";
 
   src = fetchFromGitHub {
     owner = "yosyshq";
     repo = "abc";
-    rev = "896e5e7dedf9b9b1459fa019f1fa8aa8101fdf43";
-    hash = "sha256-ou+E2lvDEOxXRXNygE/TyVi7quqk+CJHRI+HDI0xljE=";
+    rev = "v${finalAttrs.version}";
+    hash = "sha256-Ib6bZSPQmpI1UOsUG733TH6W6v+UnLyagdjUc8MreKw=";
   };
 
   nativeBuildInputs = [ cmake ];
diff --git a/pkgs/by-name/mi/minisat/package.nix b/pkgs/by-name/mi/minisat/package.nix
index 3aba039e6f18..630e4b4d6e7f 100644
--- a/pkgs/by-name/mi/minisat/package.nix
+++ b/pkgs/by-name/mi/minisat/package.nix
@@ -6,17 +6,23 @@
   zlib,
 }:
 
-stdenv.mkDerivation rec {
+stdenv.mkDerivation (finalAttrs: {
   pname = "minisat";
   version = "2.2.1";
 
   src = fetchFromGitHub {
     owner = "stp";
     repo = "minisat";
-    rev = "releases/${version}";
-    sha256 = "14vcbjnlia00lpyv2fhbmw3wbc9bk9h7bln9zpyc3nwiz5cbjz4a";
+    tag = "releases/${finalAttrs.version}";
+    hash = "sha256-iny5WPmR28H8/cnSdWCaK7HFB68LOrH9pQCoSK1cbJM=";
   };
 
+  postPatch = ''
+    substituteInPlace CMakeLists.txt --replace-fail \
+      'cmake_minimum_required(VERSION 2.6 FATAL_ERROR)' \
+      'cmake_minimum_required(VERSION 4.1)'
+  '';
+
   nativeBuildInputs = [ cmake ];
   buildInputs = [ zlib ];
 
@@ -29,4 +35,4 @@ stdenv.mkDerivation rec {
     license = licenses.mit;
     homepage = "http://minisat.se/";
   };
-}
+})