SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

ghc-what4-prof rpm build for : Fedora Other. For other distributions click ghc-what4-prof.

Name : ghc-what4-prof
Version : 1.5.1 Vendor : Fedora Project
Release : 3.fc41 Date : 2024-09-26 19:49:17
Group : Unspecified Source RPM : ghc-what4-1.5.1-3.fc41.src.rpm
Size : 39.20 MB
Packager : Fedora Project
Summary : Haskell what4 profiling library
Description :
This package provides the Haskell what4 profiling library.

RPM found in directory: /vol/rzm3/linux-fedora-buffet/fedora/linux/development/41/Everything/x86_64/os/Packages/g

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ghc-what4-prof-1.5.1-3.fc41.x86_64.rpm
ftp.icm.edu.pl  ghc-what4-prof-1.5.1-3.fc41.x86_64.rpm
     

Provides :
ghc-prof(what4-1.5.1-1yqxCkdqCTABIoRcsgiohr)
ghc-what4-prof
ghc-what4-prof(x86-64)

Requires :
ghc-prof(BoundedChan-1.0.3.0-KC4GwTTdtFBGyIaMAN8c52)
ghc-prof(async-2.2.5-GMWeTaoaded4Wz7DAkFLAR)
ghc-prof(attoparsec-0.14.4-GMRn5HuvZQNAmR4tMlBF9B)
ghc-prof(base-4.18.2.1)
ghc-prof(bifunctors-5.6.2-12p6wi2wnzhJ5Ko2JvLlVw)
ghc-prof(bimap-0.5.0-7xXK3bsJVmhBL74wTtka32)
ghc-prof(bv-sized-1.0.5-CcOtVpvEiNF8sUw6uEB68C)
ghc-prof(bytestring-0.11.5.3)
ghc-prof(concurrent-extra-0.7.0.12-D9YuD3SuJvlCaumJhgsBnR)
ghc-prof(config-value-0.8.3-IWIlPmbx9u07ZPnTUBDeDU)
ghc-prof(containers-0.6.7)
ghc-prof(deepseq-1.4.8.1)
ghc-prof(deriving-compat-0.6.6-BZAse9X3FgdCgeRopZUN4f)
ghc-prof(directory-1.3.8.5)
ghc-prof(exceptions-0.10.7)
ghc-prof(filepath-1.4.300.1)
ghc-prof(fingertree-0.1.5.0-Giwitp12LPIDULoEcsvbRk)
ghc-prof(ghc-prim-0.10.0)
ghc-prof(hashable-1.4.4.0-G2ZOstJIf88CQkCQLrODQe)
ghc-prof(hashtables-1.3.1-NKxkWBizXBD6lggB7bbdl)
ghc-prof(io-streams-1.5.2.2-6r6D7qySpqbGI5nO0QZw1P)
ghc-prof(lens-5.2.3-FNehLn69AsbHuDfy3Kg0ht)
ghc-prof(libBF-0.6.8-G2lhyPLJSyWBXF1H3oxoCv)
ghc-prof(megaparsec-9.5.0-81q7R26puLL6FUAd1155SX)
ghc-prof(mtl-2.3.1)
ghc-prof(ordered-containers-0.2.4-8q6tOEUItdz71CjmZZ7kh5)
ghc-prof(panic-0.4.0.1-8m6CSS5w8at3aBKorC5EVe)
ghc-prof(parameterized-utils-2.1.8.0-6jKi0M8WjA69t0Fa6lRLnl)
ghc-prof(parsec-3.1.16.1)
ghc-prof(prettyprinter-1.7.1-CDxAO72IL6lFavjzsDUSDp)
ghc-prof(process-1.6.19.0)
ghc-prof(s-cargot-0.1.6.0-AJ9P71NUngVAyhLNeQCXN2)
ghc-prof(scientific-0.3.7.0-2UwdviWB0CH1nqOoguwg4m)
ghc-prof(stm-2.5.1.0)
ghc-prof(template-haskell-2.20.0.0)
ghc-prof(temporary-1.3-LMyaaf7YeRfLDOLTsEMncs)
ghc-prof(text-2.0.2)
ghc-prof(th-lift-0.8.4-1nDn5GaGtOI9q63njtRfou)
ghc-prof(th-lift-instances-0.1.20-267kS75CPlFAUdpPe9wWwB)
ghc-prof(time-1.12.2)
ghc-prof(transformers-0.6.1.0)
ghc-prof(unliftio-0.2.25.0-HtwgMuIDrh016F2b6JZvmk)
ghc-prof(unordered-containers-0.2.20-EuYFGw8XOtG6Qjyq0KzKlk)
ghc-prof(utf8-string-1.0.2-JbA27QG8axS8Qz2DLqBtSE)
ghc-prof(vector-0.13.1.0-Jdel1KiNlSEIXGg2MpN3IL)
ghc-prof(versions-6.0.7-7Sd4BmrKpeaEiEyrWMxlNn)
ghc-prof(zenc-0.1.2-BNjDLBKiUVIJGU0oVtqYES)
ghc-what4-devel(x86-64) = 1.5.1-3.fc41
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


Content of RPM :
/usr/lib64/ghc-9.6.6/lib/what4-1.5.1/Test/Verification.p_hi
/usr/lib64/ghc-9.6.6/lib/what4-1.5.1/What4/BaseTypes.p_hi
/usr/lib64/ghc-9.6.6/lib/what4-1.5.1/What4/Concrete.p_hi
/usr/lib64/ghc-9.6.6/lib/what4-1.5.1/What4/Config.p_hi
/usr/lib64/ghc-9.6.6/lib/what4-1.5.1/What4/Expr.p_hi
/usr/lib64/ghc-9.6.6/lib/what4-1.5.1/What4/Expr/Allocator.p_hi
/usr/lib64/ghc-9.6.6/lib/what4-1.5.1/What4/Expr/App.p_hi
/usr/lib64/ghc-9.6.6/lib/what4-1.5.1/What4/Expr/AppTheory.p_hi
/usr/lib64/ghc-9.6.6/lib/what4-1.5.1/What4/Expr/ArrayUpdateMap.p_hi
/usr/lib64/ghc-9.6.6/lib/what4-1.5.1/What4/Expr/BoolMap.p_hi
/usr/lib64/ghc-9.6.6/lib/what4-1.5.1/What4/Expr/Builder.p_hi
/usr/lib64/ghc-9.6.6/lib/what4-1.5.1/What4/Expr/GroundEval.p_hi
/usr/lib64/ghc-9.6.6/lib/what4-1.5.1/What4/Expr/MATLAB.p_hi
/usr/lib64/ghc-9.6.6/lib/what4-1.5.1/What4/Expr/Simplify.p_hi
/usr/lib64/ghc-9.6.6/lib/what4-1.5.1/What4/Expr/StringSeq.p_hi
/usr/lib64/ghc-9.6.6/lib/what4-1.5.1/What4/Expr/UnaryBV.p_hi
/usr/lib64/ghc-9.6.6/lib/what4-1.5.1/What4/Expr/VarIdentification.p_hi
/usr/lib64/ghc-9.6.6/lib/what4-1.5.1/What4/Expr/WeightedSum.p_hi
/usr/lib64/ghc-9.6.6/lib/what4-1.5.1/What4/FloatMode.p_hi
/usr/lib64/ghc-9.6.6/lib/what4-1.5.1/What4/FunctionName.p_hi
/usr/lib64/ghc-9.6.6/lib/what4-1.5.1/What4/IndexLit.p_hi
/usr/lib64/ghc-9.6.6/lib/what4-1.5.1/What4/Interface.p_hi
/usr/lib64/ghc-9.6.6/lib/what4-1.5.1/What4/InterpretedFloatingPoint.p_hi
/usr/lib64/ghc-9.6.6/lib/what4-1.5.1/What4/LabeledPred.p_hi
/usr/lib64/ghc-9.6.6/lib/what4-1.5.1/What4/Panic.p_hi
/usr/lib64/ghc-9.6.6/lib/what4-1.5.1/What4/Partial.p_hi
/usr/lib64/ghc-9.6.6/lib/what4-1.5.1/What4/ProblemFeatures.p_hi
/usr/lib64/ghc-9.6.6/lib/what4-1.5.1/What4/ProgramLoc.p_hi
/usr/lib64/ghc-9.6.6/lib/what4-1.5.1/What4/Protocol/Online.p_hi
/usr/lib64/ghc-9.6.6/lib/what4-1.5.1/What4/Protocol/PolyRoot.p_hi
There is 58 files more in these RPM.

  
ICM