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

ghc-copilot-theorem-doc-4.1-1.fc43 RPM for noarch

From Fedora Rawhide for s390x / g

Name: ghc-copilot-theorem-doc Distribution: Fedora Project
Version: 4.1 Vendor: Fedora Project
Release: 1.fc43 Build date: Sat Apr 12 17:22:25 2025
Group: Unspecified Build host: buildhw-x86-03.iad2.fedoraproject.org
Size: 3987565 Source RPM: ghc-copilot-theorem-4.1-1.fc43.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

* Sun Mar 30 2025 Jens Petersen <petersen@redhat.com> - 4.1-1
  - https://hackage.haskell.org/package/copilot-theorem-4.1/changelog
* Sun Mar 30 2025 Jens Petersen <petersen@redhat.com> - 3.19.1-4
  - refresh to cabal-rpm-2.3.0
* Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 3.19.1-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
* 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-4.1
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/Copilot-Theorem-Kind2-Prover.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/Copilot-Theorem-Kind2.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/Copilot-Theorem-Prove.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/Copilot-Theorem-Prover-SMT.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/Copilot-Theorem-What4.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/Copilot-Theorem.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/copilot-theorem.haddock
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/copilot-theorem.txt
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/doc-index.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/haddock-bundle.min.js
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/index.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/linuwial.css
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/meta.json
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/quick-jump.css
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/src
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/src/Copilot.Theorem.IL.PrettyPrint.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/src/Copilot.Theorem.IL.Spec.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/src/Copilot.Theorem.IL.Transform.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/src/Copilot.Theorem.IL.Translate.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/src/Copilot.Theorem.IL.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/src/Copilot.Theorem.Kind2.AST.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/src/Copilot.Theorem.Kind2.Output.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/src/Copilot.Theorem.Kind2.PrettyPrint.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/src/Copilot.Theorem.Kind2.Prover.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/src/Copilot.Theorem.Kind2.Translate.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/src/Copilot.Theorem.Kind2.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/src/Copilot.Theorem.Misc.Error.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/src/Copilot.Theorem.Misc.SExpr.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/src/Copilot.Theorem.Misc.Utils.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/src/Copilot.Theorem.Prove.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/src/Copilot.Theorem.Prover.Backend.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/src/Copilot.Theorem.Prover.SMT.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/src/Copilot.Theorem.Prover.SMTIO.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/src/Copilot.Theorem.Prover.SMTLib.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/src/Copilot.Theorem.Prover.TPTP.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/src/Copilot.Theorem.Tactics.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/src/Copilot.Theorem.TransSys.Cast.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/src/Copilot.Theorem.TransSys.Invariants.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/src/Copilot.Theorem.TransSys.Operators.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/src/Copilot.Theorem.TransSys.PrettyPrint.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/src/Copilot.Theorem.TransSys.Renaming.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/src/Copilot.Theorem.TransSys.Spec.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/src/Copilot.Theorem.TransSys.Transform.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/src/Copilot.Theorem.TransSys.Translate.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/src/Copilot.Theorem.TransSys.Type.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/src/Copilot.Theorem.TransSys.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/src/Copilot.Theorem.What4.Translate.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/src/Copilot.Theorem.What4.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/src/Copilot.Theorem.html
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/src/highlight.js
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.1/src/style.css
/usr/share/doc/ghc/html/libraries/copilot-theorem-4.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, Sat Apr 26 02:41:41 2025