Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/otter/metadata.xml
blob: 6ff3511ad6bd67180c0194c1094ee08cb7968e0f (plain) 
1
2
3
4
5

<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
<herd>math-proof</herd>
</pkgmetadata>