INFO
Name: ghc-copilot-theorem-doc
Version: 3.19.1-2.el10_0
Arch: noarch
Summary: Haskell copilot-theorem library documentation
License: BSD-3-Clause
Vendor: Fedora Project
Build Host: buildvm-a64-13.iad2.fedoraproject.org
Build Date: Sat May 3 15:13:19 2025
Size: 3945946
URL: https://hackage.haskell.org/package/copilot-theorem
Description: This package provides the Haskell copilot-theorem library documentation.
FILES
/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
REQUIRES
ghc-filesystem
rpmlib(CompressedFileNames) 3.0.4-1
rpmlib(FileDigests) 4.6.0-1
rpmlib(PayloadFilesHavePrefix) 4.0-1
rpmlib(PayloadIsZstd) 5.4.18-1
PROVIDES
ghc-copilot-theorem-doc 3.19.1-2.el10_0
CONFIG FILES
/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 d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/Copilot-Theorem-Kind2.html d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/Copilot-Theorem-Prove.html d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/Copilot-Theorem-Prover-SMT.html d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/Copilot-Theorem-What4.html d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/Copilot-Theorem.html d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/copilot-theorem.haddock d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/copilot-theorem.txt d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/doc-index.html d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/haddock-bundle.min.js d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/index.html d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/linuwial.css d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/meta.json d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/quick-jump.css d
/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 d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.IL.Spec.html d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.IL.Transform.html d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.IL.Translate.html d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.IL.html d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.Kind2.AST.html d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.Kind2.Output.html d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.Kind2.PrettyPrint.html d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.Kind2.Prover.html d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.Kind2.Translate.html d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.Kind2.html d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.Misc.Error.html d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.Misc.SExpr.html d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.Misc.Utils.html d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.Prove.html d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.Prover.Backend.html d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.Prover.SMT.html d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.Prover.SMTIO.html d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.Prover.SMTLib.html d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.Prover.TPTP.html d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.Tactics.html d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.TransSys.Cast.html d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.TransSys.Invariants.html d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.TransSys.Operators.html d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.TransSys.PrettyPrint.html d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.TransSys.Renaming.html d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.TransSys.Spec.html d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.TransSys.Transform.html d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.TransSys.Translate.html d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.TransSys.Type.html d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.TransSys.html d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.What4.Translate.html d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.What4.html d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/Copilot.Theorem.html d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/highlight.js d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/src/style.css d
/usr/share/doc/ghc/html/libraries/copilot-theorem-3.19.1/synopsis.png d
/usr/share/licenses/ghc-copilot-theorem-doc
/usr/share/licenses/ghc-copilot-theorem-doc/LICENSE l
LICENSE FILES
BSD-3-Clause
|
