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


../
files/                                                                                                                   02-Aug-2025 14:48       -
Manifest                                                                                                                 16-May-2025 21:11    114K
dafny-4.10.0.ebuild                                                                                                      20-Mar-2025 12:38     18K
metadata.xml                                                                                                             20-Mar-2025 12:38    1884