Sun, 15 Nov 2026 04:17:43 UTC Log in

ghc-idris-devel-1.3.4-27.fc45.riscv64.rpm

riscv64
Haskell idris library development files 12.26 MB built 2026-10-14 13:07:10 GMT
Build 5252

Description

This package provides the Haskell idris library development files.

Dependencies

56 total
Requires51
  • ghc-compiler = 9.10.3
  • ghc-devel(aeson-2.2.3.0-8JywNx21WwfJj8dkPmCJKP)
  • ghc-devel(annotated-wl-pprint-0.7.0-CEJwBwkWsLFJBAb0umuR8B)
  • ghc-devel(ansi-terminal-1.1.5-FszpEGPXnXp6vXauWXuziW)
  • ghc-devel(ansi-wl-pprint-1.0.2-1lePIqjagQuAcROIEZ8fMo)
  • ghc-devel(array-0.5.8.0-inplace)
  • ghc-devel(async-2.2.6-660H6DETTCx6ZQbhx08rV4)
  • ghc-devel(base-4.20.2.0-inplace)
  • ghc-devel(base64-bytestring-1.2.1.0-BPFkMWlpgwpJISb0x2g4QI)
  • ghc-devel(binary-0.8.9.3-inplace)
  • ghc-devel(blaze-html-0.9.2.0-AjWIe2A9KqK2Y439LJeepX)
  • ghc-devel(blaze-markup-0.8.3.0-3jQm0Z6GS6x3KlvAaUyaT1)
  • ghc-devel(bytestring-0.12.2.0-inplace)
  • ghc-devel(cheapskate-0.1.1.2-Gk9p03QsNGB1ojlEChOhhl)
  • ghc-devel(code-page-0.2.1-5vkfKrPWKGrLph0Zz1S6hT)
  • ghc-devel(containers-0.7-inplace)
  • ghc-devel(deepseq-1.5.0.0-inplace)
  • ghc-devel(directory-1.3.8.5-inplace)
  • ghc-devel(filepath-1.5.4.0-inplace)
  • ghc-devel(fingertree-0.1.6.3-7cOBGBbD88tC7C10yEtWsV)
  • ghc-devel(fsnotify-0.4.4.0-B3Q8ncSq0rP8bsCqwRIx57)
  • ghc-devel(haskeline-0.8.2.1-inplace)
  • ghc-devel(ieee754-0.8.0-LjLHVAK5VgZ5GVZZutKcrh)
  • ghc-devel(libffi-0.2.1-Itu7RG8attsK1PXWGlHo8n)
  • ghc-devel(megaparsec-9.7.0-2e0P10WYg6sFAopCp2ZI0v)
  • ghc-devel(mtl-2.3.1-inplace)
  • ghc-devel(network-3.2.8.0-EpoT6TF40y6Dph5NPnICp)
  • ghc-devel(optparse-applicative-0.18.1.0-Iq0oheH6rmaCLXdOmEbtV3)
  • ghc-devel(parser-combinators-1.3.1-87UrKtsUjWoBaxxXdg6KX8)
  • ghc-devel(pretty-1.1.3.6-inplace)
  • ghc-devel(process-1.6.26.1-inplace)
  • ghc-devel(regex-tdfa-1.3.2.5-2CPeyTME1oRilQvsdoww2)
  • ghc-devel(safe-0.3.21-7nQlLgj4WAFA1yh7GNSY9e)
  • ghc-devel(split-0.2.5-4FAAZ89dwa5MeHGWTCEHH)
  • ghc-devel(terminal-size-0.3.4-5WYBur9DpX11M4bzu1zwp9)
  • ghc-devel(text-2.1.3-inplace)
  • ghc-devel(time-1.12.2-inplace)
  • ghc-devel(transformers-0.6.1.1-inplace)
  • ghc-devel(uniplate-1.6.13-10n9Md8f1CxLrdUFhzRrO0)
  • ghc-devel(unix-2.8.7.0-inplace)
  • ghc-devel(unordered-containers-0.2.20.1-L6NxKsF2RqAJYXFlD8aPdL)
  • ghc-devel(utf8-string-1.0.2-4QgsVolsKRD9VpNbFUYpVs)
  • ghc-devel(vector-0.13.2.0-IcEG6qxpVPV6k6ubVJ8elJ)
  • ghc-devel(vector-binary-instances-0.2.5.2-GIUpKb5BKWy1thm7V6VKvL)
  • ghc-devel(zip-archive-0.4.3.2-Co0KTRQW5B7K6nnuGfZrbx)
  • ghc-idris(riscv-64) = 1.3.4-27.fc45
  • gmp-devel(riscv-64)
  • rpmlib(CompressedFileNames) <= 3.0.4-1
  • rpmlib(FileDigests) <= 4.6.0-1
  • rpmlib(PayloadFilesHavePrefix) <= 4.0-1
  • rpmlib(PayloadIsZstd) <= 5.4.18-1
Provides5
  • ghc-devel(idris-1.3.4-GMSDsHJgqgB8OXk1PNDka9)
  • ghc-idris-devel = 1.3.4-27.fc45
  • ghc-idris-devel(riscv-64) = 1.3.4-27.fc45
  • ghc-idris-static = 1.3.4-27.fc45
  • ghc-idris-static(riscv-64) = 1.3.4-27.fc45
ObsoletesNo Obsoletes
ConflictsNo Conflicts
RecommendsNo Recommends
SuggestsNo Suggests
SupplementsNo Supplements
EnhancesNo Enhances

Files

243
Name ascending sort Size
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4 0.00 B
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/BuildFlags_idris.dyn_hi 1.18 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/BuildFlags_idris.hi 1.18 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS 0.00 B
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS/Bytecode.dyn_hi 20.67 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS/Bytecode.hi 20.67 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS/CodegenC.dyn_hi 10.26 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS/CodegenC.hi 10.26 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS/CodegenCommon.dyn_hi 16.27 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS/CodegenCommon.hi 16.27 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS/CodegenJavaScript.dyn_hi 12.84 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS/CodegenJavaScript.hi 12.83 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS/Compiler.dyn_hi 22.11 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS/Compiler.hi 22.11 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS/Defunctionalise.dyn_hi 37.00 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS/Defunctionalise.hi 37.00 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS/DumpBC.dyn_hi 11.79 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS/DumpBC.hi 11.79 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS/Exports.dyn_hi 8.73 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS/Exports.hi 8.72 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS/Inliner.dyn_hi 3.71 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS/Inliner.hi 3.71 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS/JavaScript 0.00 B
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS/JavaScript/AST.dyn_hi 46.07 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS/JavaScript/AST.hi 46.06 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS/JavaScript/Codegen.dyn_hi 25.66 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS/JavaScript/Codegen.hi 25.66 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS/JavaScript/LangTransforms.dyn_hi 76.71 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS/JavaScript/LangTransforms.hi 76.71 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS/JavaScript/Name.dyn_hi 15.09 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS/JavaScript/Name.hi 15.09 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS/JavaScript/PrimOp.dyn_hi 121.68 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS/JavaScript/PrimOp.hi 121.68 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS/JavaScript/Specialize.dyn_hi 17.98 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS/JavaScript/Specialize.hi 17.98 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS/Lang.dyn_hi 149.92 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS/Lang.hi 149.92 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS/LangOpts.dyn_hi 4.75 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS/LangOpts.hi 4.74 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS/Portable.dyn_hi 160.85 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS/Portable.hi 160.85 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS/Simplified.dyn_hi 16.87 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS/Simplified.hi 16.87 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS/System.dyn_hi 14.21 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/IRTS/System.hi 14.21 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/Idris 0.00 B
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/Idris/ASTUtils.dyn_hi 21.76 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/Idris/ASTUtils.hi 21.75 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/Idris/AbsSyntax.dyn_hi 376.08 KB
/usr/lib64/ghc-9.10.3/lib/idris-1.3.4/Idris/AbsSyntax.hi 376.08 KB
Files 1–50 of 243 Next →
of 5

Component of

buildroots that installed this RPM

No Buildroots