aboutsummaryrefslogtreecommitdiffstats
path: root/math/hs-Agda-executable
Commit message (Expand)AuthorAgeFilesLines
* - Teach the Haskell Cabal ports to use the new options frameworkpgj2012-08-031-0/+1
* - Update to 2.3.0.1pgj2012-06-043-6/+6
* - Update to 2.3.0pgj2012-02-132-5/+4
* - Update devel/hs-blaze-builder to 0.3.0.1ashish2011-07-111-0/+1
* - Un-break buildpgj2011-06-151-3/+1
* - Mark BROKEN: bad dependency objectpav2011-06-061-0/+2
* - Please welcome GHC 7.0.3ashish2011-05-093-9/+4
* - Get Rid MD5 supportmiwi2011-03-201-1/+0
* - 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-131-56/+5
* Switch to use newer GMP version.ale2010-04-191-1/+2
* This package provides a command-line program for type-checking andpgj2010-01-044-0/+87