z3-solver: deprecate our wheel (#177)

github-actions[bot] · web-flow · commit f452b3578893 · 2026-07-20T10:11:23.000-04:00
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> Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
diff --git a/ci_scripts/deprecated.txt b/ci_scripts/deprecated.txt
@@ -40,3 +40,4 @@ watchfiles
 websockets
 wrapt
 xxhash
+z3-solver
diff --git a/ci_scripts/packages.txt b/ci_scripts/packages.txt
@@ -48,4 +48,3 @@ tlparse
 tornado
 ujson
 uvloop
-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 change
 tornado
 ujson
 uvloop
 -z3-solver
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`