Index of /mirrors/debian/pool/main/c/cvc5/

directories: 0, files: 67

NameLast modifiedSize
../
python3-cvc5_1.1.2-2+b3_s390x.deb2025-01-10 00:43:55322.06 KiB
python3-cvc5_1.1.2-2+b3_riscv64.deb2025-01-12 21:01:31320.21 KiB
python3-cvc5_1.1.2-2+b3_ppc64el.deb2025-01-09 11:55:35292.14 KiB
python3-cvc5_1.1.2-2+b3_mips64el.deb2025-01-09 14:59:49245.42 KiB
python3-cvc5_1.1.2-2+b3_i386.deb2025-01-09 12:05:49317.82 KiB
python3-cvc5_1.1.2-2+b3_armhf.deb2025-01-09 13:32:49309.35 KiB
python3-cvc5_1.1.2-2+b3_armel.deb2025-01-09 13:48:20304.43 KiB
python3-cvc5_1.1.2-2+b3_arm64.deb2025-01-09 12:31:29291.18 KiB
python3-cvc5_1.1.2-2+b3_amd64.deb2025-01-09 12:11:00331.13 KiB
libcvc5parser1_1.1.2-2+b3_s390x.deb2025-01-10 00:43:55226.00 KiB
libcvc5parser1_1.1.2-2+b3_riscv64.deb2025-01-12 21:01:31221.59 KiB
libcvc5parser1_1.1.2-2+b3_ppc64el.deb2025-01-09 11:55:35226.84 KiB
libcvc5parser1_1.1.2-2+b3_mips64el.deb2025-01-09 14:59:49199.42 KiB
libcvc5parser1_1.1.2-2+b3_i386.deb2025-01-09 12:05:49251.86 KiB
libcvc5parser1_1.1.2-2+b3_armhf.deb2025-01-09 13:32:49202.32 KiB
libcvc5parser1_1.1.2-2+b3_armel.deb2025-01-09 13:48:20195.90 KiB
libcvc5parser1_1.1.2-2+b3_arm64.deb2025-01-09 12:31:29202.73 KiB
libcvc5parser1_1.1.2-2+b3_amd64.deb2025-01-09 12:11:00231.20 KiB
libcvc5parser1_1.0.3-1_s390x.deb2022-12-20 13:13:42264.86 KiB
libcvc5parser1_1.0.3-1_ppc64el.deb2022-12-20 06:45:31297.30 KiB
libcvc5parser1_1.0.3-1_arm64.deb2022-12-20 06:29:12266.75 KiB
libcvc5parser1_1.0.3-1_amd64.deb2022-12-20 06:55:42299.68 KiB
libcvc5-dev_1.1.2-2+b3_s390x.deb2025-01-10 00:43:5591.07 KiB
libcvc5-dev_1.1.2-2+b3_riscv64.deb2025-01-12 21:01:3191.07 KiB
libcvc5-dev_1.1.2-2+b3_ppc64el.deb2025-01-09 11:55:3591.08 KiB
libcvc5-dev_1.1.2-2+b3_mips64el.deb2025-01-09 14:59:4991.07 KiB
libcvc5-dev_1.1.2-2+b3_i386.deb2025-01-09 12:05:4991.07 KiB
libcvc5-dev_1.1.2-2+b3_armhf.deb2025-01-09 13:32:4991.07 KiB
libcvc5-dev_1.1.2-2+b3_armel.deb2025-01-09 13:48:2091.05 KiB
libcvc5-dev_1.1.2-2+b3_arm64.deb2025-01-09 12:31:2991.07 KiB
libcvc5-dev_1.1.2-2+b3_amd64.deb2025-01-09 12:11:0091.11 KiB
libcvc5-dev_1.0.3-1_s390x.deb2022-12-20 13:13:4257.21 KiB
libcvc5-dev_1.0.3-1_ppc64el.deb2022-12-20 06:45:3157.23 KiB
libcvc5-dev_1.0.3-1_arm64.deb2022-12-20 06:29:1257.20 KiB
libcvc5-dev_1.0.3-1_amd64.deb2022-12-20 06:55:4257.21 KiB
libcvc5-1_1.1.2-2+b3_s390x.deb2025-01-10 00:43:556.46 MiB
libcvc5-1_1.1.2-2+b3_riscv64.deb2025-01-12 21:01:316.39 MiB
libcvc5-1_1.1.2-2+b3_ppc64el.deb2025-01-09 11:55:355.99 MiB
libcvc5-1_1.1.2-2+b3_mips64el.deb2025-01-09 14:59:495.12 MiB
libcvc5-1_1.1.2-2+b3_i386.deb2025-01-09 12:05:496.92 MiB
libcvc5-1_1.1.2-2+b3_armhf.deb2025-01-09 13:32:495.41 MiB
libcvc5-1_1.1.2-2+b3_armel.deb2025-01-09 13:48:205.51 MiB
libcvc5-1_1.1.2-2+b3_arm64.deb2025-01-09 12:31:295.44 MiB
libcvc5-1_1.1.2-2+b3_amd64.deb2025-01-09 12:11:006.37 MiB
libcvc5-1_1.0.3-1_s390x.deb2022-12-20 13:13:424.86 MiB
libcvc5-1_1.0.3-1_ppc64el.deb2022-12-20 06:45:315.33 MiB
libcvc5-1_1.0.3-1_arm64.deb2022-12-20 06:29:124.71 MiB
libcvc5-1_1.0.3-1_amd64.deb2022-12-20 06:55:425.57 MiB
cvc5_1.1.2.orig.tar.gz2024-03-03 03:53:308.18 MiB
cvc5_1.1.2-2.dsc2024-03-19 23:22:502.41 KiB
cvc5_1.1.2-2.debian.tar.xz2024-03-19 23:22:507.22 KiB
cvc5_1.1.2-2+b3_s390x.deb2025-01-10 00:43:55105.49 KiB
cvc5_1.1.2-2+b3_riscv64.deb2025-01-12 21:01:3199.41 KiB
cvc5_1.1.2-2+b3_ppc64el.deb2025-01-09 11:55:35101.64 KiB
cvc5_1.1.2-2+b3_mips64el.deb2025-01-09 14:59:4990.28 KiB
cvc5_1.1.2-2+b3_i386.deb2025-01-09 12:05:49109.32 KiB
cvc5_1.1.2-2+b3_armhf.deb2025-01-09 13:32:4998.70 KiB
cvc5_1.1.2-2+b3_armel.deb2025-01-09 13:48:1996.38 KiB
cvc5_1.1.2-2+b3_arm64.deb2025-01-09 12:31:2995.01 KiB
cvc5_1.1.2-2+b3_amd64.deb2025-01-09 12:11:00106.62 KiB
cvc5_1.0.3.orig.tar.gz2022-12-20 04:26:077.95 MiB
cvc5_1.0.3-1_s390x.deb2022-12-20 13:13:4295.03 KiB
cvc5_1.0.3-1_ppc64el.deb2022-12-20 06:45:31102.56 KiB
cvc5_1.0.3-1_arm64.deb2022-12-20 06:29:1195.20 KiB
cvc5_1.0.3-1_amd64.deb2022-12-20 06:55:42105.37 KiB
cvc5_1.0.3-1.dsc2022-12-20 04:26:072.25 KiB
cvc5_1.0.3-1.debian.tar.xz2022-12-20 04:26:075.82 KiB