You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
17 lines
609 B
17 lines
609 B
<?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>
|