Index of /debian/pool/main/c/cvc5/
../
cvc5_1.0.3-1.debian.tar.xz 20-Dec-2022 03:26 5964
cvc5_1.0.3-1.dsc 20-Dec-2022 03:26 2305
cvc5_1.0.3-1_amd64.deb 20-Dec-2022 05:55 107900
cvc5_1.0.3-1_arm64.deb 20-Dec-2022 05:29 97488
cvc5_1.0.3-1_ppc64el.deb 20-Dec-2022 05:45 105020
cvc5_1.0.3-1_s390x.deb 20-Dec-2022 12:13 97308
cvc5_1.0.3.orig.tar.gz 20-Dec-2022 03:26 8335175
cvc5_1.0.8-1.debian.tar.xz 21-Jan-2024 02:49 6364
cvc5_1.0.8-1.dsc 21-Jan-2024 02:49 2473
cvc5_1.0.8-1_amd64.deb 21-Jan-2024 03:59 106264
cvc5_1.0.8-1_arm64.deb 21-Jan-2024 03:59 94272
cvc5_1.0.8-1_ppc64el.deb 21-Jan-2024 03:59 100336
cvc5_1.0.8-1_riscv64.deb 21-Jan-2024 14:51 97884
cvc5_1.0.8-1_s390x.deb 21-Jan-2024 04:05 102920
cvc5_1.0.8.orig.tar.gz 21-Jan-2024 02:49 8393754
libcvc5-1_1.0.3-1_amd64.deb 20-Dec-2022 05:55 5841260
libcvc5-1_1.0.3-1_arm64.deb 20-Dec-2022 05:29 4944548
libcvc5-1_1.0.3-1_ppc64el.deb 20-Dec-2022 05:45 5588964
libcvc5-1_1.0.3-1_s390x.deb 20-Dec-2022 12:13 5099564
libcvc5-1_1.0.8-1_amd64.deb 21-Jan-2024 03:59 6152128
libcvc5-1_1.0.8-1_arm64.deb 21-Jan-2024 03:59 5224720
libcvc5-1_1.0.8-1_ppc64el.deb 21-Jan-2024 03:59 5857252
libcvc5-1_1.0.8-1_riscv64.deb 21-Jan-2024 14:51 6188308
libcvc5-1_1.0.8-1_s390x.deb 21-Jan-2024 04:05 6221460
libcvc5-dev_1.0.3-1_amd64.deb 20-Dec-2022 05:55 58584
libcvc5-dev_1.0.3-1_arm64.deb 20-Dec-2022 05:29 58576
libcvc5-dev_1.0.3-1_ppc64el.deb 20-Dec-2022 05:45 58600
libcvc5-dev_1.0.3-1_s390x.deb 20-Dec-2022 12:13 58580
libcvc5-dev_1.0.8-1_amd64.deb 21-Jan-2024 03:59 64588
libcvc5-dev_1.0.8-1_arm64.deb 21-Jan-2024 03:59 64584
libcvc5-dev_1.0.8-1_ppc64el.deb 21-Jan-2024 03:59 64584
libcvc5-dev_1.0.8-1_riscv64.deb 21-Jan-2024 14:51 64592
libcvc5-dev_1.0.8-1_s390x.deb 21-Jan-2024 04:05 64584
libcvc5parser1_1.0.3-1_amd64.deb 20-Dec-2022 05:55 306872
libcvc5parser1_1.0.3-1_arm64.deb 20-Dec-2022 05:29 273148
libcvc5parser1_1.0.3-1_ppc64el.deb 20-Dec-2022 05:45 304436
libcvc5parser1_1.0.3-1_s390x.deb 20-Dec-2022 12:13 271212
libcvc5parser1_1.0.8-1_amd64.deb 21-Jan-2024 03:59 220084
libcvc5parser1_1.0.8-1_arm64.deb 21-Jan-2024 03:59 193580
libcvc5parser1_1.0.8-1_ppc64el.deb 21-Jan-2024 03:59 218200
libcvc5parser1_1.0.8-1_riscv64.deb 21-Jan-2024 14:51 210520
libcvc5parser1_1.0.8-1_s390x.deb 21-Jan-2024 04:05 214220
python3-cvc5_1.0.8-1_amd64.deb 21-Jan-2024 03:59 278640
python3-cvc5_1.0.8-1_arm64.deb 21-Jan-2024 03:59 251848
python3-cvc5_1.0.8-1_ppc64el.deb 21-Jan-2024 03:59 256812
python3-cvc5_1.0.8-1_riscv64.deb 21-Jan-2024 14:51 273640
python3-cvc5_1.0.8-1_s390x.deb 21-Jan-2024 04:05 280148