File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
Manifest	1.5 KiB	2026-Jun-30 16:38
metadata.xml	1.1 KiB	2022-Dec-18 16:10
yices2-2.6.5.ebuild	1.0 KiB	2025-Jun-06 15:41
yices2-2.7.0.ebuild	1.0 KiB	2026-Jun-30 16:38