1 <?xml version="1.0" encoding="UTF-8"?>
2 <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
7 <flag name="portmidi">Enable <pkg>media-libs/portmidi</pkg> support</flag>
10 <remote-id type="github">wbsoft/frescobaldi</remote-id>