<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
	<maintainer>
		<email>tamino@cdauth.eu</email>
		<name>Tamino Dauth</name>
	</maintainer>
	<longdescription lang="en">
		Programmable tool for verification, analysis and transformation of C++ source code.
	</longdescription>
</pkgmetadata>
