gentoo-full-overlay/sci-mathematics/agda-stdlib
2021-09-11 18:05:05 +03:00
..
files Sync with portage [Wed Jan 20 22:51:14 MSK 2021]. 2021-01-20 22:51:14 +03:00
agda-stdlib-2.6.1.2.1.4.ebuild Sync with portage [Thu Dec 17 15:41:00 MSK 2020]. 2020-12-17 15:41:00 +03:00
Manifest Sync with portage [Sat Sep 11 18:05:04 MSK 2021]. 2021-09-11 18:05:05 +03:00
metadata.xml Sync with portage [Sat Sep 11 18:05:04 MSK 2021]. 2021-09-11 18:05:05 +03:00