Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

ghc-copilot-theorem-doc-3.19.1-2.fc41 RPM for noarch

From Fedora 41 for x86_64 / g

Name: ghc-copilot-theorem-doc Distribution: Fedora Project
Version: 3.19.1 Vendor: Fedora Project
Release: 2.fc41 Build date: Thu Sep 26 20:16:29 2024
Group: Unspecified Build host: buildhw-x86-05.iad2.fedoraproject.org
Size: 3869671 Source RPM: ghc-copilot-theorem-3.19.1-2.fc41.src.rpm
Packager: Fedora Project
Url: https://hackage.haskell.org/package/copilot-theorem
Summary: Haskell copilot-theorem library documentation
 
This package provides the Haskell copilot-theorem library documentation.

Provides

Requires

License

BSD-3-Clause

Changelog

* Mon Sep 02 2024 Frank Dedden <frank@systemf.dev> - 3.19.1-1
  - spec file generated by cabal-rpm-2.2.1

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

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Oct 27 02:54:38 2024