SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : ghc-idris-doc
Version : 1.3.4 Vendor : Fedora Project
Release : 12.fc39 Date : 2023-07-30 11:25:08
Group : Unspecified Source RPM : idris-1.3.4-12.fc39.src.rpm
Size : 48.33 MB
Packager : Fedora Project
Summary : Haskell idris library documentation
Description :
This package provides the Haskell idris library documentation.

RPM found in directory: /vol/rzm3/linux-fedora-buffet/fedora-secondary/releases/39/Everything/s390x/os/Packages/g

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ghc-idris-doc-1.3.4-12.fc39.noarch.rpm
ftp.icm.edu.pl  ghc-idris-doc-1.3.4-12.fc39.noarch.rpm
ftp.icm.edu.pl  ghc-idris-doc-1.3.4-12.fc39.noarch.rpm
ftp.icm.edu.pl  ghc-idris-doc-1.3.4-12.fc39.noarch.rpm
     

Provides :
ghc-idris-doc

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


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

  
ICM