aboutsummaryrefslogtreecommitdiff
path: root/math/hs-Agda-stdlib
Commit message (Expand)AuthorAgeFilesLines
* - 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