IsatisIDC
[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]cvc4_1.6-2+b1_amd64.deb2018-11-17 13:27 133K
[ ]cvc4_1.6-2+b1_i386.deb2018-11-17 06:29 136K
[ ]cvc4_1.6-2.debian.tar.xz2018-08-14 00:31 8.0K
[text]cvc4_1.6-2.dsc2018-08-14 00:31 2.6K
[gzip]cvc4_1.6.orig.tar.gz2018-08-08 00:14 7.5M
[ ]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-2_mips64el.deb2020-09-18 12:31 72K
[ ]cvc4_1.8-2_ppc64el.deb2020-09-18 06:41 78K
[ ]cvc4_1.8-3+b3_amd64.deb2024-03-24 13:42 80K
[ ]cvc4_1.8-3+b3_arm64.deb2024-03-24 16:03 75K
[ ]cvc4_1.8-3+b3_i386.deb2024-03-24 13:48 82K
[ ]cvc4_1.8-3+b3_mips64el.deb2024-03-25 16:45 73K
[ ]cvc4_1.8-3+b3_ppc64el.deb2024-03-24 13:16 79K
[ ]cvc4_1.8-3+b3_riscv64.deb2024-03-25 08:24 77K
[ ]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_mips64el.deb2025-04-08 06:42 76K
[ ]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-4.debian.tar.xz2025-07-27 17:47 17K
[text]cvc4_1.8-4.dsc2025-07-27 17:47 2.2K
[ ]cvc4_1.8-4_amd64.deb2025-08-11 19:39 80K
[ ]cvc4_1.8-4_arm64.deb2025-08-11 19:49 74K
[ ]cvc4_1.8-4_i386.deb2025-08-11 19:34 83K
[ ]cvc4_1.8-4_mips64el.deb2025-08-12 08:37 76K
[ ]cvc4_1.8-4_ppc64el.deb2025-08-11 19:34 78K
[ ]cvc4_1.8-4_riscv64.deb2025-08-13 03:34 77K
[ ]cvc4_1.8-5+b1_amd64.deb2026-04-23 19:05 78K
[ ]cvc4_1.8-5+b1_arm64.deb2026-04-23 17:15 73K
[ ]cvc4_1.8-5+b1_i386.deb2026-04-23 19:21 81K
[ ]cvc4_1.8-5+b1_loong64.deb2026-04-24 02:30 75K
[ ]cvc4_1.8-5+b1_riscv64.deb2026-05-16 22:53 75K
[ ]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_loong64.deb2025-12-28 22:43 75K
[ ]cvc4_1.8-5_mips64el.deb2025-10-27 15:15 75K
[ ]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-5_1.6-2+b1_amd64.deb2018-11-17 13:27 3.9M
[ ]libcvc4-5_1.6-2+b1_i386.deb2018-11-17 06:29 4.3M
[ ]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-2_mips64el.deb2020-09-18 12:31 3.9M
[ ]libcvc4-7_1.8-2_ppc64el.deb2020-09-18 06:41 5.1M
[ ]libcvc4-7_1.8-3+b3_amd64.deb2024-03-24 13:42 5.7M
[ ]libcvc4-7_1.8-3+b3_arm64.deb2024-03-24 16:03 4.8M
[ ]libcvc4-7_1.8-3+b3_i386.deb2024-03-24 13:48 6.4M
[ ]libcvc4-7_1.8-3+b3_mips64el.deb2024-03-25 16:45 4.2M
[ ]libcvc4-7_1.8-3+b3_ppc64el.deb2024-03-24 13:16 5.4M
[ ]libcvc4-7_1.8-3+b3_riscv64.deb2024-03-25 08:24 5.7M
[ ]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_mips64el.deb2025-04-08 06:42 4.7M
[ ]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-4_amd64.deb2025-08-11 19:39 6.2M
[ ]libcvc4-7_1.8-4_arm64.deb2025-08-11 19:49 5.3M
[ ]libcvc4-7_1.8-4_i386.deb2025-08-11 19:34 6.8M
[ ]libcvc4-7_1.8-4_mips64el.deb2025-08-12 08:37 4.7M
[ ]libcvc4-7_1.8-4_ppc64el.deb2025-08-11 19:34 5.8M
[ ]libcvc4-7_1.8-4_riscv64.deb2025-08-13 03:35 6.2M
[ ]libcvc4-7_1.8-5+b1_amd64.deb2026-04-23 19:05 6.2M
[ ]libcvc4-7_1.8-5+b1_arm64.deb2026-04-23 17:15 5.3M
[ ]libcvc4-7_1.8-5+b1_i386.deb2026-04-23 19:21 6.6M
[ ]libcvc4-7_1.8-5+b1_loong64.deb2026-04-24 02:30 5.6M
[ ]libcvc4-7_1.8-5+b1_riscv64.deb2026-05-16 22:53 6.1M
[ ]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_loong64.deb2025-12-28 22:43 5.6M
[ ]libcvc4-7_1.8-5_mips64el.deb2025-10-27 15:15 4.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.6-2+b1_amd64.deb2018-11-17 13:27 6.4M
[ ]libcvc4-dev_1.6-2+b1_i386.deb2018-11-17 06:29 6.9M
[ ]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-2_mips64el.deb2020-09-18 12:31 128K
[ ]libcvc4-dev_1.8-2_ppc64el.deb2020-09-18 06:41 128K
[ ]libcvc4-dev_1.8-3+b3_amd64.deb2024-03-24 13:42 128K
[ ]libcvc4-dev_1.8-3+b3_arm64.deb2024-03-24 16:03 128K
[ ]libcvc4-dev_1.8-3+b3_i386.deb2024-03-24 13:48 128K
[ ]libcvc4-dev_1.8-3+b3_mips64el.deb2024-03-25 16:45 128K
[ ]libcvc4-dev_1.8-3+b3_ppc64el.deb2024-03-24 13:16 128K
[ ]libcvc4-dev_1.8-3+b3_riscv64.deb2024-03-25 08:24 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_mips64el.deb2025-04-08 06:42 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-4_amd64.deb2025-08-11 19:39 128K
[ ]libcvc4-dev_1.8-4_arm64.deb2025-08-11 19:49 128K
[ ]libcvc4-dev_1.8-4_i386.deb2025-08-11 19:34 128K
[ ]libcvc4-dev_1.8-4_mips64el.deb2025-08-12 08:37 128K
[ ]libcvc4-dev_1.8-4_ppc64el.deb2025-08-11 19:34 128K
[ ]libcvc4-dev_1.8-4_riscv64.deb2025-08-13 03:35 128K
[ ]libcvc4-dev_1.8-5+b1_amd64.deb2026-04-23 19:05 128K
[ ]libcvc4-dev_1.8-5+b1_arm64.deb2026-04-23 17:15 128K
[ ]libcvc4-dev_1.8-5+b1_i386.deb2026-04-23 19:21 128K
[ ]libcvc4-dev_1.8-5+b1_loong64.deb2026-04-24 02:30 128K
[ ]libcvc4-dev_1.8-5+b1_riscv64.deb2026-05-16 22:53 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_loong64.deb2025-12-28 22:43 128K
[ ]libcvc4-dev_1.8-5_mips64el.deb2025-10-27 15:15 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
[ ]libcvc4parser5_1.6-2+b1_amd64.deb2018-11-17 13:27 354K
[ ]libcvc4parser5_1.6-2+b1_i386.deb2018-11-17 06:29 380K
[ ]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-2_mips64el.deb2020-09-18 12:31 297K
[ ]libcvc4parser7_1.8-2_ppc64el.deb2020-09-18 06:41 350K
[ ]libcvc4parser7_1.8-3+b3_amd64.deb2024-03-24 13:42 357K
[ ]libcvc4parser7_1.8-3+b3_arm64.deb2024-03-24 16:03 314K
[ ]libcvc4parser7_1.8-3+b3_i386.deb2024-03-24 13:48 385K
[ ]libcvc4parser7_1.8-3+b3_mips64el.deb2024-03-25 16:45 294K
[ ]libcvc4parser7_1.8-3+b3_ppc64el.deb2024-03-24 13:16 344K
[ ]libcvc4parser7_1.8-3+b3_riscv64.deb2024-03-25 08:24 345K
[ ]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_mips64el.deb2025-04-08 06:42 309K
[ ]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-4_amd64.deb2025-08-11 19:39 373K
[ ]libcvc4parser7_1.8-4_arm64.deb2025-08-11 19:49 326K
[ ]libcvc4parser7_1.8-4_i386.deb2025-08-11 19:34 402K
[ ]libcvc4parser7_1.8-4_mips64el.deb2025-08-12 08:37 309K
[ ]libcvc4parser7_1.8-4_ppc64el.deb2025-08-11 19:34 357K
[ ]libcvc4parser7_1.8-4_riscv64.deb2025-08-13 03:35 362K
[ ]libcvc4parser7_1.8-5+b1_amd64.deb2026-04-23 19:05 376K
[ ]libcvc4parser7_1.8-5+b1_arm64.deb2026-04-23 17:15 331K
[ ]libcvc4parser7_1.8-5+b1_i386.deb2026-04-23 19:21 403K
[ ]libcvc4parser7_1.8-5+b1_loong64.deb2026-04-24 02:30 351K
[ ]libcvc4parser7_1.8-5+b1_riscv64.deb2026-05-16 22:53 369K
[ ]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_loong64.deb2025-12-28 22:43 351K
[ ]libcvc4parser7_1.8-5_mips64el.deb2025-10-27 15:15 311K
[ ]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