File list of package cvc4 in bookworm of architecture mipsel

/usr/bin/cvc4
/usr/share/cvc4/drat.plf
/usr/share/cvc4/er.plf
/usr/share/cvc4/lrat.plf
/usr/share/cvc4/sat.plf
/usr/share/cvc4/smt.plf
/usr/share/cvc4/th_arrays.plf
/usr/share/cvc4/th_base.plf
/usr/share/cvc4/th_bv.plf
/usr/share/cvc4/th_bv_bitblast.plf
/usr/share/cvc4/th_bv_rewrites.plf
/usr/share/cvc4/th_int.plf
/usr/share/cvc4/th_lira.plf
/usr/share/cvc4/th_real.plf
/usr/share/doc/cvc4/AUTHORS
/usr/share/doc/cvc4/NEWS.gz
/usr/share/doc/cvc4/THANKS
/usr/share/doc/cvc4/changelog.Debian.gz
/usr/share/doc/cvc4/copyright
/usr/share/man/man1/cvc4.1.gz
/usr/share/man/man5/cvc4.5.gz