Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 657652 - dev-lang/gnat-gpl-2018 ebuild is missing
Summary: dev-lang/gnat-gpl-2018 ebuild is missing
Status: RESOLVED WORKSFORME
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal
Assignee: Gentoo Linux bug wranglers
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2018-06-09 15:18 UTC by Viktor Levin
Modified: 2018-06-15 20:08 UTC (History)
2 users (show)

See Also:
Package list:
Runtime testing required: ---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Viktor Levin 2018-06-09 15:18:45 UTC 
https://www.adacore.com/download
Comment 1 Jonas Stein gentoo-dev 2018-06-15 20:08:14 UTC 
ls dev-lang/gnat-gpl/g*

dev-lang/gnat-gpl/gnat-gpl-2016.ebuild  dev-lang/gnat-gpl/gnat-gpl-2017.ebuild  dev-lang/gnat-gpl/gnat-gpl-2018.ebuild

No, it is there.