mirrors.tnonline.net
Folder Path
/
gentoo
/
gentoo-portage
/
dev-lang
/
idris2
/
1
directory
4
files
List
Grid
Name
Size
Modified
Up
files/
—
11/21/2024 05:11:06 PM +00:00
idris2-0.6.0.ebuild
2.4 KiB
02/14/2023 05:40:37 AM +00:00
idris2-0.7.0.ebuild
2.8 KiB
12/27/2023 01:40:47 AM +00:00
Manifest
1.8 KiB
12/27/2023 01:40:47 AM +00:00
metadata.xml
1.2 KiB
01/25/2022 07:10:03 PM +00:00