Levente Polyak pushed to branch main at Arch Linux / Packaging / Packages /
python-claripy
Commits:
3d227f5a by Rocket Ma at 2026-02-07T22:19:49+01:00
Bump version and standardize
- - - - -
2 changed files:
- .SRCINFO
- PKGBUILD
Changes:
=====================================
.SRCINFO
=====================================
@@ -1,23 +1,22 @@
pkgbase = python-claripy
pkgdesc = Abstraction layer for constraint solvers
- pkgver = 9.2.160
- pkgrel = 2
+ pkgver = 9.2.193
+ pkgrel = 1
url = https://github.com/angr/claripy
arch = any
- license = custom:BSD2
+ license = BSD-2-Clause
checkdepends = python-pytest
+ checkdepends = python-pytest-xdist
makedepends = python-build
makedepends = python-installer
makedepends = python-setuptools
makedepends = python-wheel
depends = python
depends = python-cachetools
- depends = python-decorator
- depends = python-pysmt
depends = python-typing_extensions
depends = python-z3-solver
- source =
https://github.com/angr/claripy/archive/v9.2.160/python-claripy-9.2.160.tar.gz
- sha512sums =
7bb1a6b3c50fb9cc2d0e7b9174ef06f5eb119cb2fedcb9fc7482177022953160ff1837e23a28f70910b62ab2185e7c96e7d2ab8d2afbf72e21778220da7a6249
- b2sums =
7060d03e881a3b65bc53b0b220067e9ede5d08c380af6ac8bf54e6664d7d7914397994f3472866b1973f570241231253eecedcd55122f7b524e2aafa7fa92b7a
+ source =
https://github.com/angr/claripy/archive/v9.2.193/python-claripy-9.2.193.tar.gz
+ sha512sums =
75f92dfb96def18175c6abe309f8e5f144c6d1833584573a337d8feaeb1293f7b87722523d6fb6e249400d9224ee92611f6a492073b427b23ba65808c630ddda
+ b2sums =
353f0478ecddd417ad197266c591e3ff146877c3c3ea48d72f683daebc254648ba3132e146a95045c5897ed6a2000c2968fcf5c7604ebdf156442eb9eebba3c3
pkgname = python-claripy
=====================================
PKGBUILD
=====================================
@@ -1,18 +1,17 @@
# Maintainer: Levente Polyak <anthraxx[at]archlinux[dot]org>
+# Contributor: RocketDev <[email protected]>
_pyname=claripy
pkgname=python-${_pyname}
-pkgver=9.2.160
-pkgrel=2
+pkgver=9.2.193
+pkgrel=1
pkgdesc='Abstraction layer for constraint solvers'
url='https://github.com/angr/claripy'
-license=('custom:BSD2')
+license=('BSD-2-Clause')
arch=('any')
depends=(
'python'
'python-cachetools'
- 'python-decorator'
- 'python-pysmt'
'python-typing_extensions'
'python-z3-solver'
)
@@ -22,10 +21,13 @@ makedepends=(
'python-setuptools'
'python-wheel'
)
-checkdepends=('python-pytest')
+checkdepends=(
+ 'python-pytest'
+ 'python-pytest-xdist'
+)
source=("${url}/archive/v${pkgver}/${pkgname}-${pkgver}.tar.gz")
-sha512sums=('7bb1a6b3c50fb9cc2d0e7b9174ef06f5eb119cb2fedcb9fc7482177022953160ff1837e23a28f70910b62ab2185e7c96e7d2ab8d2afbf72e21778220da7a6249')
-b2sums=('7060d03e881a3b65bc53b0b220067e9ede5d08c380af6ac8bf54e6664d7d7914397994f3472866b1973f570241231253eecedcd55122f7b524e2aafa7fa92b7a')
+sha512sums=('75f92dfb96def18175c6abe309f8e5f144c6d1833584573a337d8feaeb1293f7b87722523d6fb6e249400d9224ee92611f6a492073b427b23ba65808c630ddda')
+b2sums=('353f0478ecddd417ad197266c591e3ff146877c3c3ea48d72f683daebc254648ba3132e146a95045c5897ed6a2000c2968fcf5c7604ebdf156442eb9eebba3c3')
build() {
cd ${_pyname}-${pkgver}
@@ -33,22 +35,6 @@ build() {
}
check() {
- local pytest_options=(
- -vv
- # disable broken tests: https://github.com/angr/claripy/issues/348
- --deselect
tests/test_solver.py::StandardTests::test_simplification_annotations
- --deselect tests/test_solver.py::TestSolver::test_solver_with_reuse
- --deselect tests/test_solver.py::TestSolver::test_solver_without_reuse
- --deselect
tests/test_solver.py::TestSolverReplacement::test_solver_with_reuse
- --deselect
tests/test_solver.py::TestSolverReplacement::test_solver_without_reuse
- --deselect tests/test_solver.py::TestHybrid::test_solver_with_reuse
- --deselect tests/test_solver.py::TestHybrid::test_solver_without_reuse
- --deselect tests/test_solver.py::TestComposite::test_solver_with_reuse
- --deselect tests/test_solver.py::TestComposite::test_solver_without_reuse
- --deselect
tests/test_solver.py::TestSolverCacheless::test_solver_with_reuse
- --deselect
tests/test_solver.py::TestSolverCacheless::test_solver_without_reuse
- )
-
cd ${_pyname}-${pkgver}
PYTHONPATH=build/lib pytest "${pytest_options[@]}"
}
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/python-claripy/-/commit/3d227f5aac65f89ff3cb3d494a43d88aadd093dd
--
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/python-claripy/-/commit/3d227f5aac65f89ff3cb3d494a43d88aadd093dd
You're receiving this email because of your account on gitlab.archlinux.org.
