Index of ftp://ftp.ru.freebsd.org/gentoo-portage/dev-lang/dafny-bin

[DIR] Parent Directory

[ ] Manifest  2.13Kb  February 28 2023 at 18:10
[ ] dafny-bin-3.10.0.ebuild  1.17Kb  February 1 2023 at 20:10
[ ] dafny-bin-3.11.0.ebuild  1.17Kb  February 1 2023 at 14:40
[ ] dafny-bin-3.12.0.ebuild  1.17Kb  February 22 2023 at 00:10
[TXT] metadata.xml  1.78Kb  February 28 2023 at 18:10