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

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