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

../
Manifest                                           22-Jul-2022 02:40                2183
dafny-bin-3.7.1-r2.ebuild                          30-Jun-2022 15:40                1166
dafny-bin-3.7.2.ebuild                             19-Jul-2022 19:40                1166
dafny-bin-3.7.3.ebuild                             22-Jul-2022 02:40                1166
metadata.xml                                       29-Jun-2022 16:10                1814