Fri, 07 Jun 2024 03:11:28 UTC | login

Information for RPM ghc-idris-devel-1.3.2-3.fc33.riscv64.rpm

ID608900
Nameghc-idris-devel
Version1.3.2
Release3.fc33
Epoch
Archriscv64
SummaryHaskell idris library development files
DescriptionThis package provides the Haskell idris library development files.
Build Time2020-05-09 20:18:41 GMT
Size20.86 MB
767bba28d48ca1083e7688b766e236fe
LicenseBSD
Buildrootf33-build-211890-48405
Provides
ghc-devel(idris-1.3.2-2ldiaeMBIIHBX3toIIaO9B)
ghc-idris-devel = 1.3.2-3.fc33
ghc-idris-devel(riscv-64) = 1.3.2-3.fc33
ghc-idris-static = 1.3.2-3.fc33
ghc-idris-static(riscv-64) = 1.3.2-3.fc33
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
/bin/sh
/bin/sh
ghc-compiler = 8.6.5
ghc-devel(aeson-1.4.6.0-EfauYi1YfNcJd4flo0vgh7)
ghc-devel(annotated-wl-pprint-0.7.0-DGkZQ2VEej1K9q8cmlJu7D)
ghc-devel(ansi-terminal-0.9.1-KAtSkkD7GHFKoP9eT8kWXE)
ghc-devel(ansi-wl-pprint-0.6.9-Cz5pneQ8Hse3VAFYZHVfdH)
ghc-devel(array-0.5.3.0)
ghc-devel(async-2.2.2-izpvdmZWvvDzxTFdUgkXg)
ghc-devel(base-4.12.0.0)
ghc-devel(base64-bytestring-1.0.0.3-DZoGyDc1Y1uBTlnne7XqNA)
ghc-devel(binary-0.8.6.0)
ghc-devel(blaze-html-0.9.1.2-J20JWCD2FKk8MCNGBN7MhE)
ghc-devel(blaze-markup-0.8.2.3-ATcS0IRQcDMCxhB8vW9N1d)
ghc-devel(bytestring-0.10.8.2)
ghc-devel(cheapskate-0.1.1.2-FQEzPUDk73XCOnwXrgjcGt)
ghc-devel(code-page-0.2-3TjNtc9lu3RJN6poyFdQXs)
ghc-devel(containers-0.6.0.1)
ghc-devel(deepseq-1.4.4.0)
ghc-devel(directory-1.3.3.0)
ghc-devel(filepath-1.4.2.1)
ghc-devel(fingertree-0.1.4.2-3y9RCeoabqFEsIFOGn6xXZ)
ghc-devel(fsnotify-0.3.0.1-827m3QZNlpE8gdjF0yj8M4)
ghc-devel(haskeline-0.7.4.3)
ghc-devel(ieee754-0.8.0-IfCS1Dp7pQVIOQRslM6kD)
ghc-devel(libffi-0.1-B7BBBCt8Sd58IwpXe6mL8r)
ghc-devel(megaparsec-7.0.5-KsE7yKyKzP7AXPLp6NyGnD)
ghc-devel(mtl-2.2.2)
ghc-devel(network-2.8.0.1-Hmt657UE3v349uYmvUXEvW)
ghc-devel(optparse-applicative-0.14.3.0-H90Ww0R6ilm7TO57dxGPV2)
ghc-devel(parser-combinators-1.1.0-38c2Lee1g7D9AI3U94rozi)
ghc-devel(pretty-1.1.3.6)
ghc-devel(process-1.6.5.0)
ghc-devel(regex-tdfa-1.2.3.2-24BpKmE04Wg88SsVhgqjyZ)
ghc-devel(safe-0.3.18-LtdH37oJsulDSBmeOJDMc3)
ghc-devel(split-0.2.3.3-6n1iQ0JLFvkeXvJXsAqQc)
ghc-devel(terminal-size-0.3.2.1-Hh6hFaOyLfiJ6x0AenX2yY)
ghc-devel(text-1.2.3.1)
ghc-devel(time-1.8.0.2)
ghc-devel(transformers-0.5.6.2)
ghc-devel(uniplate-1.6.12-Dv7wj50u93mBdwYXyT04BE)
ghc-devel(unix-2.7.2.2)
ghc-devel(unordered-containers-0.2.10.0-KQjsr7xKC1WHxfEOZ1c65w)
ghc-devel(utf8-string-1.0.1.1-Geq8jdOv4Q3LkcQoEOWDVv)
ghc-devel(vector-0.12.1.2-FUpUeiQkfYKL48Uq1yWMoF)
ghc-devel(vector-binary-instances-0.2.5.1-COZxSBqvgb91dMG3kRxRkw)
ghc-devel(zip-archive-0.4.1-8cIOUXhPjj521QgW2bkCBq)
ghc-idris(riscv-64) = 1.3.2-3.fc33
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
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
Page:
1 through 50 of 243 >>>
Name ascending sort Size
/usr/lib64/ghc-8.6.5/idris-1.3.20.00 B
/usr/lib64/ghc-8.6.5/idris-1.3.2/BuildFlags_idris.dyn_hi1.46 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/BuildFlags_idris.hi1.45 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS0.00 B
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/Bytecode.dyn_hi30.42 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/Bytecode.hi30.40 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/CodegenC.dyn_hi10.79 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/CodegenC.hi10.77 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/CodegenCommon.dyn_hi23.53 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/CodegenCommon.hi23.52 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/CodegenJavaScript.dyn_hi21.13 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/CodegenJavaScript.hi21.12 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/Compiler.dyn_hi30.89 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/Compiler.hi30.88 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/Defunctionalise.dyn_hi57.14 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/Defunctionalise.hi57.13 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/DumpBC.dyn_hi13.10 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/DumpBC.hi13.09 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/Exports.dyn_hi14.99 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/Exports.hi14.98 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/Inliner.dyn_hi3.95 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/Inliner.hi3.94 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/JavaScript0.00 B
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/JavaScript/AST.dyn_hi83.51 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/JavaScript/AST.hi83.50 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/JavaScript/Codegen.dyn_hi35.02 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/JavaScript/Codegen.hi35.00 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/JavaScript/LangTransforms.dyn_hi120.28 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/JavaScript/LangTransforms.hi120.27 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/JavaScript/Name.dyn_hi21.47 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/JavaScript/Name.hi21.46 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/JavaScript/PrimOp.dyn_hi142.09 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/JavaScript/PrimOp.hi142.08 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/JavaScript/Specialize.dyn_hi27.56 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/JavaScript/Specialize.hi27.54 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/Lang.dyn_hi202.16 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/Lang.hi202.15 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/LangOpts.dyn_hi5.08 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/LangOpts.hi5.07 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/Portable.dyn_hi135.36 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/Portable.hi135.35 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/Simplified.dyn_hi22.78 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/Simplified.hi22.77 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/System.dyn_hi15.22 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/System.hi15.21 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris0.00 B
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/ASTUtils.dyn_hi29.43 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/ASTUtils.hi29.42 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/AbsSyntax.dyn_hi474.56 KB
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/AbsSyntax.hi474.55 KB
Component of No Buildroots