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

../
files/                                             17-Sep-2024 02:11       -
Manifest                                           31-Aug-2024 08:11    118K
dafny-4.7.0.ebuild                                 02-Aug-2024 01:11     20K
dafny-4.8.0.ebuild                                 31-Aug-2024 08:11     21K
metadata.xml                                       18-Sep-2023 03:40    1884