Folder Path
/
gentoo-portage
/
dev-lang
/
dafny-bin
/
0
directories
4
files
5.9 KiB
total
List
Grid
Name
Size
Modified
Up
dafny-bin-4.10.0-r1.ebuild
1.3 KiB
09/13/2025 04:09:57 PM +00:00
dafny-bin-4.11.0-r1.ebuild
1.3 KiB
09/13/2025 04:09:57 PM +00:00
Manifest
1.5 KiB
09/13/2025 04:09:57 PM +00:00
metadata.xml
1.8 KiB
03/20/2025 12:38:29 PM +00:00