Index of /gentoo-repo/dev-lang/dafny-bin/

../
Manifest                                           14-Mar-2026 19:25                 321
dafny-bin-4.11.0-r1.ebuild                         08-Nov-2025 06:03                1321
metadata.xml                                       28-Feb-2023 19:24                1826