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
Calculate Linux 1738e3340e
Sync with portage [Tue Mar 16 23:02:55 MSK 2021].
3 years ago
..
files Sync with portage [Mon Oct 12 08:53:12 MSK 2020]. 4 years ago
Manifest Sync with portage [Thu Dec 17 15:40:00 MSK 2020]. 3 years ago
agda-2.6.1.2.ebuild Sync with portage [Tue Mar 16 14:58:21 MSK 2021]. 3 years ago
metadata.xml Sync with portage [Tue Mar 16 23:02:55 MSK 2021]. 3 years ago