IsatisIDC
[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[gzip]cvc4_1.8.orig.tar.gz2020-09-14 03:47 7.2M
[ ]cvc4_1.8-2.debian.tar.xz2020-09-18 05:55 16K
[text]cvc4_1.8-2.dsc2020-09-18 05:55 2.2K
[ ]cvc4_1.8-2_amd64.deb2020-09-18 06:41 80K
[ ]libcvc4-7_1.8-2_amd64.deb2020-09-18 06:41 5.4M
[ ]libcvc4-dev_1.8-2_amd64.deb2020-09-18 06:41 128K
[ ]libcvc4parser7_1.8-2_amd64.deb2020-09-18 06:41 358K
[ ]cvc4_1.8-2_arm64.deb2020-09-18 06:57 74K
[ ]libcvc4-7_1.8-2_arm64.deb2020-09-18 06:57 4.6M
[ ]libcvc4-dev_1.8-2_arm64.deb2020-09-18 06:57 128K
[ ]libcvc4parser7_1.8-2_arm64.deb2020-09-18 06:57 321K
[ ]cvc4_1.8-2_i386.deb2020-09-18 07:12 81K
[ ]libcvc4-7_1.8-2_i386.deb2020-09-18 07:12 5.9M
[ ]libcvc4-dev_1.8-2_i386.deb2020-09-18 07:12 128K
[ ]libcvc4parser7_1.8-2_i386.deb2020-09-18 07:12 374K
[ ]cvc4_1.8-3.debian.tar.xz2022-10-29 23:27 16K
[text]cvc4_1.8-3.dsc2022-10-29 23:27 2.2K
[ ]cvc4_1.8-3_i386.deb2022-10-30 00:53 81K
[ ]libcvc4-7_1.8-3_i386.deb2022-10-30 00:53 6.4M
[ ]libcvc4-dev_1.8-3_i386.deb2022-10-30 00:53 128K
[ ]libcvc4parser7_1.8-3_i386.deb2022-10-30 00:53 379K
[ ]cvc4_1.8-3_amd64.deb2022-10-30 00:59 79K
[ ]libcvc4-7_1.8-3_amd64.deb2022-10-30 00:59 5.7M
[ ]libcvc4-dev_1.8-3_amd64.deb2022-10-30 00:59 128K
[ ]libcvc4parser7_1.8-3_amd64.deb2022-10-30 00:59 354K
[ ]cvc4_1.8-3_arm64.deb2022-10-30 01:17 74K
[ ]libcvc4-7_1.8-3_arm64.deb2022-10-30 01:17 4.8M
[ ]libcvc4-dev_1.8-3_arm64.deb2022-10-30 01:17 128K
[ ]libcvc4parser7_1.8-3_arm64.deb2022-10-30 01:17 315K
[ ]cvc4_1.8-3_mips64el.deb2022-10-30 05:29 72K
[ ]libcvc4-7_1.8-3_mips64el.deb2022-10-30 05:29 4.2M
[ ]libcvc4-dev_1.8-3_mips64el.deb2022-10-30 05:29 128K
[ ]libcvc4parser7_1.8-3_mips64el.deb2022-10-30 05:29 296K
[ ]cvc4_1.8-3+b4_amd64.deb2025-04-07 19:55 81K
[ ]libcvc4-7_1.8-3+b4_amd64.deb2025-04-07 19:55 6.3M
[ ]libcvc4-dev_1.8-3+b4_amd64.deb2025-04-07 19:55 128K
[ ]libcvc4parser7_1.8-3+b4_amd64.deb2025-04-07 19:55 373K
[ ]cvc4_1.8-3+b4_i386.deb2025-04-07 20:06 83K
[ ]libcvc4-7_1.8-3+b4_i386.deb2025-04-07 20:06 6.8M
[ ]libcvc4-dev_1.8-3+b4_i386.deb2025-04-07 20:06 128K
[ ]libcvc4parser7_1.8-3+b4_i386.deb2025-04-07 20:06 402K
[ ]cvc4_1.8-3+b4_arm64.deb2025-04-08 05:12 75K
[ ]libcvc4-7_1.8-3+b4_arm64.deb2025-04-08 05:12 5.4M
[ ]libcvc4-dev_1.8-3+b4_arm64.deb2025-04-08 05:12 128K
[ ]libcvc4parser7_1.8-3+b4_arm64.deb2025-04-08 05:12 326K
[ ]cvc4_1.8-3+b4_riscv64.deb2025-04-10 07:19 77K
[ ]libcvc4-7_1.8-3+b4_riscv64.deb2025-04-10 07:19 6.2M
[ ]libcvc4-dev_1.8-3+b4_riscv64.deb2025-04-10 07:19 128K
[ ]libcvc4parser7_1.8-3+b4_riscv64.deb2025-04-10 07:19 363K
[ ]cvc4_1.8-5.debian.tar.xz2025-10-27 12:58 17K
[text]cvc4_1.8-5.dsc2025-10-27 12:58 1.8K
[ ]cvc4_1.8-5+b1_arm64.deb2026-04-23 17:15 73K
[ ]libcvc4-7_1.8-5+b1_arm64.deb2026-04-23 17:15 5.3M
[ ]libcvc4-dev_1.8-5+b1_arm64.deb2026-04-23 17:15 128K
[ ]libcvc4parser7_1.8-5+b1_arm64.deb2026-04-23 17:15 331K
[ ]cvc4_1.8-5+b1_amd64.deb2026-04-23 19:05 78K
[ ]libcvc4-7_1.8-5+b1_amd64.deb2026-04-23 19:05 6.2M
[ ]libcvc4-dev_1.8-5+b1_amd64.deb2026-04-23 19:05 128K
[ ]libcvc4parser7_1.8-5+b1_amd64.deb2026-04-23 19:05 376K
[ ]cvc4_1.8-5+b1_i386.deb2026-04-23 19:21 81K
[ ]libcvc4-7_1.8-5+b1_i386.deb2026-04-23 19:21 6.6M
[ ]libcvc4-dev_1.8-5+b1_i386.deb2026-04-23 19:21 128K
[ ]libcvc4parser7_1.8-5+b1_i386.deb2026-04-23 19:21 403K
[ ]cvc4_1.8-5+b1_loong64.deb2026-04-24 02:30 75K
[ ]libcvc4-7_1.8-5+b1_loong64.deb2026-04-24 02:30 5.6M
[ ]libcvc4-dev_1.8-5+b1_loong64.deb2026-04-24 02:30 128K
[ ]libcvc4parser7_1.8-5+b1_loong64.deb2026-04-24 02:30 351K
[ ]cvc4_1.8-5+b1_riscv64.deb2026-05-16 22:53 75K
[ ]libcvc4-7_1.8-5+b1_riscv64.deb2026-05-16 22:53 6.1M
[ ]libcvc4-dev_1.8-5+b1_riscv64.deb2026-05-16 22:53 128K
[ ]libcvc4parser7_1.8-5+b1_riscv64.deb2026-05-16 22:53 369K

HTTP : http://mirror1.isatisidc.ir
FTP : ftp://mirror1.isatisidc.ir
RSYNC : rsync://mirror1.isatisidc.ir

Sponsored By IsatisIDC