File list of package libghc-smtlib-doc in trixie of architecture all

/usr/lib/ghc-doc/haddock/smtlib-1.1/smtLib.haddock
/usr/share/doc/libghc-smtlib-doc/buildinfo_all.gz
/usr/share/doc/libghc-smtlib-doc/changelog.Debian.gz
/usr/share/doc/libghc-smtlib-doc/changelog.gz
/usr/share/doc/libghc-smtlib-doc/copyright
/usr/share/doc/libghc-smtlib-doc/html/SMTLib1-QF_AUFBV.html
/usr/share/doc/libghc-smtlib-doc/html/SMTLib1-QF_BV.html
/usr/share/doc/libghc-smtlib-doc/html/SMTLib1.html
/usr/share/doc/libghc-smtlib-doc/html/SMTLib2-Array.html
/usr/share/doc/libghc-smtlib-doc/html/SMTLib2-BitVector.html
/usr/share/doc/libghc-smtlib-doc/html/SMTLib2-Compat1.html
/usr/share/doc/libghc-smtlib-doc/html/SMTLib2-Core.html
/usr/share/doc/libghc-smtlib-doc/html/SMTLib2-Int.html
/usr/share/doc/libghc-smtlib-doc/html/SMTLib2.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-46.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-61.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-A.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-All.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-B.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-C.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-D.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-E.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-F.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-G.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-I.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-L.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-N.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-O.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-P.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-Q.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-R.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-S.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-T.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-U.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-V.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-X.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-Z.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index.html
/usr/share/doc/libghc-smtlib-doc/html/haddock-bundle.min.js
/usr/share/doc/libghc-smtlib-doc/html/index.html
/usr/share/doc/libghc-smtlib-doc/html/linuwial.css
/usr/share/doc/libghc-smtlib-doc/html/meta.json
/usr/share/doc/libghc-smtlib-doc/html/quick-jump.css
/usr/share/doc/libghc-smtlib-doc/html/smtLib.txt
/usr/share/doc/libghc-smtlib-doc/html/src/SMTLib1.AST.html
/usr/share/doc/libghc-smtlib-doc/html/src/SMTLib1.PP.html
/usr/share/doc/libghc-smtlib-doc/html/src/SMTLib1.QF_AUFBV.html
/usr/share/doc/libghc-smtlib-doc/html/src/SMTLib1.QF_BV.html
/usr/share/doc/libghc-smtlib-doc/html/src/SMTLib1.html
/usr/share/doc/libghc-smtlib-doc/html/src/SMTLib2.AST.html
/usr/share/doc/libghc-smtlib-doc/html/src/SMTLib2.Array.html
/usr/share/doc/libghc-smtlib-doc/html/src/SMTLib2.BitVector.html
/usr/share/doc/libghc-smtlib-doc/html/src/SMTLib2.Compat1.html
/usr/share/doc/libghc-smtlib-doc/html/src/SMTLib2.Core.html
/usr/share/doc/libghc-smtlib-doc/html/src/SMTLib2.Int.html
/usr/share/doc/libghc-smtlib-doc/html/src/SMTLib2.PP.html
/usr/share/doc/libghc-smtlib-doc/html/src/SMTLib2.html
/usr/share/doc/libghc-smtlib-doc/html/src/highlight.js
/usr/share/doc/libghc-smtlib-doc/html/src/style.css
/usr/share/doc/libghc-smtlib-doc/html/synopsis.png