Index of /gentoo-portage-snapshots/2022-10-29-0015/dev-lang/dafny-bin/

../
Manifest                                           06-Oct-2022 02:40                2180
dafny-bin-3.8.0.ebuild                             27-Aug-2022 01:40                1229
dafny-bin-3.8.1.ebuild                             02-Sep-2022 02:40                1229
dafny-bin-3.9.0.ebuild                             06-Oct-2022 02:11                1187
metadata.xml                                       29-Jun-2022 16:10                1814