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


../
Manifest                                           18-Nov-2022 21:10    2189
dafny-bin-3.8.1-r1.ebuild                          18-Nov-2022 21:10    1236
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