Sat, 31 Oct 2026 18:31:40 UTC Log in

ghc-puresat-devel-0.1-6.fc45.riscv64.rpm

riscv64
Haskell puresat library development files 347.28 KB built 2026-10-14 03:08:25 GMT
Build 3655

Description

This package provides the Haskell puresat library development files.

Dependencies

17 total
Requires11
  • ghc-compiler = 9.10.3
  • ghc-devel(base-4.20.2.0-inplace)
  • ghc-devel(bytestring-0.12.2.0-inplace)
  • ghc-devel(containers-0.7-inplace)
  • ghc-devel(parsec-3.1.18.0-inplace)
  • ghc-devel(primitive-0.9.1.0-CdaaD38w4qB6rrosjqTSfA)
  • ghc-puresat(riscv-64) = 0.1-6.fc45
  • rpmlib(CompressedFileNames) <= 3.0.4-1
  • rpmlib(FileDigests) <= 4.6.0-1
  • rpmlib(PayloadFilesHavePrefix) <= 4.0-1
  • rpmlib(PayloadIsZstd) <= 5.4.18-1
Provides6
  • ghc-devel(puresat-0.1-1e1vkYh2GYJA3sBPoKoLUF)
  • ghc-devel(puresat-0.1-9u22wcsD7QZ3P6pf22lOyG-dimacs)
  • ghc-puresat-devel = 0.1-6.fc45
  • ghc-puresat-devel(riscv-64) = 0.1-6.fc45
  • ghc-puresat-static = 0.1-6.fc45
  • ghc-puresat-static(riscv-64) = 0.1-6.fc45
ObsoletesNo Obsoletes
ConflictsNo Conflicts
RecommendsNo Recommends
SuggestsNo Suggests
SupplementsNo Supplements
EnhancesNo Enhances

Files

60
Name ascending sort Size
/usr/lib64/ghc-9.10.3/lib/package.conf.d/puresat-0.1-1e1vkYh2GYJA3sBPoKoLUF.conf 1.48 KB
/usr/lib64/ghc-9.10.3/lib/package.conf.d/puresat-0.1-9u22wcsD7QZ3P6pf22lOyG-dimacs.conf 1.51 KB
/usr/lib64/ghc-9.10.3/lib/package.conf.d/puresat-0.1-HEsar4kqw9hAhCu2UeiJuy-internal.conf 1.81 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1 0.00 B
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/Control 0.00 B
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/Control/Monad 0.00 B
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/Control/Monad/SAT.dyn_hi 88.92 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/Control/Monad/SAT.hi 88.92 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/EST.dyn_hi 14.01 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/EST.hi 14.00 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/PureSAT 0.00 B
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/PureSAT.dyn_hi 2.53 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/PureSAT.hi 2.53 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/PureSAT/Assert.dyn_hi 3.58 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/PureSAT/Assert.hi 3.58 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/PureSAT/Base.dyn_hi 2.15 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/PureSAT/Base.hi 2.15 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/PureSAT/Boost.dyn_hi 1.83 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/PureSAT/Boost.hi 1.82 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/PureSAT/Clause2.dyn_hi 9.16 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/PureSAT/Clause2.hi 9.16 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/PureSAT/DIMACS.dyn_hi 22.83 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/PureSAT/DIMACS.hi 22.82 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/PureSAT/LBool.dyn_hi 6.22 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/PureSAT/LBool.hi 6.22 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/PureSAT/LCG.dyn_hi 5.00 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/PureSAT/LCG.hi 5.00 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/PureSAT/Level.dyn_hi 20.05 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/PureSAT/Level.hi 20.05 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/PureSAT/LitSet.dyn_hi 12.38 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/PureSAT/LitSet.hi 12.37 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/PureSAT/LitTable.dyn_hi 9.01 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/PureSAT/LitTable.hi 9.01 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/PureSAT/LitVar.dyn_hi 10.65 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/PureSAT/LitVar.hi 10.65 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/PureSAT/Main.dyn_hi 40.69 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/PureSAT/Main.hi 40.68 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/PureSAT/PartialAssignment.dyn_hi 19.86 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/PureSAT/PartialAssignment.hi 19.86 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/PureSAT/Prim.dyn_hi 31.95 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/PureSAT/Prim.hi 31.95 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/PureSAT/Satisfied.dyn_hi 11.44 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/PureSAT/Satisfied.hi 11.43 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/PureSAT/SparseMaxHeap.dyn_hi 43.26 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/PureSAT/SparseMaxHeap.hi 43.26 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/PureSAT/SparseSet.dyn_hi 22.87 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/PureSAT/SparseSet.hi 22.87 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/PureSAT/Stats.dyn_hi 12.81 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/PureSAT/Stats.hi 12.81 KB
/usr/lib64/ghc-9.10.3/lib/puresat-0.1/PureSAT/Trail.dyn_hi 15.96 KB
Files 1–50 of 60 Next →
of 2

Component of

buildroots that installed this RPM

No Buildroots