Folder Path
/
packages
/
y
/
yices
/
0
directories
2
files
132 B
total
List
Grid
Name
Size
Modified
Up
yices-2.7.0-1-aarch64.pkg.tar.xz
↱ 1.4 MiB
03/07/2026 11:50:18 PM +00:00
yices-2.7.0-1-aarch64.pkg.tar.xz.sig
↱ 566 B
03/07/2026 11:50:18 PM +00:00