Raw Metadata XML
<pkgmetadata>
<maintainer type="person">
<email>efremov@linux.com</email>
<name>Denis Efremov</name>
</maintainer>
<longdescription lang="en">
EventBTool (evbt) works with Event-B models created in the
Rodin Platform: it generates documentation (TeX, HTML) and
translates models into executable code.
</longdescription>
<upstream>
<bugs-to>https://codeberg.org/viklauverk/EventBTool/issues</bugs-to>
<remote-id type="github">viklauverk/EventBTool</remote-id>
<remote-id type="codeberg">viklauverk/EventBTool</remote-id>
</upstream>
</pkgmetadata>