Gentoo Portage Overlays - sci-mathematics/agda-stdlib

sci-mathematics/agda-stdlib

agda-stdlib-2.6.3.0.1.7.2

~amd64

profile

View

Download

Browse License: MIT

Overlay: haskell

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

profile

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