Summary: | dev-lang/gnat-gpl-2018 ebuild is missing | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Viktor Levin <viklevin2> |
Component: | Current packages | Assignee: | 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
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. |