gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/agda-stdlib

Agda standard library

Screenshots

USE Flags

profile
Global: Adds support for software performance analysis (will likely vary from ebuild to ebuild)