dev-python/dafnyruntimepython
Dafny runtime for Python
Runtime Dependencies
dafnyruntimepython-4.10.0
||
( dev-lang/dafny dev-lang/dafny-bin )
python_targets_python3_11?
( dev-lang/python:3.11 )
python_targets_python3_12?
( dev-lang/python:3.12 )
python_targets_python3_13?
( dev-lang/python:3.13 )
python_targets_python3_14?
( dev-lang/python:3.14 )
( dev-lang/dafny dev-lang/dafny-bin )
python_targets_python3_11?
( dev-lang/python:3.11 )
python_targets_python3_12?
( dev-lang/python:3.12 )
python_targets_python3_13?
( dev-lang/python:3.13 )
python_targets_python3_14?
( dev-lang/python:3.14 )