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

../
cvc4_1.8-3+b4_amd64.deb                            07-Sep-2026 11:30     81K
cvc4_1.8-3_amd64.deb                               07-Sep-2026 11:30     79K
libcvc4-7_1.8-3+b4_amd64.deb                       07-Sep-2026 11:30      6M
libcvc4-7_1.8-3_amd64.deb                          07-Sep-2026 11:30      6M
libcvc4-dev_1.8-3+b4_amd64.deb                     07-Sep-2026 11:30    128K
libcvc4-dev_1.8-3_amd64.deb                        07-Sep-2026 11:30    128K
libcvc4parser7_1.8-3+b4_amd64.deb                  07-Sep-2026 11:30    373K
libcvc4parser7_1.8-3_amd64.deb                     07-Sep-2026 11:30    354K