diff options
| author |   Tupone Alfredo <tupone@gentoo.org> | 2018-06-11 20:36:14 +0200 |
|---|---|---|
| committer | Tupone Alfredo <tupone@gentoo.org> | 2018-06-11 20:36:14 +0200 |
| commit | ad5949f020f00ce5e20c60cdfe2598471e1b9811 (patch) | |
| tree | c7cf1dbf3a9351bdccae4699969fd2dce95b68ac /dev-ada/libgpr/metadata.xml | |
| parent | media-sound/spotify: remove 1.0.77 (diff) | |
| download | gentoo-ad5949f020f00ce5e20c60cdfe2598471e1b9811.tar.gz gentoo-ad5949f020f00ce5e20c60cdfe2598471e1b9811.tar.bz2 gentoo-ad5949f020f00ce5e20c60cdfe2598471e1b9811.zip | |
dev-ada/libgpr: Version bump to dev-ada/libgpr-2018
Package-Manager: Portage-2.3.24, Repoman-2.3.6
Diffstat (limited to 'dev-ada/libgpr/metadata.xml')
| -rw-r--r-- | dev-ada/libgpr/metadata.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-ada/libgpr/metadata.xml b/dev-ada/libgpr/metadata.xml index 05c462d34072..aa6b2a5d355a 100644 --- a/dev-ada/libgpr/metadata.xml +++ b/dev-ada/libgpr/metadata.xml @@ -8,6 +8,7 @@ <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="shared">Build shared library</flag> <flag name="static-pic">Build static library with pic code</flag> </use> |