/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.1.2-3.dsc	2.4 KiB	2025-Jul-27 12:11
cvc5_1.1.2-2.dsc	2.4 KiB	2024-Mar-19 22:22
cvc5_1.0.3-1.debian.tar.xz	5.8 KiB	2022-Dec-20 03:26
cvc5_1.1.2-3.debian.tar.xz	7.2 KiB	2025-Jul-27 12:11
cvc5_1.1.2-2.debian.tar.xz	7.2 KiB	2024-Mar-19 22:22
libcvc5-dev_1.0.3-1_amd64.deb	57.2 KiB	2022-Dec-20 05:55
libcvc5-dev_1.1.2-3_amd64.deb	90.9 KiB	2025-Aug-11 13:32
libcvc5-dev_1.1.2-3_i386.deb	90.9 KiB	2025-Aug-11 13:39
libcvc5-dev_1.1.2-2+b3_i386.deb	91.1 KiB	2025-Jan-09 11:05
libcvc5-dev_1.1.2-2+b3_amd64.deb	91.1 KiB	2025-Jan-09 11:11
cvc5_1.1.2-3_amd64.deb	105.3 KiB	2025-Aug-11 13:32
cvc5_1.0.3-1_amd64.deb	105.4 KiB	2022-Dec-20 05:55
cvc5_1.1.2-2+b3_amd64.deb	106.6 KiB	2025-Jan-09 11:11
cvc5_1.1.2-3_i386.deb	108.8 KiB	2025-Aug-11 13:39
cvc5_1.1.2-2+b3_i386.deb	109.3 KiB	2025-Jan-09 11:05
libcvc5parser1_1.1.2-2+b3_amd64.deb	231.2 KiB	2025-Jan-09 11:11
libcvc5parser1_1.1.2-3_amd64.deb	231.9 KiB	2025-Aug-11 13:32
libcvc5parser1_1.1.2-2+b3_i386.deb	251.9 KiB	2025-Jan-09 11:05
libcvc5parser1_1.1.2-3_i386.deb	252.9 KiB	2025-Aug-11 13:39
libcvc5parser1_1.0.3-1_amd64.deb	299.7 KiB	2022-Dec-20 05:55
python3-cvc5_1.1.2-3_i386.deb	317.0 KiB	2025-Aug-11 13:39
python3-cvc5_1.1.2-2+b3_i386.deb	317.8 KiB	2025-Jan-09 11:05
python3-cvc5_1.1.2-2+b3_amd64.deb	331.1 KiB	2025-Jan-09 11:11
python3-cvc5_1.1.2-3_amd64.deb	332.6 KiB	2025-Aug-11 13:32
libcvc5-1_1.0.3-1_amd64.deb	5.6 MiB	2022-Dec-20 05:55
libcvc5-1_1.1.2-2+b3_amd64.deb	6.4 MiB	2025-Jan-09 11:11
libcvc5-1_1.1.2-3_amd64.deb	6.4 MiB	2025-Aug-11 13:32
libcvc5-1_1.1.2-2+b3_i386.deb	6.9 MiB	2025-Jan-09 11:05
libcvc5-1_1.1.2-3_i386.deb	6.9 MiB	2025-Aug-11 13:39
cvc5_1.0.3.orig.tar.gz	7.9 MiB	2022-Dec-20 03:26
cvc5_1.1.2.orig.tar.gz	8.2 MiB	2024-Mar-03 02:53