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

../
Manifest                                           18-Sep-2023 05:11                2184
dafny-bin-3.10.0.ebuild                            01-Feb-2023 20:10                1193
dafny-bin-3.12.0.ebuild                            18-Sep-2023 05:11                1193
dafny-bin-4.2.0.ebuild                             17-Sep-2023 19:40                1249
metadata.xml                                       28-Feb-2023 18:10                1826