ASNET-AM

MIRRORS.ASNET.AM

Archive at the Academic Scientific Research Computer Network of Armenia
Directory: /debian/pool/main/c/cvc4/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
cvc4_1.8-3.dsc 224429-Oct-2022 23:57
cvc4_1.8-2.dsc 227518-Sep-2020 05:25
cvc4_1.6-2.dsc 265214-Aug-2018 00:01
cvc4_1.6-2.debian.tar.xz 823214-Aug-2018 00:01
cvc4_1.8-2.debian.tar.xz 16K18-Sep-2020 05:25
cvc4_1.8-3.debian.tar.xz 16K29-Oct-2022 23:57
cvc4_1.8-3_mips64el.deb 72K30-Oct-2022 05:59
cvc4_1.8-2_mips64el.deb 72K18-Sep-2020 12:01
cvc4_1.8-3_mipsel.deb 72K30-Oct-2022 02:12
cvc4_1.8-3_armel.deb 72K30-Oct-2022 01:57
cvc4_1.8-2_armel.deb 73K18-Sep-2020 08:29
cvc4_1.8-2_mipsel.deb 73K18-Sep-2020 09:44
cvc4_1.8-3+b3_mips64el.deb 73K25-Mar-2024 17:15
cvc4_1.8-3+b1_mips64el.deb 73K06-Jan-2024 13:42
cvc4_1.8-3_armhf.deb 73K30-Oct-2022 01:47
cvc4_1.8-3+b1_armel.deb 73K06-Jan-2024 06:27
cvc4_1.8-3+b3_armel.deb 74K29-Mar-2024 01:13
cvc4_1.8-3_arm64.deb 74K30-Oct-2022 01:47
cvc4_1.8-2_armhf.deb 74K18-Sep-2020 06:32
cvc4_1.8-3_s390x.deb 74K30-Oct-2022 01:39
cvc4_1.8-2_s390x.deb 74K18-Sep-2020 11:10
cvc4_1.8-2_arm64.deb 74K18-Sep-2020 06:27
cvc4_1.8-3+b1_armhf.deb 75K06-Jan-2024 01:40
cvc4_1.8-3+b3_armhf.deb 75K28-Mar-2024 17:54
cvc4_1.8-3+b1_arm64.deb 75K06-Jan-2024 03:07
cvc4_1.8-3+b3_arm64.deb 75K24-Mar-2024 16:33
cvc4_1.8-3+b3_riscv64.deb 77K25-Mar-2024 08:54
cvc4_1.8-3+b1_s390x.deb 78K06-Jan-2024 11:19
cvc4_1.8-3+b3_s390x.deb 78K24-Mar-2024 14:44
cvc4_1.8-2_ppc64el.deb 78K18-Sep-2020 06:11
cvc4_1.8-3_ppc64el.deb 79K30-Oct-2022 01:42
cvc4_1.8-3+b1_ppc64el.deb 79K06-Jan-2024 00:52
cvc4_1.8-3_amd64.deb 79K30-Oct-2022 01:29
cvc4_1.8-3+b3_ppc64el.deb 79K24-Mar-2024 13:46
cvc4_1.8-2_amd64.deb 80K18-Sep-2020 06:11
cvc4_1.8-3+b3_amd64.deb 80K24-Mar-2024 14:12
cvc4_1.8-2_i386.deb 81K18-Sep-2020 06:42
cvc4_1.8-3+b1_amd64.deb 81K06-Jan-2024 01:52
cvc4_1.8-3_i386.deb 81K30-Oct-2022 01:23
cvc4_1.8-3+b3_i386.deb 82K24-Mar-2024 14:18
cvc4_1.8-3+b1_i386.deb 82K06-Jan-2024 02:40
cvc4_1.6-2+b1_mips.deb 118K18-Nov-2018 13:58
cvc4_1.6-2+b1_mips64el.deb 120K19-Nov-2018 17:45
cvc4_1.6-2+b1_mipsel.deb 120K20-Nov-2018 00:11
libcvc4-dev_1.8-3_armel.deb 128K30-Oct-2022 01:57
libcvc4-dev_1.8-3_i386.deb 128K30-Oct-2022 01:23
libcvc4-dev_1.8-3_mipsel.deb 128K30-Oct-2022 02:12
libcvc4-dev_1.8-3_s390x.deb 128K30-Oct-2022 01:39
libcvc4-dev_1.8-3_amd64.deb 128K30-Oct-2022 01:29
libcvc4-dev_1.8-3_armhf.deb 128K30-Oct-2022 01:47
libcvc4-dev_1.8-3_ppc64el.deb 128K30-Oct-2022 01:42
libcvc4-dev_1.8-3_arm64.deb 128K30-Oct-2022 01:47
libcvc4-dev_1.8-3_mips64el.deb 128K30-Oct-2022 05:59
libcvc4-dev_1.8-2_armel.deb 128K18-Sep-2020 08:29
libcvc4-dev_1.8-2_i386.deb 128K18-Sep-2020 06:42
libcvc4-dev_1.8-2_mipsel.deb 128K18-Sep-2020 09:44
libcvc4-dev_1.8-2_ppc64el.deb 128K18-Sep-2020 06:11
libcvc4-dev_1.8-2_armhf.deb 128K18-Sep-2020 06:32
libcvc4-dev_1.8-2_mips64el.deb 128K18-Sep-2020 12:01
libcvc4-dev_1.8-2_amd64.deb 128K18-Sep-2020 06:11
libcvc4-dev_1.8-2_s390x.deb 128K18-Sep-2020 11:10
libcvc4-dev_1.8-2_arm64.deb 128K18-Sep-2020 06:27
libcvc4-dev_1.8-3+b3_i386.deb 128K24-Mar-2024 14:18
libcvc4-dev_1.8-3+b3_arm64.deb 128K24-Mar-2024 16:33
libcvc4-dev_1.8-3+b3_armhf.deb 128K28-Mar-2024 17:54
libcvc4-dev_1.8-3+b3_amd64.deb 128K24-Mar-2024 14:12
libcvc4-dev_1.8-3+b3_riscv64.deb 128K25-Mar-2024 08:54
libcvc4-dev_1.8-3+b1_armel.deb 128K06-Jan-2024 06:27
libcvc4-dev_1.8-3+b3_s390x.deb 128K24-Mar-2024 14:44
libcvc4-dev_1.8-3+b1_arm64.deb 128K06-Jan-2024 03:07
libcvc4-dev_1.8-3+b3_mips64el.deb 128K25-Mar-2024 17:15
libcvc4-dev_1.8-3+b3_armel.deb 128K29-Mar-2024 01:13
libcvc4-dev_1.8-3+b1_ppc64el.deb 128K06-Jan-2024 00:52
libcvc4-dev_1.8-3+b1_mips64el.deb 128K06-Jan-2024 13:42
libcvc4-dev_1.8-3+b1_amd64.deb 128K06-Jan-2024 01:52
libcvc4-dev_1.8-3+b1_armhf.deb 128K06-Jan-2024 01:40
libcvc4-dev_1.8-3+b1_s390x.deb 128K06-Jan-2024 11:19
libcvc4-dev_1.8-3+b3_ppc64el.deb 128K24-Mar-2024 13:46
libcvc4-dev_1.8-3+b1_i386.deb 128K06-Jan-2024 02:40
cvc4_1.6-2+b1_amd64.deb 133K17-Nov-2018 13:57
cvc4_1.6-2+b1_i386.deb 136K17-Nov-2018 06:59
libcvc4parser5_1.6-2+b1_mips.deb 290K18-Nov-2018 13:58
libcvc4parser5_1.6-2+b1_mips64el.deb 293K19-Nov-2018 17:45
libcvc4parser7_1.8-3+b1_mips64el.deb 294K06-Jan-2024 13:42
libcvc4parser7_1.8-3+b3_mips64el.deb 294K25-Mar-2024 17:15
libcvc4parser7_1.8-3_mips64el.deb 296K30-Oct-2022 05:59
libcvc4parser5_1.6-2+b1_mipsel.deb 297K20-Nov-2018 00:11
libcvc4parser7_1.8-2_mips64el.deb 297K18-Sep-2020 12:01
libcvc4parser7_1.8-2_mipsel.deb 298K18-Sep-2020 09:44
libcvc4parser7_1.8-3_mipsel.deb 303K30-Oct-2022 02:12
libcvc4parser7_1.8-3_armel.deb 310K30-Oct-2022 01:57
libcvc4parser7_1.8-3+b1_armel.deb 313K06-Jan-2024 06:27
libcvc4parser7_1.8-3+b3_armel.deb 313K29-Mar-2024 01:13
libcvc4parser7_1.8-3+b3_arm64.deb 314K24-Mar-2024 16:33
libcvc4parser7_1.8-3+b1_arm64.deb 314K06-Jan-2024 03:07
libcvc4parser7_1.8-3_arm64.deb 315K30-Oct-2022 01:47
libcvc4parser7_1.8-3_s390x.deb 316K30-Oct-2022 01:39
libcvc4parser7_1.8-2_armel.deb 316K18-Sep-2020 08:29
libcvc4parser7_1.8-2_s390x.deb 316K18-Sep-2020 11:10
libcvc4parser7_1.8-2_armhf.deb 320K18-Sep-2020 06:32
libcvc4parser7_1.8-2_arm64.deb 321K18-Sep-2020 06:27
libcvc4parser7_1.8-3_armhf.deb 322K30-Oct-2022 01:47
libcvc4parser7_1.8-3+b3_armhf.deb 322K28-Mar-2024 17:54
libcvc4parser7_1.8-3+b1_armhf.deb 322K06-Jan-2024 01:40
libcvc4parser7_1.8-3+b1_ppc64el.deb 344K06-Jan-2024 00:52
libcvc4parser7_1.8-3+b3_ppc64el.deb 344K24-Mar-2024 13:46
libcvc4parser7_1.8-3+b3_riscv64.deb 345K25-Mar-2024 08:54
libcvc4parser7_1.8-3_ppc64el.deb 348K30-Oct-2022 01:42
libcvc4parser7_1.8-2_ppc64el.deb 350K18-Sep-2020 06:11
libcvc4parser7_1.8-3_amd64.deb 354K30-Oct-2022 01:29
libcvc4parser5_1.6-2+b1_amd64.deb 354K17-Nov-2018 13:57
libcvc4parser7_1.8-3+b3_amd64.deb 357K24-Mar-2024 14:12
libcvc4parser7_1.8-3+b1_amd64.deb 357K06-Jan-2024 01:52
libcvc4parser7_1.8-2_amd64.deb 358K18-Sep-2020 06:11
libcvc4parser7_1.8-3+b3_s390x.deb 372K24-Mar-2024 14:44
libcvc4parser7_1.8-3+b1_s390x.deb 372K06-Jan-2024 11:19
libcvc4parser7_1.8-2_i386.deb 374K18-Sep-2020 06:42
libcvc4parser7_1.8-3_i386.deb 379K30-Oct-2022 01:23
libcvc4parser5_1.6-2+b1_i386.deb 380K17-Nov-2018 06:59
libcvc4parser7_1.8-3+b3_i386.deb 385K24-Mar-2024 14:18
libcvc4parser7_1.8-3+b1_i386.deb 385K06-Jan-2024 02:40
libcvc4-5_1.6-2+b1_mips64el.deb 3M19-Nov-2018 17:45
libcvc4-5_1.6-2+b1_mips.deb 3M18-Nov-2018 13:58
libcvc4-5_1.6-2+b1_mipsel.deb 3M20-Nov-2018 00:11
libcvc4-5_1.6-2+b1_amd64.deb 4M17-Nov-2018 13:57
libcvc4-7_1.8-2_mips64el.deb 4M18-Sep-2020 12:01
libcvc4-7_1.8-2_mipsel.deb 4M18-Sep-2020 09:44
libcvc4-7_1.8-3_mips64el.deb 4M30-Oct-2022 05:59
libcvc4-7_1.8-3+b3_mips64el.deb 4M25-Mar-2024 17:15
libcvc4-7_1.8-3+b1_mips64el.deb 4M06-Jan-2024 13:42
libcvc4-5_1.6-2+b1_i386.deb 4M17-Nov-2018 06:59
libcvc4-7_1.8-3_mipsel.deb 4M30-Oct-2022 02:12
libcvc4-7_1.8-2_arm64.deb 5M18-Sep-2020 06:27
libcvc4-7_1.8-2_armel.deb 5M18-Sep-2020 08:29
libcvc4-7_1.8-2_armhf.deb 5M18-Sep-2020 06:32
libcvc4-7_1.8-3_arm64.deb 5M30-Oct-2022 01:47
libcvc4-7_1.8-2_s390x.deb 5M18-Sep-2020 11:10
libcvc4-7_1.8-3+b3_arm64.deb 5M24-Mar-2024 16:33
libcvc4-7_1.8-3+b1_arm64.deb 5M06-Jan-2024 03:07
libcvc4-7_1.8-3_armel.deb 5M30-Oct-2022 01:57
libcvc4-7_1.8-3+b3_armel.deb 5M29-Mar-2024 01:13
libcvc4-7_1.8-3+b1_armel.deb 5M06-Jan-2024 06:27
libcvc4-7_1.8-3_armhf.deb 5M30-Oct-2022 01:47
libcvc4-7_1.8-3_s390x.deb 5M30-Oct-2022 01:39
libcvc4-7_1.8-3+b1_armhf.deb 5M06-Jan-2024 01:40
libcvc4-7_1.8-3+b3_armhf.deb 5M28-Mar-2024 17:54
libcvc4-7_1.8-2_ppc64el.deb 5M18-Sep-2020 06:11
libcvc4-7_1.8-2_amd64.deb 5M18-Sep-2020 06:11
libcvc4-7_1.8-3_ppc64el.deb 5M30-Oct-2022 01:42
libcvc4-7_1.8-3+b3_ppc64el.deb 5M24-Mar-2024 13:46
libcvc4-7_1.8-3+b1_ppc64el.deb 5M06-Jan-2024 00:52
libcvc4-7_1.8-3_amd64.deb 6M30-Oct-2022 01:29
libcvc4-7_1.8-3+b1_amd64.deb 6M06-Jan-2024 01:52
libcvc4-7_1.8-3+b3_amd64.deb 6M24-Mar-2024 14:12
libcvc4-7_1.8-3+b3_riscv64.deb 6M25-Mar-2024 08:54
libcvc4-7_1.8-3+b1_s390x.deb 6M06-Jan-2024 11:19
libcvc4-7_1.8-3+b3_s390x.deb 6M24-Mar-2024 14:44
libcvc4-7_1.8-2_i386.deb 6M18-Sep-2020 06:42
libcvc4-7_1.8-3_i386.deb 6M30-Oct-2022 01:23
libcvc4-7_1.8-3+b3_i386.deb 6M24-Mar-2024 14:18
libcvc4-7_1.8-3+b1_i386.deb 6M06-Jan-2024 02:40
libcvc4-dev_1.6-2+b1_amd64.deb 6M17-Nov-2018 13:57
libcvc4-dev_1.6-2+b1_mips.deb 7M18-Nov-2018 13:58
libcvc4-dev_1.6-2+b1_mipsel.deb 7M20-Nov-2018 00:11
libcvc4-dev_1.6-2+b1_i386.deb 7M17-Nov-2018 06:59
libcvc4-dev_1.6-2+b1_mips64el.deb 7M19-Nov-2018 17:45
cvc4_1.8.orig.tar.gz 7M14-Sep-2020 03:17
cvc4_1.6.orig.tar.gz 7M07-Aug-2018 23:44