Index of /freexian/extended-lts/pool/main/c/cvc4

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cvc4_1.8-3_amd64.deb2025-08-20 16:05 79K 
[ ]cvc4_1.8-2_amd64.deb2025-08-20 16:05 80K 
[ ]cvc4_1.8-2_i386.deb2025-09-01 16:34 81K 
[ ]cvc4_1.8-3_i386.deb2025-09-01 16:34 81K 
[ ]libcvc4-dev_1.8-3_amd64.deb2025-08-20 16:05 128K 
[ ]libcvc4-dev_1.8-3_i386.deb2025-09-01 16:34 128K 
[ ]libcvc4-dev_1.8-2_i386.deb2025-09-01 16:34 128K 
[ ]libcvc4-dev_1.8-2_amd64.deb2025-08-20 16:05 128K 
[ ]cvc4_1.6-2+b1_amd64.deb2025-08-20 16:05 133K 
[ ]cvc4_1.6-2+b1_i386.deb2025-09-01 16:34 136K 
[ ]libcvc4parser7_1.8-3_amd64.deb2025-08-20 16:05 354K 
[ ]libcvc4parser5_1.6-2+b1_amd64.deb2025-08-20 16:05 354K 
[ ]libcvc4parser7_1.8-2_amd64.deb2025-08-20 16:05 358K 
[ ]libcvc4parser7_1.8-2_i386.deb2025-09-01 16:34 374K 
[ ]libcvc4parser7_1.8-3_i386.deb2025-09-01 16:34 379K 
[ ]libcvc4parser5_1.6-2+b1_i386.deb2025-09-01 16:34 380K 
[ ]libcvc4-5_1.6-2+b1_amd64.deb2025-08-20 16:05 3.9M 
[ ]libcvc4-5_1.6-2+b1_i386.deb2025-09-01 16:34 4.3M 
[ ]libcvc4-7_1.8-2_amd64.deb2025-08-20 16:05 5.4M 
[ ]libcvc4-7_1.8-3_amd64.deb2025-08-20 16:05 5.7M 
[ ]libcvc4-7_1.8-2_i386.deb2025-09-01 16:34 5.9M 
[ ]libcvc4-7_1.8-3_i386.deb2025-09-01 16:34 6.4M 
[ ]libcvc4-dev_1.6-2+b1_amd64.deb2025-08-20 16:05 6.4M 
[ ]libcvc4-dev_1.6-2+b1_i386.deb2025-09-01 16:34 6.9M 
Apache/2.4.65 (Debian) Server at mirror.tecnico.ulisboa.pt Port 443