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

Filename	Modification time	Size
Manifest	2024-11-01 00:41 CET	1552 B
dafny-bin-4.8.1.ebuild	2024-10-23 19:11 CEST	1266 B
dafny-bin-4.9.0.ebuild	2024-11-01 00:41 CET	1277 B
metadata.xml	2023-02-28 19:10 CET	1826 B