ghc-puresat-devel-0.1-lp160.1.1 RPM for x86_64

From OpenSuSE Leap 16.0 for x86_64

This package provides the Haskell puresat library development files.

Provides

• ghc-puresat-devel
• ghc-devel(puresat-0.1-AC4WykNjrs5ouXOkAtkzI)
• ghc-devel(puresat-0.1-C2dqQMLqNSxEnJqiFNCs7I-dimacs)
• ghc-puresat-devel(x86-64)

Requires

• /bin/sh
• /bin/sh
• ghc-compiler = 9.8.3
• ghc-compiler = 9.8.3
• ghc-compiler = 9.8.3
• ghc-devel(base-4.19.2.0-5f1d)
• ghc-devel(bytestring-0.12.1.0-101a)
• ghc-devel(containers-0.6.8-9b49)
• ghc-devel(parsec-3.1.17.0-2570)
• ghc-devel(primitive-0.9.0.0-85DBnB4wrGH51H9fkqlLkQ)
• ghc-puresat = 0.1-lp160.1.1
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-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.8.3/lib/package.conf.d/puresat-0.1-AC4WykNjrs5ouXOkAtkzI.conf
/usr/lib64/ghc-9.8.3/lib/package.conf.d/puresat-0.1-C2dqQMLqNSxEnJqiFNCs7I-dimacs.conf
/usr/lib64/ghc-9.8.3/lib/package.conf.d/puresat-0.1-Lmke4VWJ9o7ICzVjqgxM7N-internal.conf
/usr/lib64/ghc-9.8.3/lib/puresat-0.1
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/Control
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/Control/Monad
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/Control/Monad/SAT.dyn_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/Control/Monad/SAT.hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/EST.dyn_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/EST.hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT.dyn_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT.hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/Assert.dyn_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/Assert.hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/Base.dyn_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/Base.hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/Boost.dyn_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/Boost.hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/Clause2.dyn_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/Clause2.hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/DIMACS.dyn_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/DIMACS.hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/LBool.dyn_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/LBool.hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/LCG.dyn_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/LCG.hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/Level.dyn_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/Level.hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/LitSet.dyn_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/LitSet.hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/LitTable.dyn_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/LitTable.hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/LitVar.dyn_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/LitVar.hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/Main.dyn_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/Main.hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/PartialAssignment.dyn_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/PartialAssignment.hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/Prim.dyn_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/Prim.hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/Satisfied.dyn_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/Satisfied.hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/SparseMaxHeap.dyn_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/SparseMaxHeap.hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/SparseSet.dyn_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/SparseSet.hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/Stats.dyn_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/Stats.hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/Trail.dyn_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/Trail.hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/Utils.dyn_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/Utils.hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/VarSet.dyn_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/VarSet.hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/Vec.dyn_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/Vec.hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/libHSpuresat-0.1-AC4WykNjrs5ouXOkAtkzI.a
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/libHSpuresat-0.1-C2dqQMLqNSxEnJqiFNCs7I-dimacs.a
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/libHSpuresat-0.1-Lmke4VWJ9o7ICzVjqgxM7N-internal.a
/usr/share/doc/packages/ghc-puresat-devel
/usr/share/doc/packages/ghc-puresat-devel/CHANGELOG.md

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Nov 15 00:24:39 2024