Index of /ubuntu-old-releases/ubuntu/pool/universe/c/cvc5/
../
cvc5_1.0.3-1.debian.tar.xz 20-Dec-2022 11:29 5964
cvc5_1.0.3-1.dsc 20-Dec-2022 11:29 2305
cvc5_1.0.3-1_amd64.deb 20-Dec-2022 11:49 98580
cvc5_1.0.3-1_arm64.deb 20-Dec-2022 12:49 90118
cvc5_1.0.3-1_ppc64el.deb 20-Dec-2022 11:49 94728
cvc5_1.0.3-1_riscv64.deb 20-Dec-2022 14:48 103508
cvc5_1.0.3-1_s390x.deb 20-Dec-2022 11:49 92442
cvc5_1.0.3.orig.tar.gz 20-Dec-2022 11:29 8335175
cvc5_1.0.5-3.debian.tar.xz 24-Jun-2023 11:45 7072
cvc5_1.0.5-3.dsc 24-Jun-2023 11:45 2495
cvc5_1.0.5-3_amd64.deb 25-Jun-2023 08:04 90332
cvc5_1.0.5-3_arm64.deb 25-Jun-2023 08:04 81796
cvc5_1.0.5-3_ppc64el.deb 25-Jun-2023 08:04 86296
cvc5_1.0.5-3_riscv64.deb 25-Jun-2023 08:04 95544
cvc5_1.0.5-3_s390x.deb 25-Jun-2023 08:04 85610
cvc5_1.0.5.orig.tar.gz 20-Jun-2023 23:39 8431503
libcvc5-1_1.0.3-1_amd64.deb 20-Dec-2022 11:49 4777062
libcvc5-1_1.0.3-1_arm64.deb 20-Dec-2022 12:49 4357562
libcvc5-1_1.0.3-1_ppc64el.deb 20-Dec-2022 11:49 4736376
libcvc5-1_1.0.3-1_riscv64.deb 20-Dec-2022 14:48 6581766
libcvc5-1_1.0.3-1_s390x.deb 20-Dec-2022 11:49 4497840
libcvc5-1_1.0.5-3_amd64.deb 25-Jun-2023 08:04 4793888
libcvc5-1_1.0.5-3_arm64.deb 25-Jun-2023 08:04 4355088
libcvc5-1_1.0.5-3_ppc64el.deb 25-Jun-2023 08:04 4734940
libcvc5-1_1.0.5-3_riscv64.deb 25-Jun-2023 08:04 6668892
libcvc5-1_1.0.5-3_s390x.deb 25-Jun-2023 08:04 4514006
libcvc5-dev_1.0.3-1_amd64.deb 20-Dec-2022 11:49 52762
libcvc5-dev_1.0.3-1_arm64.deb 20-Dec-2022 12:49 52766
libcvc5-dev_1.0.3-1_ppc64el.deb 20-Dec-2022 11:49 52772
libcvc5-dev_1.0.3-1_riscv64.deb 20-Dec-2022 14:48 52766
libcvc5-dev_1.0.3-1_s390x.deb 20-Dec-2022 11:49 52762
libcvc5-dev_1.0.5-3_amd64.deb 25-Jun-2023 08:04 54488
libcvc5-dev_1.0.5-3_arm64.deb 25-Jun-2023 08:04 54480
libcvc5-dev_1.0.5-3_ppc64el.deb 25-Jun-2023 08:04 54494
libcvc5-dev_1.0.5-3_riscv64.deb 25-Jun-2023 08:04 54488
libcvc5-dev_1.0.5-3_s390x.deb 25-Jun-2023 08:04 54484
libcvc5parser1_1.0.3-1_amd64.deb 20-Dec-2022 11:49 304354
libcvc5parser1_1.0.3-1_arm64.deb 20-Dec-2022 12:49 284416
libcvc5parser1_1.0.3-1_ppc64el.deb 20-Dec-2022 11:49 310868
libcvc5parser1_1.0.3-1_riscv64.deb 20-Dec-2022 14:48 314300
libcvc5parser1_1.0.3-1_s390x.deb 20-Dec-2022 11:49 281136
libcvc5parser1_1.0.5-3_amd64.deb 25-Jun-2023 08:04 352602
libcvc5parser1_1.0.5-3_arm64.deb 25-Jun-2023 08:04 324318
libcvc5parser1_1.0.5-3_ppc64el.deb 25-Jun-2023 08:04 357576
libcvc5parser1_1.0.5-3_riscv64.deb 25-Jun-2023 08:04 376434
libcvc5parser1_1.0.5-3_s390x.deb 25-Jun-2023 08:04 322852
python3-cvc5_1.0.5-3_amd64.deb 25-Jun-2023 08:04 245226
python3-cvc5_1.0.5-3_arm64.deb 25-Jun-2023 08:04 223546
python3-cvc5_1.0.5-3_ppc64el.deb 25-Jun-2023 08:04 232454
python3-cvc5_1.0.5-3_riscv64.deb 25-Jun-2023 08:04 232096
python3-cvc5_1.0.5-3_s390x.deb 25-Jun-2023 08:04 222160