Gentoo Packages

# Copyright 1999-2026 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2

EAPI=8

DISTUTILS_USE_PEP517=setuptools
PYTHON_COMPAT=( python3_{12..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 )"