Index of /gentoo-portage-snapshots/2022-07-09-0015/dev-lang/dafny-bin/

../
Manifest                                           30-Jun-2022 15:40                 927
dafny-bin-3.7.1-r2.ebuild                          30-Jun-2022 15:40                1166
metadata.xml                                       29-Jun-2022 16:10                1814