calculate/gentoo-overlay
4
1
Fork 0
Code Issues Pull requests Releases Wiki Activity
gentoo-overlay/sci-mathematics/agda
History
Calculate Linux e6c13b1bab Sync with portage [Mon Nov 16 08:50:53 MSK 2020].
2020-11-16 08:50:53 +03:00
..
files Sync with portage [Mon Oct 12 08:53:12 MSK 2020]. 2020-10-12 08:53:12 +03:00
agda-2.5.2-r2.ebuild Sync with portage [Mon Nov 16 08:50:53 MSK 2020]. 2020-11-16 08:50:53 +03:00
Manifest Sync with portage [Mon Oct 12 08:53:12 MSK 2020]. 2020-10-12 08:53:12 +03:00
metadata.xml Sync with portage [Mon Nov 16 08:50:53 MSK 2020]. 2020-11-16 08:50:53 +03:00