Content of RPM ghc-copilot-theorem-doc-3.19.1-2.fc41.noarch.rpm :
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/Copilot-Theorem-Kind2-Prover.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/Copilot-Theorem-Kind2.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/Copilot-Theorem-Prove.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/Copilot-Theorem-Prover-SMT.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/Copilot-Theorem-What4.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/Copilot-Theorem.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/copilot-theorem.haddock
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/copilot-theorem.txt
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/doc-index.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/haddock-bundle.min.js
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/index.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/linuwial.css
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/meta.json
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/quick-jump.css
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.IL.PrettyPrint.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.IL.Spec.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.IL.Transform.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.IL.Translate.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.IL.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.Kind2.AST.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.Kind2.Output.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.Kind2.PrettyPrint.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.Kind2.Prover.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.Kind2.Translate.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.Kind2.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.Misc.Error.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.Misc.SExpr.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.Misc.Utils.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.Prove.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.Prover.Backend.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.Prover.SMT.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.Prover.SMTIO.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.Prover.SMTLib.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.Prover.TPTP.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.Tactics.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.TransSys.Cast.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.TransSys.Invariants.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.TransSys.Operators.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.TransSys.PrettyPrint.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.TransSys.Renaming.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.TransSys.Spec.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.TransSys.Transform.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.TransSys.Translate.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.TransSys.Type.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.TransSys.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.What4.Translate.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.What4.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/highlight.js
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/style.css
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/synopsis.png
/usr/share/licenses/ghc-copilot-theorem-doc
/usr/share/licenses/ghc-copilot-theorem-doc/LICENSE