# automatically generated by g-sorcery
# please do not edit this file

EAPI=8

REALNAME="${PN}"
LITERALNAME="${PN}"
REALVERSION="${PV}"
DIGEST_SOURCES="yes"
PYTHON_COMPAT=( python{3_11,3_12,3_13,3_14} )
DISTUTILS_USE_PEP517=standalone

inherit python-r1 gs-pypi

DESCRIPTION="Runner for the Certora Prover"

HOMEPAGE="https://pypi.org/project/certora-cli-alpha-rahav-cert-1987_update_regTest"
LICENSE=""
SRC_URI="https://files.pythonhosted.org/packages/bd/df/7ae058413e9bc7f20f9e10ffc74117bb4689fda6169c8cb20ac14e9698f9/certora-cli-alpha-rahav-cert-1987_update_regTest-${REALVERSION}.tar.gz"
SOURCEFILE="certora-cli-alpha-rahav-cert-1987_update_regTest-${REALVERSION}.tar.gz"
RESTRICT="test"

SLOT="0"
KEYWORDS="~amd64 ~x86"

IUSE=""
DEPENDENCIES="dev-python/click[${PYTHON_USEDEP}]
	dev-python/json5[${PYTHON_USEDEP}]
	dev-python/pycryptodome[${PYTHON_USEDEP}]
	dev-python/requests[${PYTHON_USEDEP}]
	dev-python/sly[${PYTHON_USEDEP}]
	dev-python/tabulate[${PYTHON_USEDEP}]
	dev-python/tqdm[${PYTHON_USEDEP}]"
BDEPEND="${DEPENDENCIES}"
RDEPEND="${DEPENDENCIES}"