Folder Path
/
gentoo-portage
/
dev-lang
/
dafny
/
1
directory
4
files
177 KiB
total
List
Grid
Name
Size
Modified
Up
files/
—
10/11/2025 10:10:56 AM +00:00
dafny-4.10.0.ebuild
18 KiB
03/20/2025 12:38:29 PM +00:00
dafny-4.11.0.ebuild
20 KiB
10/03/2025 07:10:23 PM +00:00
Manifest
137 KiB
10/03/2025 07:10:23 PM +00:00
metadata.xml
1.8 KiB
03/20/2025 12:38:29 PM +00:00