Fri, 04 Oct 2024 15:21:42 UTC | login

Information for RPM ghc-Agda-prof-2.6.4.3-50.fc41.riscv64.rpm

ID1453933
Nameghc-Agda-prof
Version2.6.4.3
Release50.fc41
Epoch
Archriscv64
SummaryHaskell Agda profiling library
DescriptionThis package provides the Haskell Agda profiling library.
Build Time2024-09-20 21:56:21 GMT
Size69.94 MB
057ae96d4ffed71ae51a63024b994b1c
LicenseMIT AND BSD-3-Clause
Buildrootf41-build-850066-164932
Provides
ghc-Agda-prof = 2.6.4.3-50.fc41
ghc-Agda-prof(riscv-64) = 2.6.4.3-50.fc41
ghc-prof(Agda-2.6.4.3-KYNBucNbCc71BaBPKFcCa9)
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ghc-Agda-devel(riscv-64) = 2.6.4.3-50.fc41
ghc-prof(STMonadTrans-0.4.8-I6acHG1vpo014lWVFbt1Ow)
ghc-prof(aeson-2.1.2.1-yrpAYsmmzqClcLE6XK4Q7)
ghc-prof(ansi-terminal-1.0.2-BAf8I876hPhJFEtshgOsOs)
ghc-prof(array-0.5.6.0)
ghc-prof(async-2.2.5-GMWeTaoaded4Wz7DAkFLAR)
ghc-prof(base-4.18.2.1)
ghc-prof(binary-0.8.9.1)
ghc-prof(blaze-html-0.9.2.0-AWF2hkEdOLdIfSDbBomClQ)
ghc-prof(boxes-0.1.5-1BZ4VWntABL6pmzqamGJA8)
ghc-prof(bytestring-0.11.5.3)
ghc-prof(case-insensitive-1.2.1.0-Ig8WgaPQ5k4KQd4WU8lDCy)
ghc-prof(containers-0.6.7)
ghc-prof(data-hash-0.2.0.1-1C4EVdQanf6FeWnxYb8Ttu)
ghc-prof(deepseq-1.4.8.1)
ghc-prof(directory-1.3.8.5)
ghc-prof(dlist-1.0-7vDlnn0Hdvg35SyXLwMaWr)
ghc-prof(edit-distance-0.2.2.1-8dkjojky6bb1wovAKsZNKv)
ghc-prof(equivalence-0.4.1-DueK3dO2SMOGjFAaDQyGqy)
ghc-prof(exceptions-0.10.7)
ghc-prof(filepath-1.4.300.1)
ghc-prof(ghc-compact-0.1.0.0)
ghc-prof(gitrev-1.3.1-Hgj6OsBlk7sBP78WE2r3Dn)
ghc-prof(hashable-1.4.4.0-G2ZOstJIf88CQkCQLrODQe)
ghc-prof(haskeline-0.8.2.1)
ghc-prof(monad-control-1.0.3.1-EprGtcAOKGn9NqvyfagEjE)
ghc-prof(mtl-2.3.1)
ghc-prof(murmur-hash-0.1.0.10-58qZbDratG5CQKhLmUsNgp)
ghc-prof(parallel-3.2.2.0-4GFGhbl8Ae06nPoqdIyBUD)
ghc-prof(peano-0.1.0.2-A7YmUXRwiBXL0QBdEj2RqY)
ghc-prof(pretty-1.1.3.6)
ghc-prof(process-1.6.19.0)
ghc-prof(regex-tdfa-1.3.2.2-5RMyPk43J4gDSWcjYl0OpF)
ghc-prof(split-0.2.5-5qpEwx7qUv6FlaHbX7jgA2)
ghc-prof(stm-2.5.1.0)
ghc-prof(strict-0.5-2Ih5J4boI0o4YQYnrtRDYI)
ghc-prof(text-2.0.2)
ghc-prof(text-icu-0.8.0.5-J4CrrSP4KzK5QaMFh5FAQZ)
ghc-prof(time-1.12.2)
ghc-prof(time-compat-1.9.6.1-GW1Nw3Nvkk39bFykE9AmZ0)
ghc-prof(transformers-0.6.1.0)
ghc-prof(unordered-containers-0.2.20-EuYFGw8XOtG6Qjyq0KzKlk)
ghc-prof(uri-encode-1.5.0.7-7sKaEN2EpQGDvTYgkYU1Hh)
ghc-prof(vector-0.13.1.0-Jdel1KiNlSEIXGg2MpN3IL)
ghc-prof(vector-hashtables-0.1.2.0-7SJ86vtAMbkJB7NmYyKITZ)
ghc-prof(zlib-0.6.3.0-J9Dy5COqqZW7IlqnJAjJm)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
rpmlib(RichDependencies) <= 4.12.0-1
Recommends No Recommends
Suggests No Suggests
Supplements
(ghc-Agda-devel and ghc-prof)
Enhances No Enhances
Files
Page:
1 through 50 of 378 >>>
Name ascending sort Size
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Auto/Auto.p_hi256.45 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Auto/CaseSplit.p_hi147.30 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Auto/Convert.p_hi240.19 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Auto/NarrowingSearch.p_hi131.66 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Auto/Options.p_hi24.42 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Auto/SearchControl.p_hi92.03 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Auto/Syntax.p_hi108.32 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Auto/Typecheck.p_hi177.74 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Benchmarking.p_hi835.02 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Compiler/Backend.p_hi280.07 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Compiler/Builtin.p_hi10.02 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Compiler/CallCompiler.p_hi24.72 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Compiler/Common.p_hi63.29 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Compiler/JS/Compiler.p_hi188.41 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Compiler/JS/Pretty.p_hi69.94 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Compiler/JS/Substitution.p_hi18.11 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Compiler/JS/Syntax.p_hi84.58 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Compiler/MAlonzo/Coerce.p_hi14.58 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Compiler/MAlonzo/Compiler.p_hi539.75 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Compiler/MAlonzo/Encode.p_hi12.12 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Compiler/MAlonzo/HaskellTypes.p_hi225.90 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Compiler/MAlonzo/Misc.p_hi158.96 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Compiler/MAlonzo/Pragmas.p_hi77.57 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Compiler/MAlonzo/Pretty.p_hi79.32 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Compiler/MAlonzo/Primitives.p_hi120.77 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Compiler/MAlonzo/Strict.p_hi9.27 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Compiler/ToTreeless.p_hi107.30 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Compiler/Treeless/AsPatterns.p_hi16.46 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Compiler/Treeless/Builtin.p_hi42.47 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Compiler/Treeless/Compare.p_hi12.62 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Compiler/Treeless/EliminateDefaults.p_hi18.15 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Compiler/Treeless/EliminateLiteralPatterns.p_hi20.26 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Compiler/Treeless/Erase.p_hi85.69 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Compiler/Treeless/GuardsToPrims.p_hi8.45 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Compiler/Treeless/Identity.p_hi19.16 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Compiler/Treeless/NormalizeNames.p_hi12.73 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Compiler/Treeless/Pretty.p_hi51.45 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Compiler/Treeless/Simplify.p_hi84.89 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Compiler/Treeless/Subst.p_hi51.19 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Compiler/Treeless/Uncase.p_hi15.98 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Compiler/Treeless/Unused.p_hi26.83 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/ImpossibleTest.p_hi10.27 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Interaction/AgdaTop.p_hi40.34 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Interaction/Base.p_hi360.89 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Interaction/BasicOps.p_hi638.36 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Interaction/CommandLine.p_hi239.59 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Interaction/EmacsCommand.p_hi14.97 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Interaction/EmacsTop.p_hi125.55 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Interaction/ExitCode.p_hi14.11 KB
/usr/lib64/ghc-9.6.6/lib/Agda-2.6.4.3/Agda/Interaction/FindFile.p_hi82.75 KB
Component of No Buildroots