uhc

Global USE flag

Add support for the uhc backend.


Packages describing “uhc” as local USE flag

Package “uhc” Flag Description
sci-mathematics/agda Add support for the uhc backend.

All packages providing a “uhc” USE flag (1)