ghc-puresat-devel-0.1-1.1 RPM for riscv64

From OpenSuSE Ports Tumbleweed for riscv64

This package provides the Haskell puresat library development files.

Provides

• ghc-puresat-devel
• ghc-devel(puresat-0.1-5qKndohUfMnLOw7NSSzo4)
• ghc-devel(puresat-0.1-JrxpSX7ExT2AriyWz17VZj-dimacs)
• ghc-puresat-devel(riscv-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-6d89)
• ghc-devel(bytestring-0.12.1.0-21bd)
• ghc-devel(containers-0.6.8-9a42)
• ghc-devel(parsec-3.1.17.0-708a)
• ghc-devel(primitive-0.9.0.0-DDJ0kF1ZT0q1aUDKk0ty2t)
• ghc-puresat = 0.1-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-3LSuS4fpNA8GVktjgGArNu-internal.conf
/usr/lib64/ghc-9.8.3/lib/package.conf.d/puresat-0.1-5qKndohUfMnLOw7NSSzo4.conf
/usr/lib64/ghc-9.8.3/lib/package.conf.d/puresat-0.1-JrxpSX7ExT2AriyWz17VZj-dimacs.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-3LSuS4fpNA8GVktjgGArNu-internal.a
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/libHSpuresat-0.1-5qKndohUfMnLOw7NSSzo4.a
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/libHSpuresat-0.1-JrxpSX7ExT2AriyWz17VZj-dimacs.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, Wed Nov 13 00:41:02 2024