aboutsummaryrefslogtreecommitdiff
path: root/math/hs-Agda
Commit message (Expand)AuthorAgeFilesLines
* Bump USES=cabal ports after 12837690ed0cTobias Kortkamp2021-04-211-0/+1
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
* math/hs-Agda: Update to 2.6.1.3Gleb Popov2021-03-013-16/+4
* math/hs-Agda: Mark BROKEN on i386. There is a hope that the sutiation will im...Gleb Popov2020-08-311-0/+2
* math/hs-Agda: Fix build with new GHC.Gleb Popov2020-08-232-1/+12
* math/hs-Agda: Do not compile Emacs mode files, because they are incompatibleGleb Popov2020-08-192-10/+3
* lang/ghc: Update to 8.10.1.Gleb Popov2020-08-162-30/+41
* Chanse update of devel/libffiNiclas Zeising2020-07-041-1/+1
* math/hs-Agda: Install emacs mode files.Gleb Popov2020-05-062-0/+25
* Upgrade lang/ghc to 8.8.3 and many Haskell ports along the way.Gleb Popov2020-05-043-92/+114
* math/hs-Agda: Update to latest version and unbreak.Gleb Popov2019-06-135-27/+205
* Introduce USES=cabal and use it to build Haskell applications.Gleb Popov2019-05-091-13/+1
* Mark almost all Haskell ports for expiration by mid AprilTobias C. Berner2019-03-301-0/+1
* lang/ghc: Update to 8.6.3 and bump PORTREVISION's of all Haskell ports.Gleb Popov2019-01-062-6/+9
* Update some hs-* ports that were previously IGNORE'd.Gleb Popov2018-07-293-21/+7
* lang/ghc: Update to 8.4.3 and bump PORTREVISION's of all Haskell ports.Gleb Popov2018-06-301-1/+1
* Update lang/ghc 8.4.2 and the hs-* ports the newer versionsTobias C. Berner2018-05-251-2/+4
* Switch C compiler used to compile GHC to base Clang.Tobias C. Berner2018-02-101-0/+1
* - Update The Glorious Glasgow Haskell Compiler to version 8.0.2Tobias C. Berner2017-08-085-37/+40
* - Update The Glorious Glasgow Haskell Compiler to version 7.10.2Gabor Pali2015-08-204-35/+37
* Update the default version of GCC in the Ports Collection from GCC 4.7.4Gerald Pfeifer2014-09-101-0/+1
* - Update The Glorious Glasgow Haskell Compiler to version 7.8.3Gabor Pali2014-08-107-87/+33
* - Reroll and update bootstrap Haskell compilers to GHC 7.6.3 on 8.x andGabor Pali2014-03-291-1/+1
* 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-042-9/+14
* - 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-2910-96/+68
* - Fix breakage in the DYNAMIC-enabled ports triggered by the recentGabor Pali2013-02-053-3/+23
* - Update The Glorious Glasgow Haskell Compiler to version 7.4.2Gabor Pali2012-12-204-11/+19
* - 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-30 13:36:54 +0000