ghc-idris-doc-1.3.3-6.20210626git2ef8238d0.fc35

Date	Author	Change
2021-08-22	Jens Petersen <petersen at redhat dot com> - 1.3.3-6.20210626git2ef8238d0	- update to latest git, which builds with ghc-8.10 (#1991878)
2021-08-06	Jens Petersen <petersen at redhat dot com> - 1.3.3-5	- rebuild
2021-07-22	Fedora Release Engineering <releng at fedoraproject dot org> - 1.3.3-4	- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
2021-01-26	Fedora Release Engineering <releng at fedoraproject dot org> - 1.3.3-3	- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
2020-08-10	Jens Petersen <petersen at redhat dot com> - 1.3.3-2	- setup bash completion
2020-07-28	Fedora Release Engineering <releng at fedoraproject dot org> - 1.3.3-2	- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
2020-06-10	Jens Petersen <petersen at redhat dot com> - 1.3.3-1	- update to 1.3.3
2020-02-20	Jens Petersen <petersen at redhat dot com> - 1.3.2-3	- refresh to cabal-rpm-2.0.2
2020-01-29	Fedora Release Engineering <releng at fedoraproject dot org> - 1.3.2-2	- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild

usr/
- share/
  - doc/
    - ghc/
      - html/
        
        libraries/
        
        idris-1.3.3/
        
        CHANGELOG.md
        
        CITATION.md
        
        CONTRIBUTING.md
        
        CONTRIBUTORS
        
        IRTS-Bytecode.html
        
        IRTS-CodegenC.html
        
        IRTS-CodegenCommon.html
        
        IRTS-CodegenJavaScript.html
        
        IRTS-Compiler.html
        
        IRTS-Defunctionalise.html
        
        IRTS-DumpBC.html
        
        IRTS-Exports.html
        
        IRTS-Inliner.html
        
        IRTS-JavaScript-AST.html
        
        IRTS-JavaScript-Codegen.html
        
        IRTS-JavaScript-LangTransforms.html
        
        IRTS-JavaScript-Name.html
        
        IRTS-JavaScript-PrimOp.html
        
        IRTS-JavaScript-Specialize.html
        
        IRTS-Lang.html
        
        IRTS-LangOpts.html
        
        IRTS-Portable.html
        
        IRTS-Simplified.html
        
        IRTS-System.html
        
        Idris-ASTUtils.html
        
        Idris-AbsSyntax.html
        
        Idris-AbsSyntaxTree.html
        
        Idris-Apropos.html
        
        Idris-CaseSplit.html
        
        Idris-Chaser.html
        
        Idris-CmdOptions.html
        
        Idris-Colours.html
        
        Idris-Completion.html
        
        Idris-Core-Binary.html
        
        Idris-Core-CaseTree.html
        
        Idris-Core-Constraints.html
        
        Idris-Core-DeepSeq.html
        
        Idris-Core-Elaborate.html
        
        Idris-Core-Evaluate.html
        
        Idris-Core-Execute.html
        
        Idris-Core-ProofState.html
        
        Idris-Core-ProofTerm.html
        
        Idris-Core-TT.html
        
        Idris-Core-Typecheck.html
        
        Idris-Core-Unify.html
        
        Idris-Core-WHNF.html
        
        Idris-Coverage.html
        
        Idris-DSL.html
        
        Idris-DataOpts.html
        
        Idris-DeepSeq.html
        
        Idris-Delaborate.html
        
        Idris-Directives.html
        
        Idris-Docs.html
        
        Idris-Docstrings.html
        
        Idris-Elab-AsPat.html
        
        Idris-Elab-Clause.html
        
        Idris-Elab-Data.html
        
        Idris-Elab-Implementation.html
        
        Idris-Elab-Interface.html
        
        Idris-Elab-Provider.html
        
        Idris-Elab-Quasiquote.html
        
        Idris-Elab-Record.html
        
        Idris-Elab-Rewrite.html
        
        Idris-Elab-RunElab.html
        
        Idris-Elab-Term.html
        
        Idris-Elab-Transform.html
        
        Idris-Elab-Type.html
        
        Idris-Elab-Utils.html
        
        Idris-Elab-Value.html
        
        Idris-ElabDecls.html
        
        Idris-Erasure.html
        
        Idris-ErrReverse.html
        
        Idris-Error.html
        
        Idris-Help.html
        
        Idris-IBC.html
        
        Idris-IdeMode.html
        
        Idris-IdrisDoc.html
        
        Idris-Imports.html
        
        Idris-Info-Show.html
        
        Idris-Info.html
        
        Idris-Inliner.html
        
        Idris-Interactive.html
        
        Idris-Main.html
        
        Idris-ModeCommon.html
        
        Idris-Options.html
        
        Idris-Output.html
        
        Idris-Package-Common.html
        
        Idris-Package-Parser.html
        
        Idris-Package.html
        
        Idris-Parser-Data.html
        
        Idris-Parser-Expr.html
        
        Idris-Parser-Helpers.html
        
        Idris-Parser-Ops.html
        
        Idris-Parser-Stack.html
        
        Idris-Parser.html
        
        Idris-PartialEval.html
        
        Idris-Primitives.html
        
        Idris-ProofSearch.html
        
        Idris-Prover.html
        
        Idris-Providers.html
        
        Idris-REPL-Browse.html
        
        Idris-REPL-Commands.html
        
        Idris-REPL-Parser.html
        
        Idris-REPL.html
        
        Idris-Reflection.html
        
        Idris-Termination.html
        
        Idris-Transforms.html
        
        Idris-TypeSearch.html
        
        Idris-Unlit.html
        
        Idris-WhoCalls.html
        
        README.md
        
        RELEASE-CHECKS.md
        
        Util-DynamicLinker.html
        
        Util-ScreenSize.html
        
        Util-System.html
        
        doc-index-95.html
        
        doc-index-A.html
        
        doc-index-All.html
        
        doc-index-B.html
        
        doc-index-C.html
        
        doc-index-D.html
        
        doc-index-E.html
        
        doc-index-F.html
        
        doc-index-G.html
        
        doc-index-H.html
        
        doc-index-I.html
        
        doc-index-J.html
        
        doc-index-K.html
        
        doc-index-L.html
        
        doc-index-M.html
        
        doc-index-N.html
        
        doc-index-O.html
        
        doc-index-P.html
        
        doc-index-Q.html
        
        doc-index-R.html
        
        doc-index-S.html
        
        doc-index-T.html
        
        doc-index-U.html
        
        doc-index-V.html
        
        doc-index-W.html
        
        doc-index-Z.html
        
        doc-index.html
        
        haddock-bundle.min.js
        
        idris-tutorial.pdf
        
        idris.haddock
        
        idris.txt
        
        index.html
        
        linuwial.css
        
        man/
        
        idris.1
        
        meta.json
        
        quick-jump.css
        
        samples/
        
        ST/
        
        Composite.idr
        
        Graphics/
        
        Draw.idr
        
        Turtle.idr
        
        Intro.idr
        
        Login.idr
        
        LoginCount.idr
        
        Net/
        
        EchoSimple.idr
        
        Network.idr
        
        RandServer.idr
        
        Threads.idr
        
        TreeTag.idr
        
        effects/
        
        ConsoleIO.idr
        
        Exception.idr
        
        Random.idr
        
        ReadInt.idr
        
        Select.idr
        
        TreeTag-noeff.idr
        
        TreeTag.idr
        
        TreeTagCount.idr
        
        hworld.idr
        
        vadd.idr
        
        misc/
        
        binary.idr
        
        interp-alt.idr
        
        interp.idr
        
        javaffi.idr
        
        named_implementation.lidr
        
        reflection.idr
        
        tutorial/
        
        BMain.idr
        
        BTree.idr
        
        BTreeMod.idr
        
        Foo.idr
        
        Hello.idr
        
        Idiom.idr
        
        Interfaces.idr
        
        Interp.idr
        
        LetBind.idr
        
        Prims.idr
        
        Record.idr
        
        Theorems.idr
        
        Universe.idr
        
        UsefulTypes.idr
        
        VBroken.idr
        
        Views.idr
        
        ViewsBroken.idr
        
        Wheres.idr
        
        src/
        
        BuildFlags_idris.html
        
        IRTS.Bytecode.html
        
        IRTS.CodegenC.html
        
        IRTS.CodegenCommon.html
        
        IRTS.CodegenJavaScript.html
        
        IRTS.Compiler.html
        
        IRTS.Defunctionalise.html
        
        IRTS.DumpBC.html
        
        IRTS.Exports.html
        
        IRTS.Inliner.html
        
        IRTS.JavaScript.AST.html
        
        IRTS.JavaScript.Codegen.html
        
        IRTS.JavaScript.LangTransforms.html
        
        IRTS.JavaScript.Name.html
        
        IRTS.JavaScript.PrimOp.html
        
        IRTS.JavaScript.Specialize.html
        
        IRTS.Lang.html
        
        IRTS.LangOpts.html
        
        IRTS.Portable.html
        
        IRTS.Simplified.html
        
        IRTS.System.html
        
        Idris.ASTUtils.html
        
        Idris.AbsSyntax.html
        
        Idris.AbsSyntaxTree.html
        
        Idris.Apropos.html
        
        Idris.CaseSplit.html
        
        Idris.Chaser.html
        
        Idris.CmdOptions.html
        
        Idris.Colours.html
        
        Idris.Completion.html
        
        Idris.Core.Binary.html
        
        Idris.Core.CaseTree.html
        
        Idris.Core.Constraints.html
        
        Idris.Core.DeepSeq.html
        
        Idris.Core.Elaborate.html
        
        Idris.Core.Evaluate.html
        
        Idris.Core.Execute.html
        
        Idris.Core.ProofState.html
        
        Idris.Core.ProofTerm.html
        
        Idris.Core.TT.html
        
        Idris.Core.Typecheck.html
        
        Idris.Core.Unify.html
        
        Idris.Core.WHNF.html
        
        Idris.Coverage.html
        
        Idris.DSL.html
        
        Idris.DataOpts.html
        
        Idris.DeepSeq.html
        
        Idris.Delaborate.html
        
        Idris.Directives.html
        
        Idris.Docs.html
        
        Idris.Docstrings.html
        
        Idris.Elab.AsPat.html
        
        Idris.Elab.Clause.html
        
        Idris.Elab.Data.html
        
        Idris.Elab.Implementation.html
        
        Idris.Elab.Interface.html
        
        Idris.Elab.Provider.html
        
        Idris.Elab.Quasiquote.html
        
        Idris.Elab.Record.html
        
        Idris.Elab.Rewrite.html
        
        Idris.Elab.RunElab.html
        
        Idris.Elab.Term.html
        
        Idris.Elab.Transform.html
        
        Idris.Elab.Type.html
        
        Idris.Elab.Utils.html
        
        Idris.Elab.Value.html
        
        Idris.ElabDecls.html
        
        Idris.Erasure.html
        
        Idris.ErrReverse.html
        
        Idris.Error.html
        
        Idris.Help.html
        
        Idris.IBC.html
        
        Idris.IdeMode.html
        
        Idris.IdrisDoc.html
        
        Idris.Imports.html
        
        Idris.Info.Show.html
        
        Idris.Info.html
        
        Idris.Inliner.html
        
        Idris.Interactive.html
        
        Idris.Main.html
        
        Idris.ModeCommon.html
        
        Idris.Options.html
        
        Idris.Output.html
        
        Idris.Package.Common.html
        
        Idris.Package.Parser.html
        
        Idris.Package.html
        
        Idris.Parser.Data.html
        
        Idris.Parser.Expr.html
        
        Idris.Parser.Helpers.html
        
        Idris.Parser.Ops.html
        
        Idris.Parser.Stack.html
        
        Idris.Parser.html
        
        Idris.PartialEval.html
        
        Idris.Primitives.html
        
        Idris.ProofSearch.html
        
        Idris.Prover.html
        
        Idris.Providers.html
        
        Idris.REPL.Browse.html
        
        Idris.REPL.Commands.html
        
        Idris.REPL.Parser.html
        
        Idris.REPL.html
        
        Idris.Reflection.html
        
        Idris.Termination.html
        
        Idris.Transforms.html
        
        Idris.TypeSearch.html
        
        Idris.Unlit.html
        
        Idris.WhoCalls.html
        
        Paths_idris.html
        
        Tools_idris.html
        
        Util.DynamicLinker.html
        
        Util.Net.html
        
        Util.Pretty.html
        
        Util.ScreenSize.html
        
        Util.System.html
        
        Version_idris.html
        
        highlight.js
        
        style.css
        
        synopsis.png
  - licenses/
    - ghc-idris-doc/
      - LICENSE

ghc-idris-doc-1.3.3-6.20210626git2ef8238d0.fc35 in Fedora 35

Changelog

Dependencies

Provides

Files