Add missing metadata.xml

[shuber-gentoo-overlay.git] / sci-mathematics / boolector / metadata.xml

<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
        <maintainer type="person">
                <email>shuber@sthu.org</email>
                <name>Stefan Huber</name>
        </maintainer>
</pkgmetadata>