aboutsummaryrefslogtreecommitdiff
path: root/math/hs-Agda-executable/Makefile
Commit message (Expand)AuthorAgeFilesLines
* - Update Haskell ports from the development repositoryGabor Pali2013-03-291-21/+0
* - Fix breakage in the DYNAMIC-enabled ports triggered by the recentGabor Pali2013-02-051-1/+1
* - Update The Glorious Glasgow Haskell Compiler to version 7.4.2Gabor Pali2012-12-201-6/+2
* - Teach the Haskell Cabal ports to use the new options frameworkGabor Pali2012-08-031-0/+1
* - Update to 2.3.0.1Gabor Pali2012-06-031-1/+1
* - Update to 2.3.0Gabor Pali2012-02-131-3/+2
* - Update devel/hs-blaze-builder to 0.3.0.1Ashish SHUKLA2011-07-101-0/+1
* - Un-break buildGabor Pali2011-06-141-3/+1
* - Mark BROKEN: bad dependency objectPav Lucistnik2011-06-051-0/+2
* - Please welcome GHC 7.0.3Ashish SHUKLA2011-05-091-3/+2
* - 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-041-0/+75