3 Commits

Author	SHA1	Message	Date
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