summaryrefslogtreecommitdiff
path: root/math/hs-Agda/Makefile (follow)
Commit message (Expand)AuthorAgeFilesLines
* Update the default version of GCC used in the Ports Collection fromGerald Pfeifer2014-03-101-1/+1
* - Stagify lang/ghc and all the Haskell Cabal portsGabor Pali2014-01-091-3/+2
* - Fix a run-time problem with lang/ghc on FreeBSD 10.0 and later, caused byGabor Pali2014-01-091-1/+1
* Update to libmpc version 1.0.1 which brings the following fixes:Gerald Pfeifer2013-10-261-1/+1
* Add NO_STAGE all over the place in preparation for the staging support (cat: ...Baptiste Daroussin2013-09-201-0/+1
* - Update The Glorious Glasgow Haskell Compiler to version 7.6.3Gabor Pali2013-06-041-4/+2
* - Convert USE_ICONV=yes to USES=iconvMarcus von Appen2013-04-271-1/+1
* - Fix a minor dynamic linking problem for certain Haskell Cabal portsGabor Pali2013-03-311-0/+1
* - Update Haskell ports from the development repositoryGabor Pali2013-03-291-16/+7
* - Fix breakage in the DYNAMIC-enabled ports triggered by the recentGabor Pali2013-02-051-2/+2
* - Update The Glorious Glasgow Haskell Compiler to version 7.4.2Gabor Pali2012-12-201-7/+3
* - Teach the Haskell Cabal ports to use the new options frameworkGabor Pali2012-08-031-6/+7
* - Update to 2.3.0.1Gabor Pali2012-06-031-5/+6
* - Update to 2.3.0Gabor Pali2012-02-131-6/+23
* - 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-091-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-121-88/+11
* 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-041-0/+109