gpo.zugaina.org

Search Portage & Overlays:

dev-haskell/fix-agda-whitespace

Fixes whitespace issues for Agda sources

Screenshots