ghc-copilot-theorem-doc-3.19.1-2.fc41

Date	Author	Change
2024-09-02	Frank Dedden <frank at systemf dot dev> - 3.19.1-1	- spec file generated by cabal-rpm-2.2.1

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

ghc-copilot-theorem-doc-3.19.1-2.fc41 in Fedora 41

Changelog

Dependencies

Provides

Files