Summary: | new package request: gprbuild | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Patrick Kelly <kameo76890> |
Component: | Current packages | Assignee: | Default Assignee for New Packages <maintainer-wanted> |
Status: | RESOLVED FIXED | ||
Severity: | enhancement | CC: | reznikmm |
Priority: | High | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
URL: | http://www.adacore.com/home/products/gnatpro/toolsuite/gprbuild | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- |
Description
Patrick Kelly
2010-02-27 16:28:11 UTC
I've managed to install GPRbuild GPL 2010 with gnat-gpl-4.3.6.2010 Ebuild is available in ada_ru overlay: http://www.ada-ru.org/gentoo/overlay.xml It is in the tree. dev-ada/gprbuild-2016 |