aboutsummaryrefslogtreecommitdiffstats
path: root/math/hs-Agda/distinfo
Commit message (Expand)AuthorAgeFilesLines
* Update some hs-* ports that were previously IGNORE'd.arrowd2018-07-291-3/+3
* - Update The Glorious Glasgow Haskell Compiler to version 8.0.2tcberner2017-08-091-4/+3
* - Update The Glorious Glasgow Haskell Compiler to version 7.10.2pgj2015-08-211-2/+4
* - Update The Glorious Glasgow Haskell Compiler to version 7.8.3pgj2014-08-111-2/+2
* - Update Haskell ports from the development repositorypgj2013-03-301-2/+2
* - Update to 2.3.0.1pgj2012-06-041-2/+2
* - Update to 2.3.0pgj2012-02-131-2/+2
* - Please welcome GHC 7.0.3ashish2011-05-091-2/+2
* - Get Rid MD5 supportmiwi2011-03-201-1/+0
* - Add DIST_SUBDIR for Haskell Cabal ports (with default of "cabal")pgj2010-08-081-3/+3
* Agda is a dependently typed functional programming language: It has inductivepgj2010-01-041-0/+3