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+b1_amd64.deb 108K26-Jun-2024 13:01
cvc5_1.1.2-2+b1_arm64.deb 97K26-Jun-2024 13:37
cvc5_1.1.2-2+b1_armel.deb 98K26-Jun-2024 13:01
cvc5_1.1.2-2+b1_armhf.deb 100K26-Jun-2024 13:07
cvc5_1.1.2-2+b1_i386.deb 111K26-Jun-2024 13:01
cvc5_1.1.2-2+b1_mips64el.deb 90K27-Jun-2024 22:55
cvc5_1.1.2-2+b1_ppc64el.deb 102K26-Jun-2024 13:02
cvc5_1.1.2-2+b1_riscv64.deb 101K30-Jun-2024 01:47
cvc5_1.1.2-2+b1_s390x.deb 106K27-Jun-2024 02:47
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+b1_amd64.deb 6M26-Jun-2024 13:01
libcvc5-1_1.1.2-2+b1_arm64.deb 5M26-Jun-2024 13:37
libcvc5-1_1.1.2-2+b1_armel.deb 5M26-Jun-2024 13:01
libcvc5-1_1.1.2-2+b1_armhf.deb 5M26-Jun-2024 13:07
libcvc5-1_1.1.2-2+b1_i386.deb 7M26-Jun-2024 13:01
libcvc5-1_1.1.2-2+b1_mips64el.deb 5M27-Jun-2024 22:55
libcvc5-1_1.1.2-2+b1_ppc64el.deb 6M26-Jun-2024 13:02
libcvc5-1_1.1.2-2+b1_riscv64.deb 6M30-Jun-2024 01:47
libcvc5-1_1.1.2-2+b1_s390x.deb 6M27-Jun-2024 02:47
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+b1_amd64.deb 91K26-Jun-2024 13:01
libcvc5-dev_1.1.2-2+b1_arm64.deb 91K26-Jun-2024 13:37
libcvc5-dev_1.1.2-2+b1_armel.deb 91K26-Jun-2024 13:01
libcvc5-dev_1.1.2-2+b1_armhf.deb 91K26-Jun-2024 13:07
libcvc5-dev_1.1.2-2+b1_i386.deb 91K26-Jun-2024 13:01
libcvc5-dev_1.1.2-2+b1_mips64el.deb 91K27-Jun-2024 22:55
libcvc5-dev_1.1.2-2+b1_ppc64el.deb 91K26-Jun-2024 13:02
libcvc5-dev_1.1.2-2+b1_riscv64.deb 91K30-Jun-2024 01:47
libcvc5-dev_1.1.2-2+b1_s390x.deb 91K27-Jun-2024 02:47
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+b1_amd64.deb 230K26-Jun-2024 13:01
libcvc5parser1_1.1.2-2+b1_arm64.deb 201K26-Jun-2024 13:37
libcvc5parser1_1.1.2-2+b1_armel.deb 194K26-Jun-2024 13:01
libcvc5parser1_1.1.2-2+b1_armhf.deb 200K26-Jun-2024 13:07
libcvc5parser1_1.1.2-2+b1_i386.deb 248K26-Jun-2024 13:01
libcvc5parser1_1.1.2-2+b1_mips64el.deb 192K27-Jun-2024 22:55
libcvc5parser1_1.1.2-2+b1_ppc64el.deb 225K26-Jun-2024 13:02
libcvc5parser1_1.1.2-2+b1_riscv64.deb 219K30-Jun-2024 01:47
libcvc5parser1_1.1.2-2+b1_s390x.deb 223K27-Jun-2024 02:47
python3-cvc5_1.1.2-2+b1_amd64.deb 328K26-Jun-2024 13:01
python3-cvc5_1.1.2-2+b1_arm64.deb 289K26-Jun-2024 13:37
python3-cvc5_1.1.2-2+b1_armel.deb 299K26-Jun-2024 13:01
python3-cvc5_1.1.2-2+b1_armhf.deb 304K26-Jun-2024 13:07
python3-cvc5_1.1.2-2+b1_i386.deb 310K26-Jun-2024 13:01
python3-cvc5_1.1.2-2+b1_mips64el.deb 242K27-Jun-2024 22:55
python3-cvc5_1.1.2-2+b1_ppc64el.deb 293K26-Jun-2024 13:02
python3-cvc5_1.1.2-2+b1_riscv64.deb 310K30-Jun-2024 01:47
python3-cvc5_1.1.2-2+b1_s390x.deb 321K27-Jun-2024 02:47