ghc-what4-prof-1.5.1-3.fc40 RPM for aarch64

From Fedora 40 updates for aarch64 / Packages / g

This package provides the Haskell what4 profiling library.

Provides

• ghc-what4-prof
• ghc-prof(what4-1.5.1-HD846ec5pljDFhNmZ9ft1c)
• ghc-what4-prof(aarch-64)

Requires

• ghc-prof(BoundedChan-1.0.3.0-BsK8RZFMOqu7m4Wcmqa5zI)
• ghc-prof(async-2.2.4-Is3H7ZPNMkM5reIoCaqYrF)
• ghc-prof(attoparsec-0.14.4-1rgNxdaX2hcAlnLLYxTxu4)
• ghc-prof(base-4.17.1.0)
• ghc-prof(bifunctors-5.5.15-6nVSldbcYfb1Hx6EfFS3QB)
• ghc-prof(bimap-0.5.0-HW7mfOFXneU5eY2jmBQkId)
• ghc-prof(bv-sized-1.0.5-Lg2MNmzC2KJHdpDLkOcNYE)
• ghc-prof(bytestring-0.11.4.0)
• ghc-prof(concurrent-extra-0.7.0.12-60CfEPJcC9N6j9EXVFkWgP)
• ghc-prof(config-value-0.8.3-BvX0WJVkRV7IHsOL5yNnQA)
• ghc-prof(containers-0.6.7)
• ghc-prof(deepseq-1.4.8.0)
• ghc-prof(deriving-compat-0.6.6-7n55cjI5CIjLMgfFOkf7c9)
• ghc-prof(directory-1.3.7.1)
• ghc-prof(exceptions-0.10.5)
• ghc-prof(filepath-1.4.2.2)
• ghc-prof(fingertree-0.1.5.0-FUFklhsmvEUIccokQwwqia)
• ghc-prof(ghc-prim-0.9.0)
• ghc-prof(hashable-1.4.2.0-FFBRhuY0w4YLmuLEs5uQAt)
• ghc-prof(hashtables-1.3.1-In3nuaqumJk1jHTAUuAziv)
• ghc-prof(io-streams-1.5.2.2-BJePlV1U3yU8l3fYnnzXRE)
• ghc-prof(lens-5.2.2-DYkGnrVvoRhEHkm30dtKFl)
• ghc-prof(libBF-0.6.8-Hb1dxlmRuzoBbGoUYTx2IX)
• ghc-prof(megaparsec-9.3.1-ERDjI2v4kmMC2kpf7sry0n)
• ghc-prof(mtl-2.2.2)
• ghc-prof(ordered-containers-0.2.3-2vvzHwtaKIjK7BBzxceSWT)
• ghc-prof(panic-0.4.0.1-KE1kWsGbhWV3H8Kvc1TljL)
• ghc-prof(parameterized-utils-2.1.8.0-FTY8CINQLZc2e6rvWHCaAB)
• ghc-prof(parsec-3.1.16.1)
• ghc-prof(prettyprinter-1.7.1-1jjh6iCiPNl8MgeqtPsio2)
• ghc-prof(process-1.6.16.0)
• ghc-prof(s-cargot-0.1.6.0-7FXTmlijgPhEDh874hlNmV)
• ghc-prof(scientific-0.3.7.0-6Dx8mxA4OUsLpkNxWfBzuf)
• ghc-prof(stm-2.5.1.0)
• ghc-prof(template-haskell-2.19.0.0)
• ghc-prof(temporary-1.3-AnWf1kHYWLQHZb86f6Dx4m)
• ghc-prof(text-2.0.2)
• ghc-prof(th-lift-0.8.3-BVnK9vFPlpnBx7d6MzGvJN)
• ghc-prof(th-lift-instances-0.1.20-7PDFdFhhtKdIjQzz59JRnl)
• ghc-prof(time-1.12.2)
• ghc-prof(transformers-0.5.6.2)
• ghc-prof(unliftio-0.2.25.0-Ha39z31RkA5NmQ3KqmuRg)
• ghc-prof(unordered-containers-0.2.19.1-KblUXVJ0SvRCcK89PoBx7E)
• ghc-prof(utf8-string-1.0.2-H5J3QXynvqU96sNfi3QV7u)
• ghc-prof(vector-0.13.0.0-DgEUYCaCm1GEZ2KanedKXr)
• ghc-prof(versions-6.0.7-KUYs1HFQR6PHogqjQeCayn)
• ghc-prof(zenc-0.1.2-Enl048lGqPpJE68SIincuI)
• ghc-what4-devel(aarch-64) = 1.5.1-3.fc40
• 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

License

BSD-3-Clause

Changelog

* Tue Sep 24 2024 Frank Dedden <frank@systemf.dev> - 1.5.1-3
  - Fix missing entry in `sources` and `.gitignore` files.
* Mon Aug 19 2024 Frank Dedden <frank@systemf.dev> - 1.5.1-1
  - spec file generated by cabal-rpm-2.2.1

Files

/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/Test/Verification.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/BaseTypes.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Concrete.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Config.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Expr.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Expr/Allocator.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Expr/App.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Expr/AppTheory.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Expr/ArrayUpdateMap.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Expr/BoolMap.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Expr/Builder.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Expr/GroundEval.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Expr/MATLAB.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Expr/Simplify.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Expr/StringSeq.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Expr/UnaryBV.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Expr/VarIdentification.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Expr/WeightedSum.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/FloatMode.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/FunctionName.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/IndexLit.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Interface.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/InterpretedFloatingPoint.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/LabeledPred.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Panic.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Partial.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/ProblemFeatures.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/ProgramLoc.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Protocol/Online.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Protocol/PolyRoot.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Protocol/ReadDecimal.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Protocol/SExp.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Protocol/SMTLib2.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Protocol/SMTLib2/Parse.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Protocol/SMTLib2/Response.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Protocol/SMTLib2/Syntax.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Protocol/SMTWriter.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Protocol/VerilogWriter.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Protocol/VerilogWriter/ABCVerilog.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Protocol/VerilogWriter/AST.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Protocol/VerilogWriter/Backend.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/SFloat.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/SWord.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/SatResult.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/SemiRing.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Serialize/FastSExpr.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Serialize/Log.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Serialize/Normalize.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Serialize/Parser.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Serialize/Printer.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Serialize/SETokens.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Solver.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Solver/Adapter.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Solver/Boolector.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Solver/CVC4.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Solver/CVC5.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Solver/DReal.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Solver/ExternalABC.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Solver/STP.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Solver/Yices.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Solver/Z3.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/SpecialFunctions.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Symbol.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Utils/AbstractDomains.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Utils/AnnotatedMap.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Utils/Arithmetic.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Utils/BVDomain.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Utils/BVDomain/Arith.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Utils/BVDomain/Bitwise.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Utils/BVDomain/XOR.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Utils/Complex.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Utils/Endian.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Utils/Environment.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Utils/FloatHelpers.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Utils/HandleReader.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Utils/IncrHash.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Utils/LeqMap.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Utils/MonadST.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Utils/OnlyIntRepr.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Utils/Process.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Utils/ResolveBounds/BV.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Utils/Serialize.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Utils/Streams.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Utils/StringLiteral.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Utils/Versions.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/Utils/Word16String.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/What4/WordMap.p_hi
/usr/lib64/ghc-9.4.5/lib/what4-1.5.1/libHSwhat4-1.5.1-HD846ec5pljDFhNmZ9ft1c_p.a

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Nov 1 05:20:34 2024