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

Filename	Modification time	Size
Manifest	2024-11-09 07:41 CET	124 KiB
dafny-4.8.0.ebuild	2024-11-09 07:41 CET	21 KiB
dafny-4.8.1.ebuild	2024-11-09 07:41 CET	21 KiB
dafny-4.9.0.ebuild	2024-11-09 07:41 CET	20 KiB
metadata.xml	2023-09-17 21:40 CEST	1884 B