z3-solver: deprecate our wheel

github-actions[bot] · github-actions[bot] · commit 249dd6d9558c · 2026-07-17T06:10:46.000Z
z3-solver v5.0.0.0 has riscv64 wheels on PyPI: https://pypi.org/project/z3-solver/ Fixes: #21 Signed-off-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
diff --git a/ci_scripts/deprecated.txt b/ci_scripts/deprecated.txt
@@ -5,8 +5,8 @@
 
 # List of deprecated packages.
 # When we deprecated a package, we add it here, to check if upstream is still
-# building it
 
+# building it
 aiohttp
 blake3
 charset-normalizer
@@ -38,3 +38,4 @@ video_reader-rs
 watchfiles
 wrapt
 xxhash
+z3-solver
diff --git a/ci_scripts/packages.txt b/ci_scripts/packages.txt
@@ -49,4 +49,3 @@ tornado
 ujson
 uvloop
 websockets
-z3-solver
diff --git a/docs/packages/z3-solver.yaml b/docs/packages/z3-solver.yaml
@@ -1,3 +1,4 @@
+deprecated:
 package-name: z3-solver
 source-code: https://github.com/Z3Prover/z3
 license: MIT

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+deprecated:`
`1`	`2`	`package-name: z3-solver`
`2`	`3`	`source-code: https://github.com/Z3Prover/z3`
`3`	`4`	`license: MIT`