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


../
Manifest                                           01-Feb-2023 14:10                1556
dafny-bin-3.10.0.ebuild                            01-Feb-2023 14:10                1193
dafny-bin-3.11.0.ebuild                            01-Feb-2023 08:40                1194
metadata.xml                                       29-Jun-2022 10:10                1814