Index of /gentoo-portage-snapshots/2023-12-01-1215/dev-lang/dafny-bin/

../
Manifest                                           15-Nov-2023 19:40                 924
dafny-bin-4.3.0.ebuild                             13-Nov-2023 20:10                1248
metadata.xml                                       28-Feb-2023 18:10                1826