Sat, 01 Jun 2024 12:19:54 UTC | login

Information for RPM ghc-idris-doc-1.3.2-3.fc33.noarch.rpm

ID608901
Nameghc-idris-doc
Version1.3.2
Release3.fc33
Epoch
Archnoarch
SummaryHaskell idris library documentation
DescriptionThis package provides the Haskell idris library documentation.
Build Time2020-05-09 20:18:41 GMT
Size2.08 MB
476e68c9b63dbab4392e547f706fbe5c
LicenseBSD
Buildrootf33-build-211890-48405
Provides
ghc-idris-doc = 1.3.2-3.fc33
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
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 313 >>>
Name ascending sort Size
/usr/share/doc/ghc/html/libraries/idris-1.3.20.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.2/CHANGELOG.md54.79 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/CITATION.md808.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.2/CONTRIBUTING.md7.79 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/CONTRIBUTORS3.26 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/IRTS-Bytecode.html18.18 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/IRTS-CodegenC.html1.75 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/IRTS-CodegenCommon.html17.49 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/IRTS-CodegenJavaScript.html3.96 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/IRTS-Compiler.html3.24 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/IRTS-Defunctionalise.html37.19 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/IRTS-DumpBC.html3.79 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/IRTS-Exports.html2.17 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/IRTS-Inliner.html2.59 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/IRTS-JavaScript-AST.html25.99 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/IRTS-JavaScript-Codegen.html8.44 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/IRTS-JavaScript-LangTransforms.html29.42 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/IRTS-JavaScript-Name.html11.87 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/IRTS-JavaScript-PrimOp.html7.66 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/IRTS-JavaScript-Specialize.html3.88 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/IRTS-Lang.html127.11 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/IRTS-LangOpts.html1.93 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/IRTS-Portable.html47.42 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/IRTS-Simplified.html13.74 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/IRTS-System.html3.92 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/Idris-ASTUtils.html16.62 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/Idris-AbsSyntax.html157.50 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/Idris-AbsSyntaxTree.html688.14 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/Idris-Apropos.html3.44 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/Idris-CaseSplit.html6.29 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/Idris-Chaser.html7.27 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/Idris-CmdOptions.html8.15 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/Idris-Colours.html30.61 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/Idris-Completion.html2.98 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/Idris-Core-Binary.html19.94 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/Idris-Core-CaseTree.html66.46 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/Idris-Core-Constraints.html2.27 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/Idris-Core-DeepSeq.html29.72 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/Idris-Core-Elaborate.html95.17 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/Idris-Core-Evaluate.html152.55 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/Idris-Core-Execute.html1.89 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/Idris-Core-ProofState.html25.16 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/Idris-Core-ProofTerm.html16.70 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/Idris-Core-TT.html545.73 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/Idris-Core-Typecheck.html9.92 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/Idris-Core-Unify.html11.81 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/Idris-Core-WHNF.html4.89 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/Idris-Coverage.html5.95 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/Idris-DSL.html2.44 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.2/Idris-DataOpts.html1.79 KB
Component of No Buildroots