add python-claripy

python-claripy.spec

@@ -0,0 +1,39 @@
+# SPDX-FileCopyrightText: (C) 2026 Institute of Software, Chinese Academy of Sciences (ISCAS)
+# SPDX-FileCopyrightText: (C) 2026 openRuyi Project Contributors
+# SPDX-FileContributor: Jvle <keke.oerv@isrc.iscas.ac.cn>
+#
+# SPDX-License-Identifier: MulanPSL-2.0
+
+%global srcname claripy
+
+Name:           python-%{srcname}
+Version:        9.2.193
+Release:        %autorelease
+Summary:        An abstraction layer for constraint solvers.
+License:        BSD-2-Clause
+URL:            https://github.com/angr/claripy
+#!RemoteAsset
+Source0:        https://files.pythonhosted.org/packages/source/c/%{srcname}/%{srcname}-%{version}.tar.gz
+BuildSystem:    pyproject
+
+BuildOption(install):  -l %{srcname}
+
+BuildRequires:  pyproject-rpm-macros
+BuildRequires:  pkgconfig(python3)
+BuildRequires:  pkgconfig(z3)
+
+Provides:       python3-%{srcname}
+%python_provide python3-%{srcname}
+
+%description
+Claripy is an abstracted constraint-solving wrapper.
+
+%generate_buildrequires
+%pyproject_buildrequires
+
+%files -f %{pyproject_files}
+%license LICENSE
+%doc README.md
+
+%changelog
+%{?autochangelog}