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

../
Manifest                                           18-Nov-2022 21:10                2189
dafny-bin-3.8.1-r1.ebuild                          18-Nov-2022 21:10                1236
dafny-bin-3.9.0-r1.ebuild                          18-Nov-2022 21:10                1194
dafny-bin-3.9.1-r1.ebuild                          18-Nov-2022 21:10                1194
metadata.xml                                       29-Jun-2022 16:10                1814