diff options
| author | CoprDistGit <infra@openeuler.org> | 2023-04-21 03:08:02 +0000 |
|---|---|---|
| committer | CoprDistGit <infra@openeuler.org> | 2023-04-21 03:08:02 +0000 |
| commit | 39c245ddff2730e5b7bdc4077003a4975e6327ac (patch) | |
| tree | 4f35bc942564c1f001fef7502278f5a8fb04bf2c /python-claripy.spec | |
| parent | b5482e7c71e78ae683b2d83c7e90cf47b285a132 (diff) | |
automatic import of python-claripyopeneuler20.03
Diffstat (limited to 'python-claripy.spec')
| -rw-r--r-- | python-claripy.spec | 42 |
1 files changed, 35 insertions, 7 deletions
diff --git a/python-claripy.spec b/python-claripy.spec index 8edf7dc..2036dab 100644 --- a/python-claripy.spec +++ b/python-claripy.spec @@ -1,11 +1,11 @@ %global _empty_manifest_terminate_build 0 Name: python-claripy -Version: 9.2.41 +Version: 9.2.47 Release: 1 Summary: An abstraction layer for constraint solvers License: BSD-2-Clause URL: https://github.com/angr/clairpy -Source0: https://mirrors.nju.edu.cn/pypi/web/packages/95/57/75f366fc0710cba29ac4444b4a991294c9263fab801f7b9f0bc53dc6971e/claripy-9.2.41.tar.gz +Source0: https://mirrors.nju.edu.cn/pypi/web/packages/e6/65/84320bae5c28f2e3d547439fe242ae2e58e096768db8d1c07272d63ca834/claripy-9.2.47.tar.gz BuildArch: noarch Requires: python3-cachetools @@ -13,13 +13,25 @@ Requires: python3-decorator Requires: python3-pysmt Requires: python3-z3-solver Requires: python3-cvc4-solver +Requires: python3-furo +Requires: python3-myst-parser +Requires: python3-sphinx +Requires: python3-sphinx-autodoc-typehints %description # claripy -[](https://github.com/psf/black) +[](https://pypi.python.org/pypi/claripy/) +[](https://pypi.python.org/pypi/claripy/) +[](https://pypistats.org/packages/claripy) +[](https://github.com/angr/claripy/blob/master/LICENSE) Claripy is an abstracted constraint-solving wrapper. +## Project Links +Project repository: https://github.com/angr/claripy + +Documentation: https://api.angr.io/projects/claripy/en/latest/ + ## Usage It is usable! @@ -44,10 +56,18 @@ BuildRequires: python3-setuptools BuildRequires: python3-pip %description -n python3-claripy # claripy -[](https://github.com/psf/black) +[](https://pypi.python.org/pypi/claripy/) +[](https://pypi.python.org/pypi/claripy/) +[](https://pypistats.org/packages/claripy) +[](https://github.com/angr/claripy/blob/master/LICENSE) Claripy is an abstracted constraint-solving wrapper. +## Project Links +Project repository: https://github.com/angr/claripy + +Documentation: https://api.angr.io/projects/claripy/en/latest/ + ## Usage It is usable! @@ -69,10 +89,18 @@ Summary: Development documents and examples for claripy Provides: python3-claripy-doc %description help # claripy -[](https://github.com/psf/black) +[](https://pypi.python.org/pypi/claripy/) +[](https://pypi.python.org/pypi/claripy/) +[](https://pypistats.org/packages/claripy) +[](https://github.com/angr/claripy/blob/master/LICENSE) Claripy is an abstracted constraint-solving wrapper. +## Project Links +Project repository: https://github.com/angr/claripy + +Documentation: https://api.angr.io/projects/claripy/en/latest/ + ## Usage It is usable! @@ -90,7 +118,7 @@ General usage is similar to Z3: %prep -%autosetup -n claripy-9.2.41 +%autosetup -n claripy-9.2.47 %build %py3_build @@ -130,5 +158,5 @@ mv %{buildroot}/doclist.lst . %{_docdir}/* %changelog -* Wed Mar 08 2023 Python_Bot <Python_Bot@openeuler.org> - 9.2.41-1 +* Fri Apr 21 2023 Python_Bot <Python_Bot@openeuler.org> - 9.2.47-1 - Package Spec generated |