sci-mathematics/alt-ergo: fix dependency
[gentoo.git] / sci-mathematics / planarity / metadata.xml
1 <?xml version="1.0" encoding="UTF-8"?>
2 <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
3 <pkgmetadata>
4   <maintainer type="person">
5     <email>mjo@gentoo.org</email>
6   </maintainer>
7   <!--
8       mjo: François maintained this package in the sage-on-gentoo overlay
9       long before I moved it into ::gentoo. You don't need an ACK from me
10       to merge his changes.
11   -->
12   <maintainer type="person">
13     <email>frp.bissey@gmail.com</email>
14     <name>François Bissey</name>
15   </maintainer>
16   <maintainer type="project">
17     <email>proxy-maint@gentoo.org</email>
18     <name>Proxy Maintainers</name>
19   </maintainer>
20
21   <upstream>
22     <remote-id type="github">
23       graph-algorithms/edge-addition-planarity-suite
24     </remote-id>
25   </upstream>
26 </pkgmetadata>