Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!

Bug 657652

Summary: dev-lang/gnat-gpl-2018 ebuild is missing
Product: Gentoo Linux Reporter: Viktor Levin <viklevin2>
Component: Current packagesAssignee: Gentoo Linux bug wranglers <bug-wranglers>
Status: RESOLVED WORKSFORME    
Severity: normal CC: jstein, viklevin2
Priority: Normal    
Version: unspecified   
Hardware: All   
OS: Linux   
Whiteboard:
Package list:
Runtime testing required: ---

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.