aboutsummaryrefslogtreecommitdiff
path: root/math/hs-Agda/files/patch-Agda.cabal
Commit message (Expand)AuthorAgeFilesLines
* Update some hs-* ports that were previously IGNORE'd.Gleb Popov2018-07-291-11/+0
* - Update The Glorious Glasgow Haskell Compiler to version 8.0.2Tobias C. Berner2017-08-081-16/+10
* - Update The Glorious Glasgow Haskell Compiler to version 7.10.2Gabor Pali2015-08-201-11/+17
* - Update The Glorious Glasgow Haskell Compiler to version 7.8.3Gabor Pali2014-08-101-18/+9
* - Update The Glorious Glasgow Haskell Compiler to version 7.6.3Gabor Pali2013-06-041-5/+12
* - Update Haskell ports from the development repositoryGabor Pali2013-03-291-36/+11
* - Fix breakage in the DYNAMIC-enabled ports triggered by the recentGabor Pali2013-02-051-1/+10
* - Update The Glorious Glasgow Haskell Compiler to version 7.4.2Gabor Pali2012-12-201-3/+4
* - Update to 2.3.0.1Gabor Pali2012-06-031-7/+15
* - Update to 2.3.0Gabor Pali2012-02-131-20/+20
* - Please welcome GHC 7.0.3Ashish SHUKLA2011-05-091-0/+20