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

../
Manifest                                           15-Dec-2022 22:10                2188
dafny-bin-3.10.0.ebuild                            15-Dec-2022 22:10                1194
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