RPM Fedora 34 ghc-idris-doc 1.3.3 noarch rpm

ghc-idris-doc rpm build for : Fedora 34. For other distributions click ghc-idris-doc.

Name : ghc-idris-doc
Version : 1.3.3	Vendor : Fedora Project
Release : 3.fc34	Date : 2021-01-27 01:27:36
Group : Unspecified	Source RPM : idris-1.3.3-3.fc34.src.rpm
Size : 47.64 MB
Packager : Fedora Project
Summary : Haskell idris library documentation
Description : This package provides the Haskell idris library documentation.
RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/34/Everything/aarch64/os/Packages/g

Content of RPM Changelog Provides Requires

Download
ftp.icm.edu.pl ghc-idris-doc-1.3.3-3.fc34.noarch.rpm

Provides :
ghc-idris-doc

Requires :

rpmlib(CompressedFileNames) <= 3.0.4-1

rpmlib(FileDigests) <= 4.6.0-1

rpmlib(PayloadFilesHavePrefix) <= 4.0-1

rpmlib(PayloadIsZstd) <= 5.4.18-1

Content of RPM :
/usr/share/doc/ghc
/usr/share/doc/ghc/html
/usr/share/doc/ghc/html/libraries
/usr/share/doc/ghc/html/libraries/idris-1.3.3
/usr/share/doc/ghc/html/libraries/idris-1.3.3/CHANGELOG.md
/usr/share/doc/ghc/html/libraries/idris-1.3.3/CITATION.md
/usr/share/doc/ghc/html/libraries/idris-1.3.3/CONTRIBUTING.md
/usr/share/doc/ghc/html/libraries/idris-1.3.3/CONTRIBUTORS
/usr/share/doc/ghc/html/libraries/idris-1.3.3/IRTS-Bytecode.html
/usr/share/doc/ghc/html/libraries/idris-1.3.3/IRTS-CodegenC.html
/usr/share/doc/ghc/html/libraries/idris-1.3.3/IRTS-CodegenCommon.html
/usr/share/doc/ghc/html/libraries/idris-1.3.3/IRTS-CodegenJavaScript.html
/usr/share/doc/ghc/html/libraries/idris-1.3.3/IRTS-Compiler.html
/usr/share/doc/ghc/html/libraries/idris-1.3.3/IRTS-Defunctionalise.html
/usr/share/doc/ghc/html/libraries/idris-1.3.3/IRTS-DumpBC.html
/usr/share/doc/ghc/html/libraries/idris-1.3.3/IRTS-Exports.html
/usr/share/doc/ghc/html/libraries/idris-1.3.3/IRTS-Inliner.html
/usr/share/doc/ghc/html/libraries/idris-1.3.3/IRTS-JavaScript-AST.html
/usr/share/doc/ghc/html/libraries/idris-1.3.3/IRTS-JavaScript-Codegen.html
/usr/share/doc/ghc/html/libraries/idris-1.3.3/IRTS-JavaScript-LangTransforms.html
/usr/share/doc/ghc/html/libraries/idris-1.3.3/IRTS-JavaScript-Name.html
/usr/share/doc/ghc/html/libraries/idris-1.3.3/IRTS-JavaScript-PrimOp.html
/usr/share/doc/ghc/html/libraries/idris-1.3.3/IRTS-JavaScript-Specialize.html
/usr/share/doc/ghc/html/libraries/idris-1.3.3/IRTS-Lang.html
/usr/share/doc/ghc/html/libraries/idris-1.3.3/IRTS-LangOpts.html
/usr/share/doc/ghc/html/libraries/idris-1.3.3/IRTS-Portable.html
/usr/share/doc/ghc/html/libraries/idris-1.3.3/IRTS-Simplified.html
/usr/share/doc/ghc/html/libraries/idris-1.3.3/IRTS-System.html
/usr/share/doc/ghc/html/libraries/idris-1.3.3/Idris-ASTUtils.html
/usr/share/doc/ghc/html/libraries/idris-1.3.3/Idris-AbsSyntax.html
There is 299 files more in these RPM.