aboutsummaryrefslogtreecommitdiffstats
path: root/math/hs-Agda
Commit message (Expand)AuthorAgeFilesLines
* Update the default version of GCC in the Ports Collection from GCC 4.7.4gerald2014-09-111-0/+1
* - Update The Glorious Glasgow Haskell Compiler to version 7.8.3pgj2014-08-117-87/+33
* - Reroll and update bootstrap Haskell compilers to GHC 7.6.3 on 8.x andpgj2014-03-291-1/+1
* Update the default version of GCC used in the Ports Collection fromgerald2014-03-111-1/+1
* - Stagify lang/ghc and all the Haskell Cabal portspgj2014-01-101-3/+2
* - Fix a run-time problem with lang/ghc on FreeBSD 10.0 and later, caused bypgj2014-01-101-1/+1
* Update to libmpc version 1.0.1 which brings the following fixes:gerald2013-10-261-1/+1
* Add NO_STAGE all over the place in preparation for the staging support (cat: ...bapt2013-09-211-0/+1
* - Update The Glorious Glasgow Haskell Compiler to version 7.6.3pgj2013-06-052-9/+14
* - Convert USE_ICONV=yes to USES=iconvmva2013-04-271-1/+1
* - Fix a minor dynamic linking problem for certain Haskell Cabal portspgj2013-03-311-0/+1
* - Update Haskell ports from the development repositorypgj2013-03-3010-96/+68
* - Fix breakage in the DYNAMIC-enabled ports triggered by the recentpgj2013-02-063-3/+23
* - Update The Glorious Glasgow Haskell Compiler to version 7.4.2pgj2012-12-204-11/+19
* - Teach the Haskell Cabal ports to use the new options frameworkpgj2012-08-031-6/+7
* - Update to 2.3.0.1pgj2012-06-044-14/+34
* - Update to 2.3.0pgj2012-02-136-51/+46
* - Update devel/hs-blaze-builder to 0.3.0.1ashish2011-07-111-1/+1
* Bump PORTREVISION of all ports dependent on lang/ghc as duringashish2011-05-261-0/+1
* - Please welcome GHC 7.0.3ashish2011-05-096-222/+47
* - 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-132-299/+222
* Switch to use newer GMP version.ale2010-04-191-1/+2
* Agda is a dependently typed functional programming language: It has inductivepgj2010-01-045-0/+351