Raw Metadata XML
<pkgmetadata>
<maintainer type="person">
<email>spiderx@spiderx.dp.ua</email>
<name>Vladimir Pavljuchenkov</name>
</maintainer>
<maintainer type="project">
<email>proxy-maint@gentoo.org</email>
<name>Proxy Maintainers</name>
</maintainer>
<longdescription lang="en">
This package provides a Python runtime for Dafny (<pkg>dev-lang/dafny</pkg>),
a verification-aware programming language
</longdescription>
<upstream>
<remote-id type="github">dafny-lang/dafny</remote-id>
<remote-id type="pypi">DafnyRuntimePython</remote-id>
</upstream>
</pkgmetadata>