Index of /gentoo-portage-snapshots/2024-03-15-0015/dev-lang/dafny-bin/

../
Manifest                                           18-Jan-2024 17:40                1552
dafny-bin-4.3.0.ebuild                             13-Nov-2023 20:10                1248
dafny-bin-4.4.0.ebuild                             18-Jan-2024 17:40                1248
metadata.xml                                       28-Feb-2023 18:10                1826