ghc-puresat-prof-0.1-1.5 RPM for s390x

From OpenSuSE Ports Tumbleweed for s390x

This package provides the Haskell puresat profiling library.

Provides

• ghc-puresat-prof
• ghc-prof(puresat-0.1-2bga3Oww7IYFGt7v8UV61w-dimacs)
• ghc-prof(puresat-0.1-7LKS91Bf5Jh95HCKF2i14s)
• ghc-puresat-prof(s390-64)

Requires

• ghc-prof(base-4.20.1.0-3e89)
• ghc-prof(bytestring-0.12.2.0-31ee)
• ghc-prof(containers-0.7-9bab)
• ghc-prof(parsec-3.1.18.0-6973)
• ghc-prof(primitive-0.9.1.0-IE4fSopWFWi48JpZfvaO7y)
• ghc-puresat-devel = 0.1-1.5
• 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.2/lib/puresat-0.1/Control/Monad/SAT.p_hi
/usr/lib64/ghc-9.10.2/lib/puresat-0.1/EST.p_hi
/usr/lib64/ghc-9.10.2/lib/puresat-0.1/PureSAT.p_hi
/usr/lib64/ghc-9.10.2/lib/puresat-0.1/PureSAT/Assert.p_hi
/usr/lib64/ghc-9.10.2/lib/puresat-0.1/PureSAT/Base.p_hi
/usr/lib64/ghc-9.10.2/lib/puresat-0.1/PureSAT/Boost.p_hi
/usr/lib64/ghc-9.10.2/lib/puresat-0.1/PureSAT/Clause2.p_hi
/usr/lib64/ghc-9.10.2/lib/puresat-0.1/PureSAT/DIMACS.p_hi
/usr/lib64/ghc-9.10.2/lib/puresat-0.1/PureSAT/LBool.p_hi
/usr/lib64/ghc-9.10.2/lib/puresat-0.1/PureSAT/LCG.p_hi
/usr/lib64/ghc-9.10.2/lib/puresat-0.1/PureSAT/Level.p_hi
/usr/lib64/ghc-9.10.2/lib/puresat-0.1/PureSAT/LitSet.p_hi
/usr/lib64/ghc-9.10.2/lib/puresat-0.1/PureSAT/LitTable.p_hi
/usr/lib64/ghc-9.10.2/lib/puresat-0.1/PureSAT/LitVar.p_hi
/usr/lib64/ghc-9.10.2/lib/puresat-0.1/PureSAT/Main.p_hi
/usr/lib64/ghc-9.10.2/lib/puresat-0.1/PureSAT/PartialAssignment.p_hi
/usr/lib64/ghc-9.10.2/lib/puresat-0.1/PureSAT/Prim.p_hi
/usr/lib64/ghc-9.10.2/lib/puresat-0.1/PureSAT/Satisfied.p_hi
/usr/lib64/ghc-9.10.2/lib/puresat-0.1/PureSAT/SparseMaxHeap.p_hi
/usr/lib64/ghc-9.10.2/lib/puresat-0.1/PureSAT/SparseSet.p_hi
/usr/lib64/ghc-9.10.2/lib/puresat-0.1/PureSAT/Stats.p_hi
/usr/lib64/ghc-9.10.2/lib/puresat-0.1/PureSAT/Trail.p_hi
/usr/lib64/ghc-9.10.2/lib/puresat-0.1/PureSAT/Utils.p_hi
/usr/lib64/ghc-9.10.2/lib/puresat-0.1/PureSAT/VarSet.p_hi
/usr/lib64/ghc-9.10.2/lib/puresat-0.1/PureSAT/Vec.p_hi
/usr/lib64/ghc-9.10.2/lib/puresat-0.1/libHSpuresat-0.1-2bga3Oww7IYFGt7v8UV61w-dimacs_p.a
/usr/lib64/ghc-9.10.2/lib/puresat-0.1/libHSpuresat-0.1-7LKS91Bf5Jh95HCKF2i14s_p.a
/usr/lib64/ghc-9.10.2/lib/puresat-0.1/libHSpuresat-0.1-8uFDL7ODI3O15ghT34ouCs-internal_p.a

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Jun 3 01:59:31 2025