IsatisIDC
[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]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
[ ]cvc4_1.8-2_arm64.deb2020-09-18 06:57 74K
[ ]cvc4_1.8-2_i386.deb2020-09-18 07:12 81K
[ ]cvc4_1.8-3+b4_amd64.deb2025-04-07 19:55 81K
[ ]cvc4_1.8-3+b4_arm64.deb2025-04-08 05:12 75K
[ ]cvc4_1.8-3+b4_i386.deb2025-04-07 20:06 83K
[ ]cvc4_1.8-3+b4_ppc64el.deb2025-04-07 20:00 79K
[ ]cvc4_1.8-3+b4_riscv64.deb2025-04-10 07:19 77K
[ ]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_amd64.deb2022-10-30 00:59 79K
[ ]cvc4_1.8-3_arm64.deb2022-10-30 01:17 74K
[ ]cvc4_1.8-3_i386.deb2022-10-30 00:53 81K
[ ]cvc4_1.8-3_mips64el.deb2022-10-30 05:29 72K
[ ]cvc4_1.8-3_ppc64el.deb2022-10-30 01:12 79K
[ ]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_amd64.deb2025-10-27 13:29 79K
[ ]cvc4_1.8-5_arm64.deb2025-10-27 13:29 73K
[ ]cvc4_1.8-5_i386.deb2025-10-27 13:34 81K
[ ]cvc4_1.8-5_ppc64el.deb2025-10-27 13:29 77K
[ ]cvc4_1.8-5_riscv64.deb2025-10-28 00:59 75K
[gzip]cvc4_1.8.orig.tar.gz2020-09-14 03:47 7.2M
[ ]libcvc4-7_1.8-2_amd64.deb2020-09-18 06:41 5.4M
[ ]libcvc4-7_1.8-2_arm64.deb2020-09-18 06:57 4.6M
[ ]libcvc4-7_1.8-2_i386.deb2020-09-18 07:12 5.9M
[ ]libcvc4-7_1.8-3+b4_amd64.deb2025-04-07 19:55 6.3M
[ ]libcvc4-7_1.8-3+b4_arm64.deb2025-04-08 05:12 5.4M
[ ]libcvc4-7_1.8-3+b4_i386.deb2025-04-07 20:06 6.8M
[ ]libcvc4-7_1.8-3+b4_ppc64el.deb2025-04-07 20:00 5.9M
[ ]libcvc4-7_1.8-3+b4_riscv64.deb2025-04-10 07:19 6.2M
[ ]libcvc4-7_1.8-3_amd64.deb2022-10-30 00:59 5.7M
[ ]libcvc4-7_1.8-3_arm64.deb2022-10-30 01:17 4.8M
[ ]libcvc4-7_1.8-3_i386.deb2022-10-30 00:53 6.4M
[ ]libcvc4-7_1.8-3_mips64el.deb2022-10-30 05:29 4.2M
[ ]libcvc4-7_1.8-3_ppc64el.deb2022-10-30 01:12 5.4M
[ ]libcvc4-7_1.8-5_amd64.deb2025-10-27 13:29 6.2M
[ ]libcvc4-7_1.8-5_arm64.deb2025-10-27 13:29 5.3M
[ ]libcvc4-7_1.8-5_i386.deb2025-10-27 13:34 6.6M
[ ]libcvc4-7_1.8-5_ppc64el.deb2025-10-27 13:29 5.8M
[ ]libcvc4-7_1.8-5_riscv64.deb2025-10-28 00:59 6.1M
[ ]libcvc4-dev_1.8-2_amd64.deb2020-09-18 06:41 128K
[ ]libcvc4-dev_1.8-2_arm64.deb2020-09-18 06:57 128K
[ ]libcvc4-dev_1.8-2_i386.deb2020-09-18 07:12 128K
[ ]libcvc4-dev_1.8-3+b4_amd64.deb2025-04-07 19:55 128K
[ ]libcvc4-dev_1.8-3+b4_arm64.deb2025-04-08 05:12 128K
[ ]libcvc4-dev_1.8-3+b4_i386.deb2025-04-07 20:06 128K
[ ]libcvc4-dev_1.8-3+b4_ppc64el.deb2025-04-07 20:00 128K
[ ]libcvc4-dev_1.8-3+b4_riscv64.deb2025-04-10 07:19 128K
[ ]libcvc4-dev_1.8-3_amd64.deb2022-10-30 00:59 128K
[ ]libcvc4-dev_1.8-3_arm64.deb2022-10-30 01:17 128K
[ ]libcvc4-dev_1.8-3_i386.deb2022-10-30 00:53 128K
[ ]libcvc4-dev_1.8-3_mips64el.deb2022-10-30 05:29 128K
[ ]libcvc4-dev_1.8-3_ppc64el.deb2022-10-30 01:12 128K
[ ]libcvc4-dev_1.8-5_amd64.deb2025-10-27 13:29 128K
[ ]libcvc4-dev_1.8-5_arm64.deb2025-10-27 13:29 128K
[ ]libcvc4-dev_1.8-5_i386.deb2025-10-27 13:34 128K
[ ]libcvc4-dev_1.8-5_ppc64el.deb2025-10-27 13:29 128K
[ ]libcvc4-dev_1.8-5_riscv64.deb2025-10-28 00:59 128K
[ ]libcvc4parser7_1.8-2_amd64.deb2020-09-18 06:41 358K
[ ]libcvc4parser7_1.8-2_arm64.deb2020-09-18 06:57 321K
[ ]libcvc4parser7_1.8-2_i386.deb2020-09-18 07:12 374K
[ ]libcvc4parser7_1.8-3+b4_amd64.deb2025-04-07 19:55 373K
[ ]libcvc4parser7_1.8-3+b4_arm64.deb2025-04-08 05:12 326K
[ ]libcvc4parser7_1.8-3+b4_i386.deb2025-04-07 20:06 402K
[ ]libcvc4parser7_1.8-3+b4_ppc64el.deb2025-04-07 20:00 356K
[ ]libcvc4parser7_1.8-3+b4_riscv64.deb2025-04-10 07:19 363K
[ ]libcvc4parser7_1.8-3_amd64.deb2022-10-30 00:59 354K
[ ]libcvc4parser7_1.8-3_arm64.deb2022-10-30 01:17 315K
[ ]libcvc4parser7_1.8-3_i386.deb2022-10-30 00:53 379K
[ ]libcvc4parser7_1.8-3_mips64el.deb2022-10-30 05:29 296K
[ ]libcvc4parser7_1.8-3_ppc64el.deb2022-10-30 01:12 348K
[ ]libcvc4parser7_1.8-5_amd64.deb2025-10-27 13:29 376K
[ ]libcvc4parser7_1.8-5_arm64.deb2025-10-27 13:29 331K
[ ]libcvc4parser7_1.8-5_i386.deb2025-10-27 13:34 404K
[ ]libcvc4parser7_1.8-5_ppc64el.deb2025-10-27 13:29 365K
[ ]libcvc4parser7_1.8-5_riscv64.deb2025-10-28 00:59 367K

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

Sponsored By IsatisIDC