calculate/gentoo-overlay
4
1
Fork 0
Code Issues Pull requests Releases Wiki Activity
gentoo-overlay/sci-mathematics/agda-stdlib
History
Calculate Linux 3ab935ee6f Sync with portage [Wed Jan 20 22:50:36 MSK 2021].
2021-01-20 22:50:37 +03:00
..
files Sync with portage [Wed Jan 20 22:50:36 MSK 2021]. 2021-01-20 22:50:37 +03:00
agda-stdlib-2.6.1.2.1.4.ebuild Sync with portage [Thu Dec 17 15:40:00 MSK 2020]. 2020-12-17 15:40:00 +03:00
Manifest Sync with portage [Thu Dec 17 15:40:00 MSK 2020]. 2020-12-17 15:40:00 +03:00
metadata.xml Sync with portage [Thu Dec 17 15:40:00 MSK 2020]. 2020-12-17 15:40:00 +03:00