Fri, 05 Jul 2024 20:34:31 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:
<<< 51 through 100 of 326 >>>
Name Size descending sort
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Docstrings.html308.84 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.IdeMode.html308.78 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.DSL.html301.07 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Package.html300.32 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.ElabDecls.html263.22 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Parser.Data.html259.47 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.CmdOptions.html254.74 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Core.Binary.html251.69 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Elab.Data.html249.86 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/idris.txt244.20 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Core.WHNF.html240.72 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Elab.Quasiquote.html239.25 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Elab.Rewrite.html218.03 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/IRTS.Simplified.html207.55 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Core.Constraints.html199.33 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Elab.Type.html198.08 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/idris.haddock189.58 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Main.html188.51 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/IRTS.JavaScript.AST.html188.27 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Chaser.html180.23 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Parser.Ops.html173.78 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Completion.html168.99 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Error.html164.13 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-AbsSyntax.html157.80 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Core-Evaluate.html154.50 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Options.html143.67 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/IRTS-Lang.html129.71 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Package.Parser.html123.06 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/IRTS.Bytecode.html118.45 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.DataOpts.html114.71 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Apropos.html105.10 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Imports.html104.31 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Options.html102.39 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.ModeCommon.html98.22 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Core-Elaborate.html95.62 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.WhoCalls.html94.38 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Directives.html91.52 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Elab.Value.html89.42 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/IRTS.Exports.html87.91 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Parser-Expr.html86.43 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/IRTS.DumpBC.html84.99 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Elab.Transform.html82.99 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.ASTUtils.html82.05 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Util.DynamicLinker.html80.98 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Transforms.html80.86 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Colours.html75.06 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Parser.Stack.html68.92 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/IRTS.JavaScript.LangTransforms.html68.72 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Core-CaseTree.html67.55 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-IBC.html63.77 KB
Component of No Buildroots