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

directories: 0, files: 105

NameLast modifiedSize
../
python3-cvc5_1.3.2-1_riscv64.deb2025-12-24 10:34:51359.20 KiB
python3-cvc5_1.3.2-1+b1_s390x.deb2026-04-23 20:01:09350.68 KiB
python3-cvc5_1.3.2-1+b1_ppc64el.deb2026-04-23 17:41:10337.32 KiB
python3-cvc5_1.3.2-1+b1_loong64.deb2026-04-24 01:10:47339.54 KiB
python3-cvc5_1.3.2-1+b1_i386.deb2026-04-23 18:13:25365.38 KiB
python3-cvc5_1.3.2-1+b1_armhf.deb2026-04-23 16:22:11343.86 KiB
python3-cvc5_1.3.2-1+b1_arm64.deb2026-04-23 16:01:37315.71 KiB
python3-cvc5_1.3.2-1+b1_amd64.deb2026-04-23 17:56:55377.83 KiB
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_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.3.2-1_riscv64.deb2025-12-24 10:34:51258.29 KiB
libcvc5parser1_1.3.2-1+b1_s390x.deb2026-04-23 20:01:09254.56 KiB
libcvc5parser1_1.3.2-1+b1_ppc64el.deb2026-04-23 17:41:10259.82 KiB
libcvc5parser1_1.3.2-1+b1_loong64.deb2026-04-24 01:10:47250.09 KiB
libcvc5parser1_1.3.2-1+b1_i386.deb2026-04-23 18:13:25286.96 KiB
libcvc5parser1_1.3.2-1+b1_armhf.deb2026-04-23 16:22:11233.60 KiB
libcvc5parser1_1.3.2-1+b1_arm64.deb2026-04-23 16:01:37231.86 KiB
libcvc5parser1_1.3.2-1+b1_amd64.deb2026-04-23 17:56:55266.65 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_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.3.2-1_riscv64.deb2025-12-24 10:34:50121.11 KiB
libcvc5-dev_1.3.2-1+b1_s390x.deb2026-04-23 20:01:09121.34 KiB
libcvc5-dev_1.3.2-1+b1_ppc64el.deb2026-04-23 17:41:10121.33 KiB
libcvc5-dev_1.3.2-1+b1_loong64.deb2026-04-24 01:10:47121.35 KiB
libcvc5-dev_1.3.2-1+b1_i386.deb2026-04-23 18:13:25121.33 KiB
libcvc5-dev_1.3.2-1+b1_armhf.deb2026-04-23 16:22:11121.33 KiB
libcvc5-dev_1.3.2-1+b1_arm64.deb2026-04-23 16:01:37121.34 KiB
libcvc5-dev_1.3.2-1+b1_amd64.deb2026-04-23 17:56:55121.37 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_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.3.2-1_riscv64.deb2025-12-24 10:34:507.44 MiB
libcvc5-1_1.3.2-1+b1_s390x.deb2026-04-23 20:01:097.32 MiB
libcvc5-1_1.3.2-1+b1_ppc64el.deb2026-04-23 17:41:106.97 MiB
libcvc5-1_1.3.2-1+b1_loong64.deb2026-04-24 01:10:476.81 MiB
libcvc5-1_1.3.2-1+b1_i386.deb2026-04-23 18:13:257.99 MiB
libcvc5-1_1.3.2-1+b1_armhf.deb2026-04-23 16:22:116.24 MiB
libcvc5-1_1.3.2-1+b1_arm64.deb2026-04-23 16:01:376.33 MiB
libcvc5-1_1.3.2-1+b1_amd64.deb2026-04-23 17:56:557.38 MiB
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_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.3.2.orig.tar.gz2025-12-24 02:13:588.82 MiB
cvc5_1.3.2-1_riscv64.deb2025-12-24 10:34:50129.64 KiB
cvc5_1.3.2-1.dsc2025-12-24 02:13:582.41 KiB
cvc5_1.3.2-1.debian.tar.xz2025-12-24 02:13:588.33 KiB
cvc5_1.3.2-1+b1_s390x.deb2026-04-23 20:01:08142.38 KiB
cvc5_1.3.2-1+b1_ppc64el.deb2026-04-23 17:41:10133.10 KiB
cvc5_1.3.2-1+b1_loong64.deb2026-04-24 01:10:46128.79 KiB
cvc5_1.3.2-1+b1_i386.deb2026-04-23 18:13:25142.28 KiB
cvc5_1.3.2-1+b1_armhf.deb2026-04-23 16:22:11128.77 KiB
cvc5_1.3.2-1+b1_arm64.deb2026-04-23 16:01:36125.85 KiB
cvc5_1.3.2-1+b1_amd64.deb2026-04-23 17:56:55139.95 KiB
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_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