.SRCINFO


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

pkgbase = python-claripy-git
	pkgdesc = An abstraction layer for constraint solvers.
	pkgver = 9.2.129.dev0.r2411.c7d8d827
	pkgrel = 3
	url = https://github.com/angr/claripy
	arch = any
	license = BSD-2-Clause
	checkdepends = python-pytest
	makedepends = git
	makedepends = python-build
	makedepends = python-installer
	makedepends = python-myst-parser
	makedepends = python-setuptools
	makedepends = python-sphinx
	makedepends = python-sphinx-autodoc-typehints
	makedepends = python-wheel
	depends = python-cachetools
	depends = python-typing_extensions
	depends = python-z3-solver
	depends = python>=3.10
	provides = python-claripy
	conflicts = python-claripy
	source = python-claripy-git::git+https://github.com/angr/claripy.git#branch=master
	b2sums = SKIP

pkgname = python-claripy-git
	provides = python-claripy
	provides = python-claripy=9.2.129.dev0