Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
dev-ada
/
gprconfig_kb
GPR configuration knowledge base
https://www.adacore.com/
Overview
Dependencies
QA report
Pull requests
0
Bugs
0
Security
0
Changelog
Available Versions
Version
amd64
x86
alpha
arm
arm64
hppa
mips
ppc
ppc64
riscv
sparc
24.0.0-r1
: 0
EAPI 8
~amd64
~x86
?alpha
?arm
?arm64
?hppa
?mips
?ppc
?ppc64
?riscv
?sparc
23.0.0-r3
: 0
EAPI 8
amd64
x86
?alpha
?arm
?arm64
?hppa
?mips
?ppc
?ppc64
?riscv
?sparc
Package Metadata
Upstream
Remote-Id
https://github.com/adacore/gprconfig_kb
Full description
GPRCONFIG KB is a knowledge base for configuring GPR toolchains, used by GPRbuild and GPR2 projects.
USE flags
ada_target (Use Expand)
gcc_12
gcc_13
gcc_14
gcc_15
gnat_2021
License
GPL-3
Maintainer(s)
ada@gentoo.org
External Resources
Related bugs
CI Report
(
verbose
)
Repology
Open Pull Requests
Documentation
Forums posts
Git repository browser
Git log
(
short
)
Changes Feed