Commit Graph

6 Commits

Author SHA1 Message Date
Jens Petersen
6984fbff07 update to 2.4.2.2 2015-04-03 13:25:00 +09:00
Jens Petersen
d6f36b5d3e update to 2.4.2
needs new deps:
STMonadTrans, boxes, data-hash, equivalence, and QuickCheck 2.7.5+
2014-09-03 16:53:17 +09:00
Jens Petersen
039fa0882f update to 2.3.2.2 2013-10-31 18:29:45 +09:00
Jens Petersen
c05cc5b7d3 Agda hackage (ghc-Agda) replaces deprecated Agda-executable 2013-06-14 18:46:35 +09:00
Jens Petersen
1567c74efa import (#710383) 2012-07-15 16:28:54 +09:00
Fedora Release Engineering
18fff63fc3 Initial setup of the repo 2012-07-13 22:58:13 +00:00