Index of /gentoo-portage-snapshots/2023-10-02-0015/dev-lang/dafny-bin/

../
Manifest                                           30-Sep-2023 14:40                2182
dafny-bin-3.12.0.ebuild                            18-Sep-2023 05:11                1193
dafny-bin-4.2.0.ebuild                             17-Sep-2023 19:40                1249
dafny-bin-4.3.0.ebuild                             30-Sep-2023 14:40                1249
metadata.xml                                       28-Feb-2023 18:10                1826