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

From OpenSuSE Ports Tumbleweed for aarch64

This package provides the Haskell puresat library development files.

Provides

• ghc-puresat-devel
• ghc-devel(puresat-0.1-4u1LnJWn1SnFtFMaXYFS5s-dimacs)
• ghc-devel(puresat-0.1-7qa6brEFKNhEld7Ts4Qa5i)
• ghc-puresat-devel(aarch-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-1d6a)
• ghc-devel(bytestring-0.12.1.0-5950)
• ghc-devel(containers-0.6.8-372e)
• ghc-devel(parsec-3.1.17.0-9ba0)
• ghc-devel(primitive-0.9.0.0-9j2Pz2QG9UN88deIqdVDV3)
• 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-4u1LnJWn1SnFtFMaXYFS5s-dimacs.conf
/usr/lib64/ghc-9.8.3/lib/package.conf.d/puresat-0.1-7qa6brEFKNhEld7Ts4Qa5i.conf
/usr/lib64/ghc-9.8.3/lib/package.conf.d/puresat-0.1-CbvQRWZEAAdgYYS4X82q5-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-4u1LnJWn1SnFtFMaXYFS5s-dimacs.a
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/libHSpuresat-0.1-7qa6brEFKNhEld7Ts4Qa5i.a
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/libHSpuresat-0.1-CbvQRWZEAAdgYYS4X82q5-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 01:49:15 2024