Metadata-Version: 2.1
Name: DafnyRuntimePython
Version: 4.5.0
Summary: Dafny runtime for Python
Author-email: The Dafny core team <core-team@dafny.org>
Project-URL: Homepage, https://github.com/dafny-lang/dafny
Project-URL: Issues, https://github.com/dafny-lang/dafny/issues
Classifier: Programming Language :: Python :: 3
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Requires-Python: >=3.8

