ASNET-AM

MIRRORS.ASNET.AM

Archive at the Academic Scientific Research Computer Network of Armenia
Directory: /debian/pool/main/c/cvc5/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
cvc5_1.0.3-1.debian.tar.xz 596420-Dec-2022 07:26
cvc5_1.0.3-1.dsc 230520-Dec-2022 07:26
cvc5_1.0.3-1_amd64.deb 105K20-Dec-2022 09:55
cvc5_1.0.3-1_arm64.deb 95K20-Dec-2022 09:29
cvc5_1.0.3-1_ppc64el.deb 103K20-Dec-2022 09:45
cvc5_1.0.3-1_s390x.deb 95K20-Dec-2022 16:13
cvc5_1.0.3.orig.tar.gz 8M20-Dec-2022 07:26
cvc5_1.1.2-2+b3_amd64.deb 107K09-Jan-2025 15:11
cvc5_1.1.2-2+b3_arm64.deb 95K09-Jan-2025 15:31
cvc5_1.1.2-2+b3_armel.deb 96K09-Jan-2025 16:48
cvc5_1.1.2-2+b3_armhf.deb 99K09-Jan-2025 16:32
cvc5_1.1.2-2+b3_i386.deb 109K09-Jan-2025 15:05
cvc5_1.1.2-2+b3_ppc64el.deb 102K09-Jan-2025 14:55
cvc5_1.1.2-2+b3_riscv64.deb 99K13-Jan-2025 00:01
cvc5_1.1.2-2+b3_s390x.deb 105K10-Jan-2025 03:43
cvc5_1.1.2-2.debian.tar.xz 739620-Mar-2024 02:22
cvc5_1.1.2-2.dsc 247020-Mar-2024 02:22
cvc5_1.1.2-3.debian.tar.xz 739227-Jul-2025 16:11
cvc5_1.1.2-3.dsc 246027-Jul-2025 16:11
cvc5_1.1.2-3_amd64.deb 105K11-Aug-2025 17:32
cvc5_1.1.2-3_arm64.deb 95K11-Aug-2025 17:44
cvc5_1.1.2-3_armel.deb 96K11-Aug-2025 18:00
cvc5_1.1.2-3_armhf.deb 98K11-Aug-2025 17:39
cvc5_1.1.2-3_i386.deb 109K11-Aug-2025 17:39
cvc5_1.1.2-3_mips64el.deb 90K12-Aug-2025 12:11
cvc5_1.1.2-3_ppc64el.deb 101K11-Aug-2025 17:39
cvc5_1.1.2-3_riscv64.deb 99K13-Aug-2025 04:41
cvc5_1.1.2-3_s390x.deb 106K11-Aug-2025 20:04
cvc5_1.1.2.orig.tar.gz 8M03-Mar-2024 06:53
libcvc5-1_1.0.3-1_amd64.deb 6M20-Dec-2022 09:55
libcvc5-1_1.0.3-1_arm64.deb 5M20-Dec-2022 09:29
libcvc5-1_1.0.3-1_ppc64el.deb 5M20-Dec-2022 09:45
libcvc5-1_1.0.3-1_s390x.deb 5M20-Dec-2022 16:13
libcvc5-1_1.1.2-2+b3_amd64.deb 6M09-Jan-2025 15:11
libcvc5-1_1.1.2-2+b3_arm64.deb 5M09-Jan-2025 15:31
libcvc5-1_1.1.2-2+b3_armel.deb 6M09-Jan-2025 16:48
libcvc5-1_1.1.2-2+b3_armhf.deb 5M09-Jan-2025 16:32
libcvc5-1_1.1.2-2+b3_i386.deb 7M09-Jan-2025 15:05
libcvc5-1_1.1.2-2+b3_ppc64el.deb 6M09-Jan-2025 14:55
libcvc5-1_1.1.2-2+b3_riscv64.deb 6M13-Jan-2025 00:01
libcvc5-1_1.1.2-2+b3_s390x.deb 6M10-Jan-2025 03:43
libcvc5-1_1.1.2-3_amd64.deb 6M11-Aug-2025 17:32
libcvc5-1_1.1.2-3_arm64.deb 5M11-Aug-2025 17:44
libcvc5-1_1.1.2-3_armel.deb 6M11-Aug-2025 18:00
libcvc5-1_1.1.2-3_armhf.deb 5M11-Aug-2025 17:39
libcvc5-1_1.1.2-3_i386.deb 7M11-Aug-2025 17:39
libcvc5-1_1.1.2-3_mips64el.deb 5M12-Aug-2025 12:11
libcvc5-1_1.1.2-3_ppc64el.deb 6M11-Aug-2025 17:39
libcvc5-1_1.1.2-3_riscv64.deb 6M13-Aug-2025 04:41
libcvc5-1_1.1.2-3_s390x.deb 6M11-Aug-2025 20:04
libcvc5-dev_1.0.3-1_amd64.deb 57K20-Dec-2022 09:55
libcvc5-dev_1.0.3-1_arm64.deb 57K20-Dec-2022 09:29
libcvc5-dev_1.0.3-1_ppc64el.deb 57K20-Dec-2022 09:45
libcvc5-dev_1.0.3-1_s390x.deb 57K20-Dec-2022 16:13
libcvc5-dev_1.1.2-2+b3_amd64.deb 91K09-Jan-2025 15:11
libcvc5-dev_1.1.2-2+b3_arm64.deb 91K09-Jan-2025 15:31
libcvc5-dev_1.1.2-2+b3_armel.deb 91K09-Jan-2025 16:48
libcvc5-dev_1.1.2-2+b3_armhf.deb 91K09-Jan-2025 16:32
libcvc5-dev_1.1.2-2+b3_i386.deb 91K09-Jan-2025 15:05
libcvc5-dev_1.1.2-2+b3_ppc64el.deb 91K09-Jan-2025 14:55
libcvc5-dev_1.1.2-2+b3_riscv64.deb 91K13-Jan-2025 00:01
libcvc5-dev_1.1.2-2+b3_s390x.deb 91K10-Jan-2025 03:43
libcvc5-dev_1.1.2-3_amd64.deb 91K11-Aug-2025 17:32
libcvc5-dev_1.1.2-3_arm64.deb 91K11-Aug-2025 17:44
libcvc5-dev_1.1.2-3_armel.deb 91K11-Aug-2025 18:00
libcvc5-dev_1.1.2-3_armhf.deb 91K11-Aug-2025 17:39
libcvc5-dev_1.1.2-3_i386.deb 91K11-Aug-2025 17:39
libcvc5-dev_1.1.2-3_mips64el.deb 91K12-Aug-2025 12:11
libcvc5-dev_1.1.2-3_ppc64el.deb 91K11-Aug-2025 17:39
libcvc5-dev_1.1.2-3_riscv64.deb 91K13-Aug-2025 04:41
libcvc5-dev_1.1.2-3_s390x.deb 91K11-Aug-2025 20:04
libcvc5parser1_1.0.3-1_amd64.deb 300K20-Dec-2022 09:55
libcvc5parser1_1.0.3-1_arm64.deb 267K20-Dec-2022 09:29
libcvc5parser1_1.0.3-1_ppc64el.deb 297K20-Dec-2022 09:45
libcvc5parser1_1.0.3-1_s390x.deb 265K20-Dec-2022 16:13
libcvc5parser1_1.1.2-2+b3_amd64.deb 231K09-Jan-2025 15:11
libcvc5parser1_1.1.2-2+b3_arm64.deb 203K09-Jan-2025 15:31
libcvc5parser1_1.1.2-2+b3_armel.deb 196K09-Jan-2025 16:48
libcvc5parser1_1.1.2-2+b3_armhf.deb 202K09-Jan-2025 16:32
libcvc5parser1_1.1.2-2+b3_i386.deb 252K09-Jan-2025 15:05
libcvc5parser1_1.1.2-2+b3_ppc64el.deb 227K09-Jan-2025 14:55
libcvc5parser1_1.1.2-2+b3_riscv64.deb 222K13-Jan-2025 00:01
libcvc5parser1_1.1.2-2+b3_s390x.deb 226K10-Jan-2025 03:43
libcvc5parser1_1.1.2-3_amd64.deb 232K11-Aug-2025 17:32
libcvc5parser1_1.1.2-3_arm64.deb 203K11-Aug-2025 17:44
libcvc5parser1_1.1.2-3_armel.deb 197K11-Aug-2025 18:00
libcvc5parser1_1.1.2-3_armhf.deb 204K11-Aug-2025 17:39
libcvc5parser1_1.1.2-3_i386.deb 253K11-Aug-2025 17:39
libcvc5parser1_1.1.2-3_mips64el.deb 200K12-Aug-2025 12:11
libcvc5parser1_1.1.2-3_ppc64el.deb 227K11-Aug-2025 17:39
libcvc5parser1_1.1.2-3_riscv64.deb 223K13-Aug-2025 04:41
libcvc5parser1_1.1.2-3_s390x.deb 226K11-Aug-2025 20:04
python3-cvc5_1.1.2-2+b3_amd64.deb 331K09-Jan-2025 15:11
python3-cvc5_1.1.2-2+b3_arm64.deb 291K09-Jan-2025 15:31
python3-cvc5_1.1.2-2+b3_armel.deb 304K09-Jan-2025 16:48
python3-cvc5_1.1.2-2+b3_armhf.deb 309K09-Jan-2025 16:32
python3-cvc5_1.1.2-2+b3_i386.deb 318K09-Jan-2025 15:05
python3-cvc5_1.1.2-2+b3_ppc64el.deb 292K09-Jan-2025 14:55
python3-cvc5_1.1.2-2+b3_riscv64.deb 320K13-Jan-2025 00:01
python3-cvc5_1.1.2-2+b3_s390x.deb 322K10-Jan-2025 03:43
python3-cvc5_1.1.2-3_amd64.deb 333K11-Aug-2025 17:32
python3-cvc5_1.1.2-3_arm64.deb 291K11-Aug-2025 17:44
python3-cvc5_1.1.2-3_armel.deb 304K11-Aug-2025 18:00
python3-cvc5_1.1.2-3_armhf.deb 310K11-Aug-2025 17:39
python3-cvc5_1.1.2-3_i386.deb 317K11-Aug-2025 17:39
python3-cvc5_1.1.2-3_mips64el.deb 245K12-Aug-2025 12:11
python3-cvc5_1.1.2-3_ppc64el.deb 291K11-Aug-2025 17:39
python3-cvc5_1.1.2-3_riscv64.deb 321K13-Aug-2025 04:41
python3-cvc5_1.1.2-3_s390x.deb 323K11-Aug-2025 20:04