aboutsummaryrefslogtreecommitdiff
path: root/math/hs-Agda
Commit message (Expand)AuthorAgeFilesLines
* - Teach the Haskell Cabal ports to use the new options frameworkGabor Pali2012-08-031-6/+7
* - Update to 2.3.0.1Gabor Pali2012-06-034-14/+34
* - Update to 2.3.0Gabor Pali2012-02-136-51/+46
* - Update devel/hs-blaze-builder to 0.3.0.1Ashish SHUKLA2011-07-101-1/+1
* Bump PORTREVISION of all ports dependent on lang/ghc as duringAshish SHUKLA2011-05-261-0/+1
* - Please welcome GHC 7.0.3Ashish SHUKLA2011-05-096-222/+47
* - Get Rid MD5 supportMartin Wilke2011-03-201-1/+0
* - 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-122-299/+222
* Switch to use newer GMP version.Alex Dupre2010-04-191-1/+2
* Agda is a dependently typed functional programming language: It has inductiveGabor Pali2010-01-045-0/+351