dev-ada/gprconfig_kb – Gentoo Packages

Packages

Get Gentoo!

Version 25.0.0 is available upstream. Please consider updating!
It seems that version 25.0.0 is available upstream, while the latest version in the Gentoo tree is 24.0.0-r1.
You think this warning is false? Read more about it here.

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)
License
GPL-3
Maintainer(s)
ada@gentoo.org

External Resources

CI Report (verbose)

Open Pull Requests

Git repository browser

Git log (short)