Gentoo Packages

dev-ada/adareducer (gentoo)

Search

Install

Install this package:

emerge -a dev-ada/adareducer

If the package is masked, you can unmask it using the autounmask tool or standard emerge options:

autounmask dev-ada/adareducer

Or alternatively:

emerge --autounmask-write -a dev-ada/adareducer

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

Manage flags for this package: euse -i <flag> -p dev-ada/adareducer | euse -E <flag> -p dev-ada/adareducer | euse -D <flag> -p dev-ada/adareducer

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