Merge pull request ocaml#24442 from recoules/deprecate-bitwuzla-bin.0…

….0.0 mark bitwuzla-bin.0.0.0 as deprecated
hannesm · Sep 16, 2023 · b61304c · b61304c
2 parents 794efea + f696738
commit b61304c
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/packages/bitwuzla-bin/bitwuzla-bin.0.0.0/opam b/packages/bitwuzla-bin/bitwuzla-bin.0.0.0/opam
@@ -1,8 +1,10 @@
 opam-version: "2.0"
 synopsis: "Bitwuzla SMT solver executable"
+flags: deprecated
 description: """
 
-Standalone installer for the SMT solver Bitwuzla.
+/!\ Deprecated. Standalone installer for the SMT solver Bitwuzla.
+OCaml users should use instead one of the packages bitwuzla, bitwuzla-c or the latest version bitwuzla-cxx to access the Bitwuzla API.
 
 Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”."""
 maintainer: ["Frédéric Recoules <[email protected]>"]

diff --git a/packages/bitwuzla-bin/bitwuzla-bin.1.0.0/opam b/packages/bitwuzla-bin/bitwuzla-bin.1.0.0/opam
@@ -2,7 +2,8 @@ opam-version: "2.0"
 synopsis: "Bitwuzla SMT solver executable"
 description: """
 
-Standalone installer for the SMT solver Bitwuzla.
+/!\ Aging. Standalone installer for the SMT solver Bitwuzla.
+OCaml users should use instead one of the packages bitwuzla, bitwuzla-c or the latest version bitwuzla-cxx to access the Bitwuzla API.
 
 Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”."""
 maintainer: ["Frédéric Recoules <[email protected]>"]