gentoo.mahdi.cz

  

dev-haskell:fix-agda-whitespace


Fixes whitespace issues for Agda sources
https://hackage.haskell.org/package/fix-agda-whitespace

fix-agda-whitespace-0.0.4MIT
download~amd64haskell