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

Filename	Modification time	Size
cvc5_1.0.3-1.debian.tar.xz	2022-12-20 04:26 CET	5964 B
cvc5_1.0.3-1.dsc	2022-12-20 04:26 CET	2305 B
cvc5_1.0.3-1_amd64.deb	2022-12-20 06:55 CET	105 KiB
cvc5_1.0.3-1_arm64.deb	2022-12-20 06:29 CET	95 KiB
cvc5_1.0.3-1_ppc64el.deb	2022-12-20 06:45 CET	103 KiB
cvc5_1.0.3-1_s390x.deb	2022-12-20 13:13 CET	95 KiB
cvc5_1.0.3.orig.tar.gz	2022-12-20 04:26 CET	8140 KiB
cvc5_1.1.2-2+b1_amd64.deb	2024-06-26 11:01 CEST	108 KiB
cvc5_1.1.2-2+b1_arm64.deb	2024-06-26 11:37 CEST	97 KiB
cvc5_1.1.2-2+b1_armel.deb	2024-06-26 11:01 CEST	98 KiB
cvc5_1.1.2-2+b1_armhf.deb	2024-06-26 11:07 CEST	100 KiB
cvc5_1.1.2-2+b1_i386.deb	2024-06-26 11:01 CEST	111 KiB
cvc5_1.1.2-2+b1_mips64el.deb	2024-06-27 20:55 CEST	90 KiB
cvc5_1.1.2-2+b1_ppc64el.deb	2024-06-26 11:02 CEST	102 KiB
cvc5_1.1.2-2+b1_riscv64.deb	2024-06-29 23:47 CEST	101 KiB
cvc5_1.1.2-2+b1_s390x.deb	2024-06-27 00:47 CEST	106 KiB
cvc5_1.1.2-2.debian.tar.xz	2024-03-19 23:22 CET	7396 B
cvc5_1.1.2-2.dsc	2024-03-19 23:22 CET	2470 B
cvc5_1.1.2.orig.tar.gz	2024-03-03 03:53 CET	8381 KiB
libcvc5-1_1.0.3-1_amd64.deb	2022-12-20 06:55 CET	5704 KiB
libcvc5-1_1.0.3-1_arm64.deb	2022-12-20 06:29 CET	4829 KiB
libcvc5-1_1.0.3-1_ppc64el.deb	2022-12-20 06:45 CET	5458 KiB
libcvc5-1_1.0.3-1_s390x.deb	2022-12-20 13:13 CET	4980 KiB
libcvc5-1_1.1.2-2+b1_amd64.deb	2024-06-26 11:01 CEST	6262 KiB
libcvc5-1_1.1.2-2+b1_arm64.deb	2024-06-26 11:37 CEST	5347 KiB
libcvc5-1_1.1.2-2+b1_armel.deb	2024-06-26 11:01 CEST	5449 KiB
libcvc5-1_1.1.2-2+b1_armhf.deb	2024-06-26 11:07 CEST	5348 KiB
libcvc5-1_1.1.2-2+b1_i386.deb	2024-06-26 11:01 CEST	6863 KiB
libcvc5-1_1.1.2-2+b1_mips64el.deb	2024-06-27 20:55 CEST	5052 KiB
libcvc5-1_1.1.2-2+b1_ppc64el.deb	2024-06-26 11:02 CEST	5967 KiB
libcvc5-1_1.1.2-2+b1_riscv64.deb	2024-06-29 23:47 CEST	6265 KiB
libcvc5-1_1.1.2-2+b1_s390x.deb	2024-06-27 00:47 CEST	6390 KiB
libcvc5-dev_1.0.3-1_amd64.deb	2022-12-20 06:55 CET	57 KiB
libcvc5-dev_1.0.3-1_arm64.deb	2022-12-20 06:29 CET	57 KiB
libcvc5-dev_1.0.3-1_ppc64el.deb	2022-12-20 06:45 CET	57 KiB
libcvc5-dev_1.0.3-1_s390x.deb	2022-12-20 13:13 CET	57 KiB
libcvc5-dev_1.1.2-2+b1_amd64.deb	2024-06-26 11:01 CEST	91 KiB
libcvc5-dev_1.1.2-2+b1_arm64.deb	2024-06-26 11:37 CEST	91 KiB
libcvc5-dev_1.1.2-2+b1_armel.deb	2024-06-26 11:01 CEST	91 KiB
libcvc5-dev_1.1.2-2+b1_armhf.deb	2024-06-26 11:07 CEST	91 KiB
libcvc5-dev_1.1.2-2+b1_i386.deb	2024-06-26 11:01 CEST	91 KiB
libcvc5-dev_1.1.2-2+b1_mips64el.deb	2024-06-27 20:55 CEST	91 KiB
libcvc5-dev_1.1.2-2+b1_ppc64el.deb	2024-06-26 11:02 CEST	91 KiB
libcvc5-dev_1.1.2-2+b1_riscv64.deb	2024-06-29 23:47 CEST	91 KiB
libcvc5-dev_1.1.2-2+b1_s390x.deb	2024-06-27 00:47 CEST	91 KiB
libcvc5parser1_1.0.3-1_amd64.deb	2022-12-20 06:55 CET	300 KiB
libcvc5parser1_1.0.3-1_arm64.deb	2022-12-20 06:29 CET	267 KiB
libcvc5parser1_1.0.3-1_ppc64el.deb	2022-12-20 06:45 CET	297 KiB
libcvc5parser1_1.0.3-1_s390x.deb	2022-12-20 13:13 CET	265 KiB
libcvc5parser1_1.1.2-2+b1_amd64.deb	2024-06-26 11:01 CEST	230 KiB
libcvc5parser1_1.1.2-2+b1_arm64.deb	2024-06-26 11:37 CEST	201 KiB
libcvc5parser1_1.1.2-2+b1_armel.deb	2024-06-26 11:01 CEST	194 KiB
libcvc5parser1_1.1.2-2+b1_armhf.deb	2024-06-26 11:07 CEST	200 KiB
libcvc5parser1_1.1.2-2+b1_i386.deb	2024-06-26 11:01 CEST	248 KiB
libcvc5parser1_1.1.2-2+b1_mips64el.deb	2024-06-27 20:55 CEST	192 KiB
libcvc5parser1_1.1.2-2+b1_ppc64el.deb	2024-06-26 11:02 CEST	225 KiB
libcvc5parser1_1.1.2-2+b1_riscv64.deb	2024-06-29 23:47 CEST	219 KiB
libcvc5parser1_1.1.2-2+b1_s390x.deb	2024-06-27 00:47 CEST	223 KiB
python3-cvc5_1.1.2-2+b1_amd64.deb	2024-06-26 11:01 CEST	328 KiB
python3-cvc5_1.1.2-2+b1_arm64.deb	2024-06-26 11:37 CEST	289 KiB
python3-cvc5_1.1.2-2+b1_armel.deb	2024-06-26 11:01 CEST	299 KiB
python3-cvc5_1.1.2-2+b1_armhf.deb	2024-06-26 11:07 CEST	304 KiB
python3-cvc5_1.1.2-2+b1_i386.deb	2024-06-26 11:01 CEST	310 KiB
python3-cvc5_1.1.2-2+b1_mips64el.deb	2024-06-27 20:55 CEST	242 KiB
python3-cvc5_1.1.2-2+b1_ppc64el.deb	2024-06-26 11:02 CEST	293 KiB
python3-cvc5_1.1.2-2+b1_riscv64.deb	2024-06-29 23:47 CEST	310 KiB
python3-cvc5_1.1.2-2+b1_s390x.deb	2024-06-27 00:47 CEST	321 KiB