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

../
Manifest                                           28-Feb-2023 18:10    2186
dafny-bin-3.10.0.ebuild                            01-Feb-2023 20:10    1193
dafny-bin-3.11.0.ebuild                            01-Feb-2023 14:40    1194
dafny-bin-3.12.0.ebuild                            22-Feb-2023 00:10    1194
metadata.xml                                       28-Feb-2023 18:10    1826