aboutsummaryrefslogtreecommitdiff
path: root/math/hs-Agda-executable/distinfo
Commit message (Expand)AuthorAgeFilesLines
* - Add DIST_SUBDIR for Haskell Cabal ports (with default of "cabal")Gabor Pali2010-08-081-3/+3
* This package provides a command-line program for type-checking andGabor Pali2010-01-041-0/+3