File list of package libghc-simple-smt-doc in nabia of architecture all

/usr/lib/ghc-doc/haddock/simple-smt-0.9.1/simple-smt.haddock
/usr/lib/ghc-doc/hoogle/libghc-simple-smt-doc.txt
/usr/share/doc/libghc-simple-smt-doc/changelog.Debian.gz
/usr/share/doc/libghc-simple-smt-doc/copyright
/usr/share/doc/libghc-simple-smt-doc/html/SimpleSMT.html
/usr/share/doc/libghc-simple-smt-doc/html/doc-index.html
/usr/share/doc/libghc-simple-smt-doc/html/haddock-bundle.min.js
/usr/share/doc/libghc-simple-smt-doc/html/hslogo-16.png
/usr/share/doc/libghc-simple-smt-doc/html/index.html
/usr/share/doc/libghc-simple-smt-doc/html/meta.json
/usr/share/doc/libghc-simple-smt-doc/html/minus.gif
/usr/share/doc/libghc-simple-smt-doc/html/ocean.css
/usr/share/doc/libghc-simple-smt-doc/html/plus.gif
/usr/share/doc/libghc-simple-smt-doc/html/quick-jump.css
/usr/share/doc/libghc-simple-smt-doc/html/simple-smt.txt
/usr/share/doc/libghc-simple-smt-doc/html/synopsis.png
/usr/share/doc/libghc-simple-smt-doc/html/src/SimpleSMT.html
/usr/share/doc/libghc-simple-smt-doc/html/src/highlight.js
/usr/share/doc/libghc-simple-smt-doc/html/src/style.css