calculate/gentoo-full-overlay
4
1
Fork 0
Code Issues Pull requests Releases Wiki Activity
gentoo-full-overlay/dev-lang/idris2
History
root 869f4b6858 Sync with portage [Thu Dec 28 09:15:23 MSK 2023].
2023-12-28 09:15:23 +03:00
..
files Sync with portage [Thu Dec 28 09:15:23 MSK 2023]. 2023-12-28 09:15:23 +03:00
idris2-0.6.0.ebuild Sync with portage [Tue Feb 14 22:27:59 MSK 2023]. 2023-02-14 22:27:59 +03:00
idris2-0.7.0.ebuild Sync with portage [Thu Dec 28 09:15:23 MSK 2023]. 2023-12-28 09:15:23 +03:00
Manifest Sync with portage [Thu Dec 28 09:15:23 MSK 2023]. 2023-12-28 09:15:23 +03:00
metadata.xml Sync with portage [Wed Jan 26 08:25:16 MSK 2022]. 2022-01-26 08:25:16 +03:00