blob: 596aff3263a9ad55fa8ba9acbfcfc654f9333e79 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
<maintainer type="project">
<email>ada@gentoo.org</email>
</maintainer>
<use>
<flag name="gnat_2016">Compile with dev-lang/gnat-gpl-2016</flag>
<flag name="gnat_2017">Compile with dev-lang/gnat-gpl-2017</flag>
<flag name="gnat_2018">Compile with dev-lang/gnat-gpl-2018</flag>
<flag name="gnat_2019">Compile with dev-lang/gnat-gpl-2018</flag>
</use>
<longdescription lang="en">
Libadalang-based tools: gnatpp, gnatmetric and gnatstub
</longdescription>
</pkgmetadata>
|
GitWeb
