Gentoo Packages

dev-ada/adareducer (gentoo)

Search

Package Information

Description:
Ada Reducer
Homepage:
https://github.com/AdaCore/adareducer
License:
GPL-3

Versions

Version EAPI Keywords Slot
0.20250402 8 ~amd64 0

Metadata

Maintainers

Upstream

Raw Metadata XML 
<pkgmetadata>
	<maintainer type="project">
		<email>ada@gentoo.org</email>
	</maintainer>
	<upstream>
		<remote-id type="github">AdaCore/adareducer</remote-id>
	</upstream>
</pkgmetadata>

Lint Warnings

USE Flags

Flag Description 0.20250402
test Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently) ✓

Manifest

Type File Size Versions
DIST adareducer-0.20250402.tar.gz 32724 bytes 0.20250402
Unmatched Entries
Type File Size