Merge pull request #24442 from recoules/deprecate-bitwuzla-bin.0.0.0

mark bitwuzla-bin.0.0.0 as deprecated

Author: mseri

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 <frederic.recoules@cea.fr>"]

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 <frederic.recoules@cea.fr>"]