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-stdlib
root 77d408d4eb
Sync with portage [Thu Jul 3 13:18:54 MSK 2014].
10 years ago
..
files Sync with portage [Mon Mar 26 10:07:51 MSK 2012]. 12 years ago
Manifest Sync with portage [Thu Jul 3 13:18:54 MSK 2014]. 10 years ago
agda-stdlib-0.6.ebuild Sync with portage [Sat Jan 12 02:19:15 MSK 2013]. 12 years ago
agda-stdlib-0.7-r1.ebuild Sync with portage [Wed Dec 11 01:29:20 MSK 2013]. 11 years ago
agda-stdlib-0.7.ebuild Sync with portage [Sat Sep 14 17:32:41 MSK 2013]. 11 years ago
agda-stdlib-0.8.ebuild Sync with portage [Thu Jul 3 13:18:54 MSK 2014]. 10 years ago
metadata.xml Sync with portage [Thu Jul 3 13:18:54 MSK 2014]. 10 years ago