You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

root 03d9d1ded0 Sync with portage [Fri Dec 28 12:43:07 MSK 2012].		12 years ago
..
50agda-gentoo.el	Automatic update [Wed Nov 9 11:33:18 MSK 2011].	13 years ago
50agda2-gentoo.el	Automatic update [Wed Nov 9 11:33:18 MSK 2011].	13 years ago
agda-1.0.2-upstream-fixes.patch	Automatic update [Wed Nov 9 11:33:18 MSK 2011].	13 years ago
agda-2.2.6-emacs.patch	Automatic update [Wed Nov 9 11:33:18 MSK 2011].	13 years ago
agda-2.3.0-emacs.patch	Sync with portage [Wed Feb 8 10:13:09 MSK 2012].	13 years ago
agda-2.3.0.1-emacs.patch	Sync with portage [Mon Mar 26 10:07:51 MSK 2012].	12 years ago
agda-2.3.0.1-haskell-src-exts-1.13.patch	Sync with portage [Mon Apr 2 12:44:06 MSK 2012].	12 years ago
agda-2.3.0.1-mtl-2.1.patch	Sync with portage [Fri Apr 13 16:00:28 MSK 2012].	12 years ago
agda-2.3.0.1-quickcheck-2.5.patch	Sync with portage [Mon Nov 19 11:15:01 MSK 2012].	12 years ago
agda-2.3.2-hashable-1.2.patch	Sync with portage [Fri Dec 28 12:43:07 MSK 2012].	12 years ago
agda-make_install.patch	Automatic update [Wed Nov 9 11:33:18 MSK 2011].	13 years ago