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

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