ghc-puresat-prof-0.1-1.2 RPM for riscv64

From OpenSuSE Ports Tumbleweed for riscv64

This package provides the Haskell puresat profiling library.

Provides

• ghc-puresat-prof
• ghc-prof(puresat-0.1-2SteGHir9GRAoiGa7fBh6N-dimacs)
• ghc-prof(puresat-0.1-6eiM4V0ONBW5TNOScMNQaZ)
• ghc-puresat-prof(riscv-64)

Requires

• ghc-prof(base-4.20.0.0-5511)
• ghc-prof(bytestring-0.12.1.0-ce36)
• ghc-prof(containers-0.7-ff1f)
• ghc-prof(parsec-3.1.17.0-9c67)
• ghc-prof(primitive-0.9.0.0-BfCEcTBqu6RGjL5ZyXFoew)
• ghc-puresat-devel = 0.1-1.2
• 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

* Sun Aug 18 2024 Peter Simons <psimons@suse.com>
  - Add puresat at version 0.1.

Files

/usr/lib64/ghc-9.10.1/lib/puresat-0.1/Control/Monad/SAT.p_hi
/usr/lib64/ghc-9.10.1/lib/puresat-0.1/EST.p_hi
/usr/lib64/ghc-9.10.1/lib/puresat-0.1/PureSAT.p_hi
/usr/lib64/ghc-9.10.1/lib/puresat-0.1/PureSAT/Assert.p_hi
/usr/lib64/ghc-9.10.1/lib/puresat-0.1/PureSAT/Base.p_hi
/usr/lib64/ghc-9.10.1/lib/puresat-0.1/PureSAT/Boost.p_hi
/usr/lib64/ghc-9.10.1/lib/puresat-0.1/PureSAT/Clause2.p_hi
/usr/lib64/ghc-9.10.1/lib/puresat-0.1/PureSAT/DIMACS.p_hi
/usr/lib64/ghc-9.10.1/lib/puresat-0.1/PureSAT/LBool.p_hi
/usr/lib64/ghc-9.10.1/lib/puresat-0.1/PureSAT/LCG.p_hi
/usr/lib64/ghc-9.10.1/lib/puresat-0.1/PureSAT/Level.p_hi
/usr/lib64/ghc-9.10.1/lib/puresat-0.1/PureSAT/LitSet.p_hi
/usr/lib64/ghc-9.10.1/lib/puresat-0.1/PureSAT/LitTable.p_hi
/usr/lib64/ghc-9.10.1/lib/puresat-0.1/PureSAT/LitVar.p_hi
/usr/lib64/ghc-9.10.1/lib/puresat-0.1/PureSAT/Main.p_hi
/usr/lib64/ghc-9.10.1/lib/puresat-0.1/PureSAT/PartialAssignment.p_hi
/usr/lib64/ghc-9.10.1/lib/puresat-0.1/PureSAT/Prim.p_hi
/usr/lib64/ghc-9.10.1/lib/puresat-0.1/PureSAT/Satisfied.p_hi
/usr/lib64/ghc-9.10.1/lib/puresat-0.1/PureSAT/SparseMaxHeap.p_hi
/usr/lib64/ghc-9.10.1/lib/puresat-0.1/PureSAT/SparseSet.p_hi
/usr/lib64/ghc-9.10.1/lib/puresat-0.1/PureSAT/Stats.p_hi
/usr/lib64/ghc-9.10.1/lib/puresat-0.1/PureSAT/Trail.p_hi
/usr/lib64/ghc-9.10.1/lib/puresat-0.1/PureSAT/Utils.p_hi
/usr/lib64/ghc-9.10.1/lib/puresat-0.1/PureSAT/VarSet.p_hi
/usr/lib64/ghc-9.10.1/lib/puresat-0.1/PureSAT/Vec.p_hi
/usr/lib64/ghc-9.10.1/lib/puresat-0.1/libHSpuresat-0.1-2SteGHir9GRAoiGa7fBh6N-dimacs_p.a
/usr/lib64/ghc-9.10.1/lib/puresat-0.1/libHSpuresat-0.1-6eiM4V0ONBW5TNOScMNQaZ_p.a
/usr/lib64/ghc-9.10.1/lib/puresat-0.1/libHSpuresat-0.1-C9RBhTF8fBrDWc9B94o22I-internal_p.a

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Jan 12 23:23:09 2025