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


../
Manifest                                           01-Sep-2022 21:40                2180
dafny-bin-3.7.3.ebuild                             21-Jul-2022 21:40                1166
dafny-bin-3.8.0.ebuild                             26-Aug-2022 20:40                1229
dafny-bin-3.8.1.ebuild                             01-Sep-2022 21:40                1229
metadata.xml                                       29-Jun-2022 11:10                1814