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

../
files/                                             02-Dec-2024 19:41       -
Manifest                                           23-Nov-2024 05:40    124K
dafny-4.8.0.ebuild                                 23-Nov-2024 05:40     21K
dafny-4.8.1.ebuild                                 23-Nov-2024 05:40     21K
dafny-4.9.0.ebuild                                 23-Nov-2024 05:40     20K
metadata.xml                                       18-Sep-2023 03:40    1884