/korean/bitchx/

ref='/~lantw44/cgit/cgit.cgi/'>cgit logo index : freebsd-ports-gnome
FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)
aboutsummaryrefslogtreecommitdiffstats
path: root/math/hs-Agda
Commit message (Expand)AuthorAgeFilesLines
* - Add DIST_SUBDIR for Haskell Cabal ports (with default of "cabal")pgj2010-08-081-3/+3
* - Pass maintainership to haskell@FreeBSD.org:jacula2010-05-261-1/+1
* Introduce a new (and hopefully better) ports infrastructure for Haskell Cabalpgj2010-05-132-299/+222
* Switch to use newer GMP version.ale2010-04-191-1/+2
* Agda is a dependently typed functional programming language: It has inductivepgj2010-01-04