/editors/se/

gnome' title='freebsd-ports-gnome Git repository'/>
aboutsummaryrefslogtreecommitdiffstats
path: root/math/hs-Agda-executable
Commit message (Expand)AuthorAgeFilesLines
* - Pass maintainership to haskell@FreeBSD.org:jacula2010-05-261-1/+1
* Introduce a new (and hopefully better) ports infrastructure for Haskell Cabalpgj2010-05-131-56/+5
* Switch to use newer GMP version.ale2010-04-191-1/+2