# Copyright 1999-2025 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 DISTUTILS_USE_PEP517=setuptools PYTHON_COMPAT=( python3_{11..14} ) inherit distutils-r1 pypi DESCRIPTION="Dafny runtime for Python" HOMEPAGE="https://github.com/dafny-lang/dafny" LICENSE="MIT" SLOT="0" KEYWORDS="~amd64" RDEPEND="|| ( dev-lang/dafny dev-lang/dafny-bin )"