From 9829523a1717e9e032e4a775996be7809a056897 Mon Sep 17 00:00:00 2001
From: Oliver Friedmann <oliver.friedmann@gmail.com>
Date: Fri, 18 Jul 2025 10:05:56 -0400
Subject: [PATCH] [new release] ocaml-sat-solvers (0.8)

CHANGES:

- Change from OASIS to DUNE
- Change from OCAML 4 to OCAML 5
---
 .../ocaml-sat-solvers.0.8/opam                | 39 +++++++++++++++++++
 1 file changed, 39 insertions(+)
 create mode 100644 packages/ocaml-sat-solvers/ocaml-sat-solvers.0.8/opam

diff --git a/packages/ocaml-sat-solvers/ocaml-sat-solvers.0.8/opam b/packages/ocaml-sat-solvers/ocaml-sat-solvers.0.8/opam
new file mode 100644
index 000000000000..73a8bc8e3df9
--- /dev/null
+++ b/packages/ocaml-sat-solvers/ocaml-sat-solvers.0.8/opam
@@ -0,0 +1,39 @@
+opam-version: "2.0"
+synopsis: "An abstraction layer for integrating SAT Solvers into OCaml"
+description: "An abstraction layer for integrating SAT Solvers into OCaml."
+maintainer: ["Oliver Friedmann" "Martin Lange"]
+authors: ["Oliver Friedmann" "Martin Lange"]
+license: "BSD-3-clause"
+homepage: "https://github.com/tcsprojects/ocaml-sat-solvers"
+bug-reports: "https://github.com/tcsprojects/ocaml-sat-solvers/issues"
+depends: [
+  "ocaml" {>= "4.8"}
+  "dune" {>= "3.10"}
+  "minisat" {>= "0.4"}
+  "z3" {>= "4.8.11"}
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/tcsprojects/ocaml-sat-solvers.git"
+url {
+  src:
+    "https://github.com/tcsprojects/ocaml-sat-solvers/releases/download/v0.8/ocaml-sat-solvers-0.8.tbz"
+  checksum: [
+    "sha256=179998e907a9ebee58819199fad44916b51b00ab9427a14a24d73e5595c31a42"
+    "sha512=2fa30196e3c07cfd6d06e0767b8550b3422afd736061d64c95e5fed8e17ca1b80eb1d974e2ad51db342ec78ffeeb16350e75e646b818ea73974cd8e40bec6b98"
+  ]
+}
+x-commit-hash: "2f7f0b528362b574f964b99b35c9c8b5be42d323"