File list of package libghc-copilot-theorem-doc in questing of architecture all

/usr/lib/ghc-doc/haddock/copilot-theorem-4.5/copilot-theorem.haddock
/usr/lib/ghc-doc/hoogle/libghc-copilot-theorem-doc.txt
/usr/share/doc/libghc-copilot-theorem-doc/changelog.Debian.gz
/usr/share/doc/libghc-copilot-theorem-doc/copyright
/usr/share/doc/libghc-copilot-theorem-doc/html/Copilot-Theorem-Kind2-Prover.html
/usr/share/doc/libghc-copilot-theorem-doc/html/Copilot-Theorem-Kind2.html
/usr/share/doc/libghc-copilot-theorem-doc/html/Copilot-Theorem-Prove.html
/usr/share/doc/libghc-copilot-theorem-doc/html/Copilot-Theorem-Prover-SMT.html
/usr/share/doc/libghc-copilot-theorem-doc/html/Copilot-Theorem-What4.html
/usr/share/doc/libghc-copilot-theorem-doc/html/Copilot-Theorem.html
/usr/share/doc/libghc-copilot-theorem-doc/html/copilot-theorem.txt
/usr/share/doc/libghc-copilot-theorem-doc/html/doc-index.html
/usr/share/doc/libghc-copilot-theorem-doc/html/haddock-bundle.min.js
/usr/share/doc/libghc-copilot-theorem-doc/html/index.html
/usr/share/doc/libghc-copilot-theorem-doc/html/linuwial.css
/usr/share/doc/libghc-copilot-theorem-doc/html/meta.json
/usr/share/doc/libghc-copilot-theorem-doc/html/quick-jump.css
/usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.IL.PrettyPrint.html
/usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.IL.Spec.html
/usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.IL.Transform.html
/usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.IL.Translate.html
/usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.IL.html
/usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Kind2.AST.html
/usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Kind2.Output.html
/usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Kind2.PrettyPrint.html
/usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Kind2.Prover.html
/usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Kind2.Translate.html
/usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Kind2.html
/usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Misc.Error.html
/usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Misc.SExpr.html
/usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Misc.Utils.html
/usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Prove.html
/usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Prover.Backend.html
/usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Prover.SMT.html
/usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Prover.SMTIO.html
/usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Prover.SMTLib.html
/usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Prover.TPTP.html
/usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.Tactics.html
/usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.TransSys.Cast.html
/usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.TransSys.Invariants.html
/usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.TransSys.Operators.html
/usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.TransSys.PrettyPrint.html
/usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.TransSys.Renaming.html
/usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.TransSys.Spec.html
/usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.TransSys.Transform.html
/usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.TransSys.Translate.html
/usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.TransSys.Type.html
/usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.TransSys.html
/usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.What4.Translate.html
/usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.What4.html
/usr/share/doc/libghc-copilot-theorem-doc/html/src/Copilot.Theorem.html
/usr/share/doc/libghc-copilot-theorem-doc/html/src/highlight.js
/usr/share/doc/libghc-copilot-theorem-doc/html/src/style.css
/usr/share/doc/libghc-copilot-theorem-doc/html/synopsis.png