Index of /debian/pool/main/c/cvc4

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cvc4_1.8-2_arm64.deb2024-01-24 08:35 74K 
[ ]libcvc4-7_1.8-2_arm64.deb2024-01-24 08:35 4.6M 
[ ]libcvc4-dev_1.8-2_arm64.deb2024-01-24 08:35 128K 
[ ]libcvc4parser7_1.8-2_arm64.deb2024-01-24 08:36 321K 
[ ]cvc4_1.8-3_arm64.deb2025-03-25 11:31 74K 
[ ]libcvc4-7_1.8-3_arm64.deb2025-03-25 11:31 4.8M 
[ ]libcvc4-dev_1.8-3_arm64.deb2025-03-25 11:31 128K 
[ ]libcvc4parser7_1.8-3_arm64.deb2025-03-25 11:31 315K 
[ ]cvc4_1.8-2_armhf.deb2025-03-26 11:09 74K 
[ ]cvc4_1.8-3_armhf.deb2025-03-26 11:09 73K 
[ ]libcvc4-7_1.8-2_armhf.deb2025-03-26 11:09 4.8M 
[ ]libcvc4-7_1.8-3_armhf.deb2025-03-26 11:09 5.1M 
[ ]libcvc4-dev_1.8-2_armhf.deb2025-03-26 11:09 128K 
[ ]libcvc4-dev_1.8-3_armhf.deb2025-03-26 11:09 128K 
[ ]libcvc4parser7_1.8-2_armhf.deb2025-03-26 11:09 320K 
[ ]libcvc4parser7_1.8-3_armhf.deb2025-03-26 11:09 322K