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

../
files/                                             27-May-2024 22:11                   -
Manifest                                           09-Feb-2025 23:03              129497
dafny-4.10.0.ebuild                                15-Mar-2025 19:36               18905
dafny-4.8.0.ebuild                                 22-Nov-2024 22:28               21093
dafny-4.8.1.ebuild                                 19-Feb-2025 23:35               21157
dafny-4.9.0.ebuild                                 22-Nov-2024 22:28               20390
dafny-4.9.1.ebuild                                 05-Mar-2025 01:40               19072
metadata.xml                                       17-Sep-2023 20:13                1884