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.
gentoo-overlay/sci-mathematics/agda
root 5da345cd59
Sync with portage [Thu Sep 13 09:21:08 MSK 2012].
12 years ago
..
files Sync with portage [Fri Apr 13 16:00:28 MSK 2012]. 12 years ago
Manifest Sync with portage [Thu Sep 13 09:21:08 MSK 2012]. 12 years ago
agda-1.0.2-r2.ebuild Automatic update [Wed Nov 9 11:33:18 MSK 2011]. 13 years ago
agda-2.2.6-r1.ebuild Automatic update [Wed Nov 9 11:33:18 MSK 2011]. 13 years ago
agda-2.3.0.1.ebuild Sync with portage [Thu Sep 13 09:21:08 MSK 2012]. 12 years ago
agda-2.3.0.ebuild Sync with portage [Thu Sep 13 09:21:08 MSK 2012]. 12 years ago
metadata.xml Sync with portage [Mon Mar 26 10:07:51 MSK 2012]. 12 years ago