Folder Path
/
gentoo-portage
/
dev-lang
/
dafny-bin
/
0
directories
4
files
5.8 KiB
total
List
Grid
Name
Size
Modified
Up
dafny-bin-4.10.0.ebuild
1.2 KiB
02/06/2025 12:40:57 PM +00:00
dafny-bin-4.9.1.ebuild
1.2 KiB
02/05/2025 02:40:57 PM +00:00
Manifest
1.5 KiB
02/06/2025 12:40:57 PM +00:00
metadata.xml
1.8 KiB
02/28/2023 06:10:35 PM +00:00