Host4Biz mirror server

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

---

../
cvc5_1.0.3-1_amd64.deb                             18-Dec-2025 14:46    105K
libcvc5-1_1.0.3-1_amd64.deb                        18-Dec-2025 14:46      6M
libcvc5-dev_1.0.3-1_amd64.deb                      18-Dec-2025 14:46     57K
libcvc5parser1_1.0.3-1_amd64.deb                   18-Dec-2025 14:46    300K

---