Index of /pub/linux/gentoo/portage/sci-mathematics/agda/files

	Name	Last modified	Size
	Parent Directory		-
	50agda-gentoo.el	12-Jul-2006 14:21	318
	50agda2-gentoo.el	14-Sep-2010 20:53	317
	agda-1.0.2-upstream-fixes.patch	26-Jul-2008 12:37	2.0K
	agda-2.2.6-emacs.patch	14-Sep-2010 20:53	945
	agda-2.3.0-emacs.patch	23-Jan-2012 13:52	949
	agda-2.3.0.1-emacs.patch	25-Mar-2012 14:55	955
	agda-2.3.0.1-haskell-src-exts-1.13.patch	01-Apr-2012 03:18	1.1K
	agda-2.3.0.1-mtl-2.1.patch	13-Apr-2012 11:56	489
	agda-2.3.0.1-quickcheck-2.5.patch	18-Nov-2012 07:01	1.3K
	agda-2.3.2-hashable-1.2.patch	28-Dec-2012 05:47	2.0K
	agda-make_install.patch	12-Jul-2006 14:21	549