1 2 3 4 5 6 7 8 9 10 11 12 13
<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> <maintainer> <email>maintainer-needed@gentoo.org</email> </maintainer> <use> <flag name="gist"> Enable Gist, the Gecode Interactive Search Tool </flag> </use> </pkgmetadata>