Index of /debian-ubuntu/pool/universe/c/cvc4

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]libcvc4parser7_1.8-5_amd64v3.deb2025-10-27 21:28 386K 
[   ]libcvc4parser7_1.8-5_amd64.deb2025-10-27 21:16 375K 
[   ]libcvc4parser7_1.8-3build2_amd64.deb2024-03-31 17:36 365K 
[   ]libcvc4-dev_1.8-5_amd64v3.deb2025-10-27 21:28 122K 
[   ]libcvc4-dev_1.8-5_amd64.deb2025-10-27 21:16 122K 
[   ]libcvc4-dev_1.8-3build2_amd64.deb2024-03-31 17:36 122K 
[   ]libcvc4-7_1.8-5_amd64v3.deb2025-10-27 21:28 4.8M 
[   ]libcvc4-7_1.8-5_amd64.deb2025-10-27 21:16 4.7M 
[   ]libcvc4-7_1.8-3build2_amd64.deb2024-03-31 17:36 4.5M 
[   ]cvc4_1.8-5_amd64v3.deb2025-10-27 21:28 70K 
[   ]cvc4_1.8-5_amd64.deb2025-10-27 21:16 69K 
[   ]cvc4_1.8-5.dsc2025-10-27 21:01 1.8K 
[   ]cvc4_1.8-5.debian.tar.xz2025-10-27 21:01 17K 
[   ]cvc4_1.8-3build2_amd64.deb2024-03-31 17:36 74K 
[   ]cvc4_1.8-3build2.dsc2024-03-31 15:36 2.3K 
[   ]cvc4_1.8-3build2.debian.tar.xz2024-03-31 15:36 16K 

Apache/2.4.59 (Debian) Server at 143.107.129.14 Port 80