../ cvc4_1.8-2_amd64.deb 18-Sep-2020 02:11 81488 cvc4_1.8-2_i386.deb 18-Sep-2020 02:42 82548 cvc4_1.8-3+b4_amd64.deb 07-Apr-2025 16:25 82828 cvc4_1.8-3+b4_i386.deb 07-Apr-2025 16:36 85028 cvc4_1.8-3_amd64.deb 29-Oct-2022 21:29 80688 cvc4_1.8-3_i386.deb 29-Oct-2022 21:23 82652 cvc4_1.8-5+b1_amd64.deb 23-Apr-2026 15:35 80352 cvc4_1.8-5+b1_i386.deb 23-Apr-2026 15:51 82516 libcvc4-7_1.8-2_amd64.deb 18-Sep-2020 02:11 5651716 libcvc4-7_1.8-2_i386.deb 18-Sep-2020 02:42 6152812 libcvc4-7_1.8-3+b4_amd64.deb 07-Apr-2025 16:25 6616160 libcvc4-7_1.8-3+b4_i386.deb 07-Apr-2025 16:36 7176192 libcvc4-7_1.8-3_amd64.deb 29-Oct-2022 21:29 5936792 libcvc4-7_1.8-3_i386.deb 29-Oct-2022 21:23 6700704 libcvc4-7_1.8-5+b1_amd64.deb 23-Apr-2026 15:35 6498200 libcvc4-7_1.8-5+b1_i386.deb 23-Apr-2026 15:51 6931004 libcvc4-dev_1.8-2_amd64.deb 18-Sep-2020 02:11 131264 libcvc4-dev_1.8-2_i386.deb 18-Sep-2020 02:42 131252 libcvc4-dev_1.8-3+b4_amd64.deb 07-Apr-2025 16:25 131428 libcvc4-dev_1.8-3+b4_i386.deb 07-Apr-2025 16:36 131408 libcvc4-dev_1.8-3_amd64.deb 29-Oct-2022 21:29 131112 libcvc4-dev_1.8-3_i386.deb 29-Oct-2022 21:23 131112 libcvc4-dev_1.8-5+b1_amd64.deb 23-Apr-2026 15:35 131080 libcvc4-dev_1.8-5+b1_i386.deb 23-Apr-2026 15:51 131024 libcvc4parser7_1.8-2_amd64.deb 18-Sep-2020 02:11 366212 libcvc4parser7_1.8-2_i386.deb 18-Sep-2020 02:42 382484 libcvc4parser7_1.8-3+b4_amd64.deb 07-Apr-2025 16:25 382200 libcvc4parser7_1.8-3+b4_i386.deb 07-Apr-2025 16:36 411984 libcvc4parser7_1.8-3_amd64.deb 29-Oct-2022 21:29 362304 libcvc4parser7_1.8-3_i386.deb 29-Oct-2022 21:23 387704 libcvc4parser7_1.8-5+b1_amd64.deb 23-Apr-2026 15:35 384736 libcvc4parser7_1.8-5+b1_i386.deb 23-Apr-2026 15:51 412812