Index of /pub/gentoo-portage/dev-lang/dafny-bin/


../
Manifest                                           20-Mar-2024 19:58                1552
dafny-bin-4.4.0.ebuild                             18-Jan-2024 17:40                1248
dafny-bin-4.5.0.ebuild                             20-Mar-2024 19:58                1250
metadata.xml                                       28-Feb-2023 18:10                1826