Wed, 03 Jul 2024 10:33:20 UTC | login

Information for RPM ghc-idris-doc-1.3.4-5.fc37.noarch.rpm

ID873498
Nameghc-idris-doc
Version1.3.4
Release5.fc37
Epoch
Archnoarch
SummaryHaskell idris library documentation
DescriptionThis package provides the Haskell idris library documentation.
Build Time2022-11-03 20:02:57 GMT
Size2.41 MB
492bc5a6337c716b105263998cbb45c7
LicenseBSD
Buildrootf37-build-664721-74155
Provides
ghc-idris-doc = 1.3.4-5.fc37
Obsoletes No Obsoletes
Conflicts No Conflicts
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
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
Page:
1 through 50 of 326 >>>
Name Size descending sort
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.AbsSyntaxTree.html2.53 MB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.AbsSyntax.html2.48 MB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Elab.Term.html2.28 MB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Core.TT.html1.97 MB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.REPL.html1.42 MB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Parser.html1.34 MB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Reflection.html1.21 MB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/IRTS.CodegenC.html1.19 MB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Core.Evaluate.html1.19 MB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Parser.Expr.html1.11 MB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Core.ProofState.html1.11 MB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Elab.Clause.html1.05 MB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.IBC.html888.24 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Delaborate.html870.15 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Core.CaseTree.html829.91 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Core.Elaborate.html819.11 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Core.Unify.html801.65 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Elab.Utils.html767.02 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Core.Execute.html740.20 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-AbsSyntaxTree.html698.32 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Primitives.html648.08 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/idris-tutorial.pdf628.25 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/IRTS.Compiler.html611.33 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Prover.html578.80 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Termination.html553.76 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Core-TT.html550.75 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/IRTS.JavaScript.Codegen.html547.63 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.IdrisDoc.html527.62 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.TypeSearch.html527.29 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/IRTS.Lang.html519.21 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/doc-index-All.html490.39 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Interactive.html474.38 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Elab.Implementation.html474.09 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Erasure.html453.96 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Elab.Interface.html443.20 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Coverage.html437.72 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.REPL.Parser.html430.30 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.CaseSplit.html426.87 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Output.html417.92 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Core.Typecheck.html411.78 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.ProofSearch.html402.00 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/IRTS.Portable.html388.65 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Core.ProofTerm.html385.61 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Elab.Record.html384.20 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/IRTS.JavaScript.PrimOp.html374.19 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Docs.html368.46 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/IRTS.LangOpts.html346.11 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Parser.Helpers.html342.21 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.PartialEval.html337.58 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/IRTS.Defunctionalise.html319.12 KB
Component of No Buildroots