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

../
Manifest                                           27-Aug-2022 01:40                2180
dafny-bin-3.7.2.ebuild                             19-Jul-2022 19:40                1166
dafny-bin-3.7.3.ebuild                             22-Jul-2022 02:40                1166
dafny-bin-3.8.0.ebuild                             27-Aug-2022 01:40                1229
metadata.xml                                       29-Jun-2022 16:10                1814