Wed, 27 Nov 2024 14:33:09 CST | login

Information for RPM ghc-idris-doc-1.3.4-1.ocs23.noarch.rpm

ID139657
Nameghc-idris-doc
Version1.3.4
Release1.ocs23
Epoch
Archnoarch
SummaryHaskell idris library documentation
DescriptionThis package provides the Haskell idris library documentation.
Build Time2024-07-22 04:19:38 GMT
Size2.91 MB
385aaf96c9b639480044de73156dfdea
LicenseBSD-3-Clause
Buildrootdist-ocs23-epol9-build-214504-15918
Provides
ghc-idris-doc = 1.3.4-1.ocs23
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(PayloadIsXz) <= 5.2-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
Page:
1 through 50 of 326 >>>
Name ascending sort Size
/usr/share/doc/ghc/html/libraries/idris-1.3.40.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/CHANGELOG.md55.03 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/CITATION.md809.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/CONTRIBUTING.md7.80 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/CONTRIBUTORS3.26 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/IRTS-Bytecode.html18.65 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/IRTS-CodegenC.html1.96 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/IRTS-CodegenCommon.html18.13 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/IRTS-CodegenJavaScript.html4.31 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/IRTS-Compiler.html3.45 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/IRTS-Defunctionalise.html37.88 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/IRTS-DumpBC.html4.00 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/IRTS-Exports.html2.38 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/IRTS-Inliner.html2.80 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/IRTS-JavaScript-AST.html26.55 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/IRTS-JavaScript-Codegen.html8.79 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/IRTS-JavaScript-LangTransforms.html29.98 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/IRTS-JavaScript-Name.html12.36 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/IRTS-JavaScript-PrimOp.html8.01 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/IRTS-JavaScript-Specialize.html4.09 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/IRTS-Lang.html129.62 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/IRTS-LangOpts.html2.14 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/IRTS-Portable.html47.69 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/IRTS-Simplified.html14.35 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/IRTS-System.html4.13 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-ASTUtils.html17.07 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-AbsSyntax.html157.70 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-AbsSyntaxTree.html698.30 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Apropos.html3.65 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-CaseSplit.html6.51 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Chaser.html7.62 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-CmdOptions.html8.36 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Colours.html31.28 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Completion.html3.19 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Core-Binary.html20.21 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Core-CaseTree.html67.46 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Core-Constraints.html2.49 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Core-DeepSeq.html30.00 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Core-Elaborate.html95.51 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Core-Evaluate.html154.40 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Core-Execute.html2.10 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Core-ProofState.html25.63 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Core-ProofTerm.html17.05 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Core-TT.html550.61 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Core-Typecheck.html10.26 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Core-Unify.html12.30 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Core-WHNF.html5.23 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Coverage.html6.16 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-DSL.html2.65 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-DataOpts.html2.00 KB
Component of No Buildroots