Skip to content

Commit 7ef890b

Browse files
authored
mark as deprecated
1 parent ba40422 commit 7ef890b

File tree

1 file changed

+1
-0
lines changed
  • packages/bitwuzla-bin/bitwuzla-bin.0.0.0

1 file changed

+1
-0
lines changed

packages/bitwuzla-bin/bitwuzla-bin.0.0.0/opam

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,6 @@
11
opam-version: "2.0"
22
synopsis: "Bitwuzla SMT solver executable"
3+
flags: deprecated
34
description: """
45

56
Standalone installer for the SMT solver Bitwuzla.

0 commit comments

Comments
 (0)