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

../
files/                                             14-Mar-2026 19:25                   -
Manifest                                           14-Mar-2026 19:25              129644
dafny-4.11.0.ebuild                                03-Oct-2025 21:06               20665
metadata.xml                                       17-Sep-2023 20:13                1884