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