blob: bb0cc4ccb3ce9358b071accb1fd9983beb1eb52a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
<maintainer type="project">
<email>sound@gentoo.org</email>
<name>Gentoo Sound project</name>
</maintainer>
<use>
<flag name="portmidi">Enable <pkg>media-libs/portmidi</pkg> support</flag>
</use>
<upstream>
<remote-id type="github">wbsoft/frescobaldi</remote-id>
</upstream>
</pkgmetadata>
|