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+b2_amd64.deb 105K28-Oct-2024 21:08
cvc5_1.1.2-2+b2_arm64.deb 95K29-Oct-2024 08:42
cvc5_1.1.2-2+b2_armel.deb 96K29-Oct-2024 02:58
cvc5_1.1.2-2+b2_armhf.deb 98K29-Oct-2024 01:12
cvc5_1.1.2-2+b2_i386.deb 109K28-Oct-2024 21:52
cvc5_1.1.2-2+b2_mips64el.deb 89K29-Oct-2024 11:56
cvc5_1.1.2-2+b2_ppc64el.deb 102K28-Oct-2024 20:57
cvc5_1.1.2-2+b2_riscv64.deb 99K04-Nov-2024 03:18
cvc5_1.1.2-2+b2_s390x.deb 106K29-Oct-2024 10:13
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.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+b2_amd64.deb 6M28-Oct-2024 21:08
libcvc5-1_1.1.2-2+b2_arm64.deb 5M29-Oct-2024 08:42
libcvc5-1_1.1.2-2+b2_armel.deb 6M29-Oct-2024 02:58
libcvc5-1_1.1.2-2+b2_armhf.deb 5M29-Oct-2024 01:12
libcvc5-1_1.1.2-2+b2_i386.deb 7M28-Oct-2024 21:52
libcvc5-1_1.1.2-2+b2_mips64el.deb 5M29-Oct-2024 11:56
libcvc5-1_1.1.2-2+b2_ppc64el.deb 6M28-Oct-2024 20:57
libcvc5-1_1.1.2-2+b2_riscv64.deb 6M04-Nov-2024 03:18
libcvc5-1_1.1.2-2+b2_s390x.deb 6M29-Oct-2024 10:13
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+b2_amd64.deb 91K28-Oct-2024 21:08
libcvc5-dev_1.1.2-2+b2_arm64.deb 91K29-Oct-2024 08:42
libcvc5-dev_1.1.2-2+b2_armel.deb 91K29-Oct-2024 02:58
libcvc5-dev_1.1.2-2+b2_armhf.deb 91K29-Oct-2024 01:12
libcvc5-dev_1.1.2-2+b2_i386.deb 91K28-Oct-2024 21:52
libcvc5-dev_1.1.2-2+b2_mips64el.deb 91K29-Oct-2024 11:56
libcvc5-dev_1.1.2-2+b2_ppc64el.deb 91K28-Oct-2024 20:57
libcvc5-dev_1.1.2-2+b2_riscv64.deb 91K04-Nov-2024 03:18
libcvc5-dev_1.1.2-2+b2_s390x.deb 91K29-Oct-2024 10:13
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+b2_amd64.deb 231K28-Oct-2024 21:08
libcvc5parser1_1.1.2-2+b2_arm64.deb 202K29-Oct-2024 08:42
libcvc5parser1_1.1.2-2+b2_armel.deb 196K29-Oct-2024 02:58
libcvc5parser1_1.1.2-2+b2_armhf.deb 202K29-Oct-2024 01:12
libcvc5parser1_1.1.2-2+b2_i386.deb 252K28-Oct-2024 21:52
libcvc5parser1_1.1.2-2+b2_mips64el.deb 194K29-Oct-2024 11:56
libcvc5parser1_1.1.2-2+b2_ppc64el.deb 227K28-Oct-2024 20:57
libcvc5parser1_1.1.2-2+b2_riscv64.deb 222K04-Nov-2024 03:18
libcvc5parser1_1.1.2-2+b2_s390x.deb 226K29-Oct-2024 10:13
python3-cvc5_1.1.2-2+b2_amd64.deb 331K28-Oct-2024 21:08
python3-cvc5_1.1.2-2+b2_arm64.deb 291K29-Oct-2024 08:42
python3-cvc5_1.1.2-2+b2_armel.deb 304K29-Oct-2024 02:58
python3-cvc5_1.1.2-2+b2_armhf.deb 310K29-Oct-2024 01:12
python3-cvc5_1.1.2-2+b2_i386.deb 316K28-Oct-2024 21:52
python3-cvc5_1.1.2-2+b2_mips64el.deb 243K29-Oct-2024 11:56
python3-cvc5_1.1.2-2+b2_ppc64el.deb 292K28-Oct-2024 20:57
python3-cvc5_1.1.2-2+b2_riscv64.deb 321K04-Nov-2024 03:18
python3-cvc5_1.1.2-2+b2_s390x.deb 324K29-Oct-2024 10:13