../ cvc4-dbgsym_1.8-3+b2_ia64.deb 25-Mar-2024 18:03 1016K cvc4_1.8-3+b2_ia64.buildinfo 25-Mar-2024 18:03 10K cvc4_1.8-3+b2_ia64.deb 25-Mar-2024 18:03 86K libcvc4-7-dbgsym_1.8-3+b2_ia64.deb 25-Mar-2024 18:03 201M libcvc4-7_1.8-3+b2_ia64.deb 25-Mar-2024 18:03 7M libcvc4-dev_1.8-3+b2_ia64.deb 25-Mar-2024 18:03 128K libcvc4parser7-dbgsym_1.8-3+b2_ia64.deb 25-Mar-2024 18:03 5M libcvc4parser7_1.8-3+b2_ia64.deb 25-Mar-2024 18:03 406K