/debian/pool/main/c/cvc5/

File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
cvc5_1.0.3-1.dsc	2.3 KiB	2022-Dec-20 03:26
cvc5_1.0.3-1.debian.tar.xz	5.8 KiB	2022-Dec-20 03:26
cvc5_1.0.3.orig.tar.gz	7.9 MiB	2022-Dec-20 03:26
libcvc5parser1_1.0.3-1_amd64.deb	299.7 KiB	2022-Dec-20 05:55
cvc5_1.0.3-1_amd64.deb	105.4 KiB	2022-Dec-20 05:55
libcvc5-dev_1.0.3-1_amd64.deb	57.2 KiB	2022-Dec-20 05:55
libcvc5-1_1.0.3-1_amd64.deb	5.6 MiB	2022-Dec-20 05:55
cvc5_1.1.2.orig.tar.gz	8.2 MiB	2024-Mar-03 02:53
cvc5_1.1.2-2.dsc	2.4 KiB	2024-Mar-19 22:22
cvc5_1.1.2-2.debian.tar.xz	7.2 KiB	2024-Mar-19 22:22
libcvc5-1_1.1.2-2+b3_i386.deb	6.9 MiB	2025-Jan-09 11:05
libcvc5-dev_1.1.2-2+b3_i386.deb	91.1 KiB	2025-Jan-09 11:05
cvc5_1.1.2-2+b3_i386.deb	109.3 KiB	2025-Jan-09 11:05
python3-cvc5_1.1.2-2+b3_i386.deb	317.8 KiB	2025-Jan-09 11:05
libcvc5parser1_1.1.2-2+b3_i386.deb	251.9 KiB	2025-Jan-09 11:05
libcvc5-dev_1.1.2-2+b3_amd64.deb	91.1 KiB	2025-Jan-09 11:11
python3-cvc5_1.1.2-2+b3_amd64.deb	331.1 KiB	2025-Jan-09 11:11
cvc5_1.1.2-2+b3_amd64.deb	106.6 KiB	2025-Jan-09 11:11
libcvc5parser1_1.1.2-2+b3_amd64.deb	231.2 KiB	2025-Jan-09 11:11
libcvc5-1_1.1.2-2+b3_amd64.deb	6.4 MiB	2025-Jan-09 11:11
cvc5_1.3.2.orig.tar.gz	8.8 MiB	2025-Dec-24 01:13
cvc5_1.3.2-1.dsc	2.4 KiB	2025-Dec-24 01:13
cvc5_1.3.2-1.debian.tar.xz	8.3 KiB	2025-Dec-24 01:13
cvc5_1.3.2-1+b2_amd64.deb	140.8 KiB	2026-Jun-28 22:49
python3-cvc5_1.3.2-1+b2_amd64.deb	376.5 KiB	2026-Jun-28 22:49
libcvc5-1_1.3.2-1+b2_amd64.deb	7.4 MiB	2026-Jun-28 22:49
libcvc5parser1_1.3.2-1+b2_amd64.deb	266.4 KiB	2026-Jun-28 22:49
libcvc5-dev_1.3.2-1+b2_amd64.deb	121.3 KiB	2026-Jun-28 22:49
libcvc5parser1_1.3.2-1+b2_i386.deb	287.1 KiB	2026-Jun-28 23:51
libcvc5-1_1.3.2-1+b2_i386.deb	8.0 MiB	2026-Jun-28 23:51
libcvc5-dev_1.3.2-1+b2_i386.deb	121.3 KiB	2026-Jun-28 23:51
python3-cvc5_1.3.2-1+b2_i386.deb	365.8 KiB	2026-Jun-28 23:51
cvc5_1.3.2-1+b2_i386.deb	142.2 KiB	2026-Jun-28 23:51