From c0019d197c2845e499aac034465dc9b0e8acd270 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Fri, 17 Jul 2026 06:10:46 +0000
Subject: [PATCH] z3-solver: deprecate our wheel

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>
---
 ci_scripts/deprecated.txt    | 1 +
 ci_scripts/packages.txt      | 1 -
 docs/packages/z3-solver.yaml | 1 +
 3 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/ci_scripts/deprecated.txt b/ci_scripts/deprecated.txt
index 0bd86dd..c3c6041 100644
--- 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
index 42cdb6e..8aba53a 100644
--- 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
index 0e3e726..ca371d9 100644
--- 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