calculate
/
gentoo-full-overlay
5
1
Fork 0
Code Issues Pull Requests Releases Wiki Activity
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.
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '81df0426c5'
${ noResults }
gentoo-full-overlay/dev-lang/idris2
History
root d157b70f1d
Sync with portage [Tue Feb 14 22:27:59 MSK 2023]. 		2 years ago
..
Manifest Sync with portage [Tue Feb 14 22:27:59 MSK 2023]. 2 years ago
idris2-0.5.1_p20220224-r1.ebuild Sync with portage [Tue Feb 14 22:27:59 MSK 2023]. 2 years ago
idris2-0.5.1_p20220920.ebuild Sync with portage [Tue Feb 14 22:27:59 MSK 2023]. 2 years ago
idris2-0.6.0.ebuild Sync with portage [Tue Feb 14 22:27:59 MSK 2023]. 2 years ago
metadata.xml
…