Index of /legacy/devuan/merged/pool/DEBIAN/main/c/cvc4/

../
cvc4_1.8-2_amd64.deb                               07-Sep-2026 11:30     80K
libcvc4-7_1.8-2_amd64.deb                          07-Sep-2026 11:30      5M
libcvc4-dev_1.8-2_amd64.deb                        07-Sep-2026 11:30    128K
libcvc4parser7_1.8-2_amd64.deb                     07-Sep-2026 11:30    358K