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

Filename	Modification time	Size
Manifest	2024-12-06 09:41 CET	924 B
dafny-bin-4.9.0.ebuild	2024-12-06 09:11 CET	1276 B
metadata.xml	2023-02-28 19:10 CET	1826 B