diff --git a/.SRCINFO b/.SRCINFO
index 6e2422cbe45e..c40cd8621685 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -10,9 +10,12 @@ pkgbase = sby-nightly
 	depends = yosys-nightly
 	depends = python
 	depends = python-click
+	optdepends = bitwuzla
 	optdepends = boolector
 	optdepends = yices
 	optdepends = z3
+	provides = sby
+	provides = symbiyosys
 	conflicts = symbiyosys-git
 	replaces = symbiyosys-nightly
 	options = !strip
diff --git a/PKGBUILD b/PKGBUILD
index cf827d4b777a..c87983ea9c12 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -12,10 +12,12 @@ groups=()
 options=("!strip")
 depends=("yosys-nightly" "python" "python-click")
 optdepends=(
+	"bitwuzla"
 	"boolector"
 	"yices"
 	"z3"
 )
+provides=("sby" "symbiyosys")
 makedepends=("git")
 conflicts=("symbiyosys-git")
 replaces=("symbiyosys-nightly")
diff --git a/PKGBUILD.in b/PKGBUILD.in
index 06ca31b7f432..7ecad879ecb7 100644
--- a/PKGBUILD.in
+++ b/PKGBUILD.in
@@ -12,10 +12,12 @@ groups=()
 options=("!strip")
 depends=("yosys-nightly" "python" "python-click")
 optdepends=(
+	"bitwuzla"
 	"boolector"
 	"yices"
 	"z3"
 )
+provides=("sby" "symbiyosys")
 makedepends=("git")
 conflicts=("symbiyosys-git")
 replaces=("symbiyosys-nightly")