Index of /deb12/pool/main/c/cvc4

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]libcvc4-dev_1.8-3_amd64.deb2023-10-18 21:54 128K 
[   ]libcvc4-dev_1.8-3_arm64.deb2023-10-18 18:31 128K 
[   ]libcvc4parser7_1.8-3_arm64.deb2023-10-18 18:53 315K 
[   ]libcvc4parser7_1.8-3_amd64.deb2023-10-18 23:25 354K 
[   ]libcvc4-7_1.8-3_arm64.deb2023-10-18 21:13 4.8M 
[   ]libcvc4-7_1.8-3_amd64.deb2023-10-18 21:56 5.7M 

Apache/2.4.38 (Debian) Server at updates2.xorcom.com Port 443