gpo.zugaina.org

Search Portage & Overlays:

dev-haskell/fix-agda-whitespace

Fixes whitespace issues for Agda sources

Screenshots

Runtime Dependencies

fix-agda-whitespace-0.0.4