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

name	size	date
cvc5_1.3.2-1+b1_riscv64.deb	130.0K	2026-05-17 15:15:40
libcvc5-1_1.3.2-1+b1_riscv64.deb	7.46M	2026-05-17 15:15:40
libcvc5-dev_1.3.2-1+b1_riscv64.deb	121.3K	2026-05-17 15:15:40
libcvc5parser1_1.3.2-1+b1_riscv64.deb	258.7K	2026-05-17 15:15:40
python3-cvc5_1.3.2-1+b1_riscv64.deb	359.2K	2026-05-17 15:15:40
libcvc5-1_1.3.2-1+b1_loong64.deb	6.81M	2026-04-23 23:10:47
libcvc5-dev_1.3.2-1+b1_loong64.deb	121.4K	2026-04-23 23:10:47
libcvc5parser1_1.3.2-1+b1_loong64.deb	250.1K	2026-04-23 23:10:47
python3-cvc5_1.3.2-1+b1_loong64.deb	339.5K	2026-04-23 23:10:47
cvc5_1.3.2-1+b1_loong64.deb	128.8K	2026-04-23 23:10:46
libcvc5-1_1.3.2-1+b1_s390x.deb	7.32M	2026-04-23 18:01:09
libcvc5-dev_1.3.2-1+b1_s390x.deb	121.3K	2026-04-23 18:01:09
libcvc5parser1_1.3.2-1+b1_s390x.deb	254.6K	2026-04-23 18:01:09
python3-cvc5_1.3.2-1+b1_s390x.deb	350.7K	2026-04-23 18:01:09
cvc5_1.3.2-1+b1_s390x.deb	142.4K	2026-04-23 18:01:08
cvc5_1.3.2-1+b1_i386.deb	142.3K	2026-04-23 16:13:25
libcvc5-1_1.3.2-1+b1_i386.deb	7.99M	2026-04-23 16:13:25
libcvc5-dev_1.3.2-1+b1_i386.deb	121.3K	2026-04-23 16:13:25
libcvc5parser1_1.3.2-1+b1_i386.deb	287.0K	2026-04-23 16:13:25
python3-cvc5_1.3.2-1+b1_i386.deb	365.4K	2026-04-23 16:13:25
cvc5_1.3.2-1+b1_amd64.deb	139.9K	2026-04-23 15:56:55
libcvc5-1_1.3.2-1+b1_amd64.deb	7.38M	2026-04-23 15:56:55
libcvc5-dev_1.3.2-1+b1_amd64.deb	121.4K	2026-04-23 15:56:55
libcvc5parser1_1.3.2-1+b1_amd64.deb	266.6K	2026-04-23 15:56:55
python3-cvc5_1.3.2-1+b1_amd64.deb	377.8K	2026-04-23 15:56:55
cvc5_1.3.2-1+b1_ppc64el.deb	133.1K	2026-04-23 15:41:10
libcvc5-1_1.3.2-1+b1_ppc64el.deb	6.97M	2026-04-23 15:41:10
libcvc5-dev_1.3.2-1+b1_ppc64el.deb	121.3K	2026-04-23 15:41:10
libcvc5parser1_1.3.2-1+b1_ppc64el.deb	259.8K	2026-04-23 15:41:10
python3-cvc5_1.3.2-1+b1_ppc64el.deb	337.3K	2026-04-23 15:41:10
cvc5_1.3.2-1+b1_armhf.deb	128.8K	2026-04-23 14:22:11
libcvc5-1_1.3.2-1+b1_armhf.deb	6.24M	2026-04-23 14:22:11
libcvc5-dev_1.3.2-1+b1_armhf.deb	121.3K	2026-04-23 14:22:11
libcvc5parser1_1.3.2-1+b1_armhf.deb	233.6K	2026-04-23 14:22:11
python3-cvc5_1.3.2-1+b1_armhf.deb	343.9K	2026-04-23 14:22:11
libcvc5-1_1.3.2-1+b1_arm64.deb	6.33M	2026-04-23 14:01:37
libcvc5-dev_1.3.2-1+b1_arm64.deb	121.3K	2026-04-23 14:01:37
libcvc5parser1_1.3.2-1+b1_arm64.deb	231.9K	2026-04-23 14:01:37
python3-cvc5_1.3.2-1+b1_arm64.deb	315.7K	2026-04-23 14:01:37
cvc5_1.3.2-1+b1_arm64.deb	125.9K	2026-04-23 14:01:36
cvc5_1.3.2-1.debian.tar.xz	8.3K	2025-12-24 01:13:58
cvc5_1.3.2-1.dsc	2.4K	2025-12-24 01:13:58
cvc5_1.3.2.orig.tar.gz	8.82M	2025-12-24 01:13:58
cvc5_1.1.2-2+b3_riscv64.deb	99.4K	2025-01-12 20:01:31
libcvc5-1_1.1.2-2+b3_riscv64.deb	6.39M	2025-01-12 20:01:31
libcvc5-dev_1.1.2-2+b3_riscv64.deb	91.1K	2025-01-12 20:01:31
libcvc5parser1_1.1.2-2+b3_riscv64.deb	221.6K	2025-01-12 20:01:31
python3-cvc5_1.1.2-2+b3_riscv64.deb	320.2K	2025-01-12 20:01:31
cvc5_1.1.2-2+b3_s390x.deb	105.5K	2025-01-09 23:43:55
libcvc5-1_1.1.2-2+b3_s390x.deb	6.47M	2025-01-09 23:43:55
libcvc5-dev_1.1.2-2+b3_s390x.deb	91.1K	2025-01-09 23:43:55
libcvc5parser1_1.1.2-2+b3_s390x.deb	226.0K	2025-01-09 23:43:55
python3-cvc5_1.1.2-2+b3_s390x.deb	322.1K	2025-01-09 23:43:55
libcvc5-1_1.1.2-2+b3_armel.deb	5.52M	2025-01-09 12:48:20
libcvc5-dev_1.1.2-2+b3_armel.deb	91.1K	2025-01-09 12:48:20
libcvc5parser1_1.1.2-2+b3_armel.deb	195.9K	2025-01-09 12:48:20
python3-cvc5_1.1.2-2+b3_armel.deb	304.4K	2025-01-09 12:48:20
cvc5_1.1.2-2+b3_armel.deb	96.4K	2025-01-09 12:48:19
cvc5_1.1.2-2+b3_armhf.deb	98.7K	2025-01-09 12:32:49
libcvc5-1_1.1.2-2+b3_armhf.deb	5.41M	2025-01-09 12:32:49
libcvc5-dev_1.1.2-2+b3_armhf.deb	91.1K	2025-01-09 12:32:49
libcvc5parser1_1.1.2-2+b3_armhf.deb	202.3K	2025-01-09 12:32:49
python3-cvc5_1.1.2-2+b3_armhf.deb	309.4K	2025-01-09 12:32:49
cvc5_1.1.2-2+b3_arm64.deb	95.0K	2025-01-09 11:31:29
libcvc5-1_1.1.2-2+b3_arm64.deb	5.44M	2025-01-09 11:31:29
libcvc5-dev_1.1.2-2+b3_arm64.deb	91.1K	2025-01-09 11:31:29
libcvc5parser1_1.1.2-2+b3_arm64.deb	202.7K	2025-01-09 11:31:29
python3-cvc5_1.1.2-2+b3_arm64.deb	291.2K	2025-01-09 11:31:29
cvc5_1.1.2-2+b3_amd64.deb	106.6K	2025-01-09 11:11:00
libcvc5-1_1.1.2-2+b3_amd64.deb	6.37M	2025-01-09 11:11:00
libcvc5-dev_1.1.2-2+b3_amd64.deb	91.1K	2025-01-09 11:11:00
libcvc5parser1_1.1.2-2+b3_amd64.deb	231.2K	2025-01-09 11:11:00
python3-cvc5_1.1.2-2+b3_amd64.deb	331.1K	2025-01-09 11:11:00
cvc5_1.1.2-2+b3_i386.deb	109.3K	2025-01-09 11:05:49
libcvc5-1_1.1.2-2+b3_i386.deb	6.92M	2025-01-09 11:05:49
libcvc5-dev_1.1.2-2+b3_i386.deb	91.1K	2025-01-09 11:05:49
libcvc5parser1_1.1.2-2+b3_i386.deb	251.9K	2025-01-09 11:05:49
python3-cvc5_1.1.2-2+b3_i386.deb	317.8K	2025-01-09 11:05:49
cvc5_1.1.2-2+b3_ppc64el.deb	101.6K	2025-01-09 10:55:35
libcvc5-1_1.1.2-2+b3_ppc64el.deb	5.99M	2025-01-09 10:55:35
libcvc5-dev_1.1.2-2+b3_ppc64el.deb	91.1K	2025-01-09 10:55:35
libcvc5parser1_1.1.2-2+b3_ppc64el.deb	226.8K	2025-01-09 10:55:35
python3-cvc5_1.1.2-2+b3_ppc64el.deb	292.1K	2025-01-09 10:55:35
cvc5_1.1.2-2.debian.tar.xz	7.2K	2024-03-19 22:22:50
cvc5_1.1.2-2.dsc	2.4K	2024-03-19 22:22:50
cvc5_1.1.2.orig.tar.gz	8.18M	2024-03-03 02:53:30
cvc5_1.0.3-1_s390x.deb	95.0K	2022-12-20 12:13:42
libcvc5-1_1.0.3-1_s390x.deb	4.86M	2022-12-20 12:13:42
libcvc5-dev_1.0.3-1_s390x.deb	57.2K	2022-12-20 12:13:42
libcvc5parser1_1.0.3-1_s390x.deb	264.9K	2022-12-20 12:13:42
cvc5_1.0.3-1_amd64.deb	105.4K	2022-12-20 05:55:42
libcvc5-1_1.0.3-1_amd64.deb	5.57M	2022-12-20 05:55:42
libcvc5-dev_1.0.3-1_amd64.deb	57.2K	2022-12-20 05:55:42
libcvc5parser1_1.0.3-1_amd64.deb	299.7K	2022-12-20 05:55:42
cvc5_1.0.3-1_ppc64el.deb	102.6K	2022-12-20 05:45:31
libcvc5-1_1.0.3-1_ppc64el.deb	5.33M	2022-12-20 05:45:31
libcvc5-dev_1.0.3-1_ppc64el.deb	57.2K	2022-12-20 05:45:31
libcvc5parser1_1.0.3-1_ppc64el.deb	297.3K	2022-12-20 05:45:31
libcvc5-1_1.0.3-1_arm64.deb	4.72M	2022-12-20 05:29:12
libcvc5-dev_1.0.3-1_arm64.deb	57.2K	2022-12-20 05:29:12
libcvc5parser1_1.0.3-1_arm64.deb	266.7K	2022-12-20 05:29:12
cvc5_1.0.3-1_arm64.deb	95.2K	2022-12-20 05:29:11
cvc5_1.0.3-1.debian.tar.xz	5.8K	2022-12-20 03:26:07
cvc5_1.0.3-1.dsc	2.3K	2022-12-20 03:26:07
cvc5_1.0.3.orig.tar.gz	7.95M	2022-12-20 03:26:07