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

File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
dafny-bin-4.8.1.ebuild	1.2 KiB	2024-Oct-24 01:11
dafny-bin-4.9.0.ebuild	1.2 KiB	2024-Nov-01 07:41
Manifest	1.5 KiB	2024-Nov-01 07:41
metadata.xml	1.8 KiB	2023-Mar-01 02:10