From c8cb1f7a2df211360ff492b13ffdf896a8c25d00 Mon Sep 17 00:00:00 2001
From: Mario Rodas <marsam@users.noreply.github.com>
Date: Sun, 11 Jun 2023 04:20:00 +0000
Subject: [PATCH] ocamlPackages.minisat: 0.4 -> 0.5

Diff: https://github.com/c-cube/ocaml-minisat/compare/v0.4...v0.5
---
 pkgs/development/ocaml-modules/minisat/default.nix | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/pkgs/development/ocaml-modules/minisat/default.nix b/pkgs/development/ocaml-modules/minisat/default.nix
index 433431d8f9c0..257bbde0531c 100644
--- a/pkgs/development/ocaml-modules/minisat/default.nix
+++ b/pkgs/development/ocaml-modules/minisat/default.nix
@@ -2,17 +2,15 @@
 
 buildDunePackage rec {
   pname = "minisat";
-  version = "0.4";
+  version = "0.5";
 
-  useDune2 = true;
-
-  minimumOCamlVersion = "4.05";
+  minimalOCamlVersion = "4.05";
 
   src = fetchFromGitHub {
     owner  = "c-cube";
     repo   = "ocaml-minisat";
     rev    = "v${version}";
-    sha256 = "009jncrvnl9synxx6jnm6gp0cs7zlj71z22zz7bs1750b0jrfm2r";
+    hash   = "sha256-hqGSHxhT+Z2slRCIXnfYuasG1K3tVG/tsM0IXxmy9hQ=";
   };
 
   meta = {