aboutsummaryrefslogtreecommitdiff
path: root/math/hs-Agda-executable
Commit message (Expand)AuthorAgeFilesLines
* - Add DIST_SUBDIR for Haskell Cabal ports (with default of "cabal")Gabor Pali2010-08-081-3/+3
* - Pass maintainership to haskell@FreeBSD.org:Giuseppe Pilichi2010-05-261-1/+1
* Introduce a new (and hopefully better) ports infrastructure for Haskell CabalGabor Pali2010-05-121-56/+5
* Switch to use newer GMP version.Alex Dupre2010-04-191-1/+2
* This package provides a command-line program for type-checking andGabor Pali2010-01-044-0/+87