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