Folder Path
/
packages
/
c
/
cvc4
/
0
directories
2
files
126 B
total
List
Grid
Name
Size
Modified
Up
cvc4-1.8-3-aarch64.pkg.tar.xz
↱ 5.1 MiB
03/07/2026 11:49:51 PM +00:00
cvc4-1.8-3-aarch64.pkg.tar.xz.sig
↱ 566 B
03/07/2026 11:49:51 PM +00:00