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

Name ↑ Last modified Size
Parent Directory  -  -
cvc5_1.0.3-1.debian.tar.xz  20-Dec-2022 03:26  5.8 KiB
cvc5_1.0.3-1.dsc  20-Dec-2022 03:26  2.3 KiB
cvc5_1.0.3-1_amd64.deb  20-Dec-2022 05:55  105 KiB
cvc5_1.0.3.orig.tar.gz  20-Dec-2022 03:26  7.9 MiB
cvc5_1.1.2-2+b3_amd64.deb  09-Jan-2025 11:11  107 KiB
cvc5_1.1.2-2+b3_i386.deb  09-Jan-2025 11:05  109 KiB
cvc5_1.1.2-2.debian.tar.xz  19-Mar-2024 22:22  7.2 KiB
cvc5_1.1.2-2.dsc  19-Mar-2024 22:22  2.4 KiB
cvc5_1.1.2.orig.tar.gz  03-Mar-2024 02:53  8.2 MiB
cvc5_1.3.2-1+b1_amd64.deb  23-Apr-2026 15:56  140 KiB
cvc5_1.3.2-1+b1_i386.deb  23-Apr-2026 16:13  142 KiB
cvc5_1.3.2-1.debian.tar.xz  24-Dec-2025 01:13  8.3 KiB
cvc5_1.3.2-1.dsc  24-Dec-2025 01:13  2.4 KiB
cvc5_1.3.2.orig.tar.gz  24-Dec-2025 01:13  8.8 MiB
libcvc5-1_1.0.3-1_amd64.deb  20-Dec-2022 05:55  5.6 MiB
libcvc5-1_1.1.2-2+b3_amd64.deb  09-Jan-2025 11:11  6.4 MiB
libcvc5-1_1.1.2-2+b3_i386.deb  09-Jan-2025 11:05  6.9 MiB
libcvc5-1_1.3.2-1+b1_amd64.deb  23-Apr-2026 15:56  7.4 MiB
libcvc5-1_1.3.2-1+b1_i386.deb  23-Apr-2026 16:13  8.0 MiB
libcvc5-dev_1.0.3-1_amd64.deb  20-Dec-2022 05:55  57 KiB
libcvc5-dev_1.1.2-2+b3_amd64.deb  09-Jan-2025 11:11  91 KiB
libcvc5-dev_1.1.2-2+b3_i386.deb  09-Jan-2025 11:05  91 KiB
libcvc5-dev_1.3.2-1+b1_amd64.deb  23-Apr-2026 15:56  121 KiB
libcvc5-dev_1.3.2-1+b1_i386.deb  23-Apr-2026 16:13  121 KiB
libcvc5parser1_1.0.3-1_amd64.deb  20-Dec-2022 05:55  300 KiB
libcvc5parser1_1.1.2-2+b3_amd64.deb  09-Jan-2025 11:11  231 KiB
libcvc5parser1_1.1.2-2+b3_i386.deb  09-Jan-2025 11:05  252 KiB
libcvc5parser1_1.3.2-1+b1_amd64.deb  23-Apr-2026 15:56  267 KiB
libcvc5parser1_1.3.2-1+b1_i386.deb  23-Apr-2026 16:13  287 KiB
python3-cvc5_1.1.2-2+b3_amd64.deb  09-Jan-2025 11:11  331 KiB
python3-cvc5_1.1.2-2+b3_i386.deb  09-Jan-2025 11:05  318 KiB
python3-cvc5_1.3.2-1+b1_amd64.deb  23-Apr-2026 15:56  378 KiB
python3-cvc5_1.3.2-1+b1_i386.deb  23-Apr-2026 16:13  365 KiB
pub.gotlandia.net — 0 directories, 33 files