Packages
Builds
Tags
Build Targets
Users
Hosts
RPMs
Summary
Packages
Builds
Tasks
Tags
Build Targets
Users
Hosts
Reports
Search
API
Click here to visit the old openkoji buildsystem (Archived)
Information for RPM
ghc-idris-doc-1.3.4-14.fc41.noarch.rpm
ID
179986
Build
idris-1.3.4-14.fc41
Name
ghc-idris-doc
Version
1.3.4
Release
14.fc41
Epoch
Arch
noarch
Draft
False
Summary
Haskell idris library documentation
Description
This package provides the Haskell idris library documentation.
Build Time
2024-05-05 14:23:30 GMT
Size
2.41 MB
SIGMD5
50b45cfd6358e8443a965b504e964047
License
BSD-3-Clause
Buildroot
f41-build-177559-7966
Provides
ghc-idris-doc = 1.3.4-14.fc41
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
2
3
4
5
6
7
1 through 50 of 326
>>>
Name
Size
/usr/share/doc/ghc/html/libraries/idris-1.3.4
0.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/CHANGELOG.md
55.03 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/CITATION.md
809.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/CONTRIBUTING.md
7.80 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/CONTRIBUTORS
3.26 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/IRTS-Bytecode.html
18.65 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/IRTS-CodegenC.html
1.96 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/IRTS-CodegenCommon.html
18.13 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/IRTS-CodegenJavaScript.html
4.31 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/IRTS-Compiler.html
3.45 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/IRTS-Defunctionalise.html
37.88 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/IRTS-DumpBC.html
4.00 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/IRTS-Exports.html
2.38 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/IRTS-Inliner.html
2.80 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/IRTS-JavaScript-AST.html
26.55 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/IRTS-JavaScript-Codegen.html
8.79 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/IRTS-JavaScript-LangTransforms.html
29.98 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/IRTS-JavaScript-Name.html
12.36 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/IRTS-JavaScript-PrimOp.html
8.01 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/IRTS-JavaScript-Specialize.html
4.09 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/IRTS-Lang.html
129.62 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/IRTS-LangOpts.html
2.14 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/IRTS-Portable.html
47.69 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/IRTS-Simplified.html
14.35 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/IRTS-System.html
4.13 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-ASTUtils.html
17.07 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-AbsSyntax.html
157.70 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-AbsSyntaxTree.html
698.30 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Apropos.html
3.65 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-CaseSplit.html
6.51 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Chaser.html
7.62 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-CmdOptions.html
8.36 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Colours.html
31.28 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Completion.html
3.19 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Core-Binary.html
20.21 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Core-CaseTree.html
67.46 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Core-Constraints.html
2.49 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Core-DeepSeq.html
30.00 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Core-Elaborate.html
95.51 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Core-Evaluate.html
154.40 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Core-Execute.html
2.10 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Core-ProofState.html
25.63 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Core-ProofTerm.html
17.05 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Core-TT.html
550.61 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Core-Typecheck.html
10.26 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Core-Unify.html
12.30 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Core-WHNF.html
5.23 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-Coverage.html
6.16 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-DSL.html
2.65 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/Idris-DataOpts.html
2.00 KB
Component of
No Buildroots