diff options
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | python-claripy.spec | 42 | ||||
| -rw-r--r-- | sources | 2 |
3 files changed, 37 insertions, 8 deletions
@@ -1 +1,2 @@ /claripy-9.2.41.tar.gz +/claripy-9.2.47.tar.gz 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 @@ -1 +1 @@ -5abdd2a6c4c3c78a405eb3bb40268a39 claripy-9.2.41.tar.gz +7eab4d4150f2b9e651478c6e574dc6d6 claripy-9.2.47.tar.gz |