aboutsummaryrefslogtreecommitdiff
path: root/math/hs-Agda-stdlib
Commit message (Expand)AuthorAgeFilesLines
* 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-084-43/+4
* - Chase the changes in bsd.cabal.mkGabor Pali2016-02-191-0/+2
* Don't use GH_TAGNAME when DISTVERSION* variables can be used.Mathieu Arnold2015-12-082-3/+3
* - Update The Glorious Glasgow Haskell Compiler to version 7.10.2Gabor Pali2015-08-205-0/+89