Package: ghc-puresat-devel (0.1-bp160.1.11)
Haskell puresat library development files
This package provides the Haskell puresat library development files.
Other Packages Related to ghc-puresat-devel:
dep: /bin/sh
Package not available
dep: /bin/sh
Package not available
dep: [ghc-compiler] (= 9.8.3)
Compilatore GHC e utilità
dep: [ghc-compiler] (= 9.8.3)
Compilatore GHC e utilità
dep: [ghc-compiler] (= 9.8.3)
Compilatore GHC e utilità
dep: ghc-devel(base-4.19.2.0-7e67)
Package not available
dep: ghc-devel(bytestring-0.12.1.0-d946)
Package not available
dep: ghc-devel(containers-0.6.8-3d10)
Package not available
dep: ghc-devel(parsec-3.1.17.0-2d54)
Package not available
dep: ghc-devel(primitive-0.9.0.0-HUT3FMSbPSW4xtBqF72QHn)
Package not available
dep: [ghc-puresat] (= 0.1-bp160.1.11)
Pure Haskell SAT-solver
Download ghc-puresat-devel
| Architecture | Package size | Installed size | Files | Package |
|---|---|---|---|---|
| aarch64 | 259 KiB | 2.2 MiB | list of files | Download |
| ppc64le | 295 KiB | 2.8 MiB | list of files | Download |
| x86_64 | 234 KiB | 1.9 MiB | list of files | Download |
Percorsi file del pacchetto (68)
Paths come from the repository package-file index for the observed builds. They describe archive/package associations, not every file that will exist on a running system after maintainer scripts, alternatives, generated state, diversions, or installation choices.
- /usr/lib64/ghc-9.8.3/lib/package.conf.d/puresat-0.1-2FFH7R9Ej4dGeGgrMX5HCk.conf
- /usr/lib64/ghc-9.8.3/lib/package.conf.d/puresat-0.1-8Xf1X3PWoRYDgZOzCczpZm-internal.conf
- /usr/lib64/ghc-9.8.3/lib/package.conf.d/puresat-0.1-BrXscAWwf4u4P36uYz84nX.conf
- /usr/lib64/ghc-9.8.3/lib/package.conf.d/puresat-0.1-CwTaH2b3kf4ExAitNxfBpK-internal.conf
- /usr/lib64/ghc-9.8.3/lib/package.conf.d/puresat-0.1-J6Sch9WeeTkBp8WBSs0odd-dimacs.conf
- /usr/lib64/ghc-9.8.3/lib/package.conf.d/puresat-0.1-OxsKanNhN01lsXCGCxatO-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/libHSpuresat-0.1-2FFH7R9Ej4dGeGgrMX5HCk.a
- /usr/lib64/ghc-9.8.3/lib/puresat-0.1/libHSpuresat-0.1-8Xf1X3PWoRYDgZOzCczpZm-internal.a
- /usr/lib64/ghc-9.8.3/lib/puresat-0.1/libHSpuresat-0.1-BrXscAWwf4u4P36uYz84nX.a
- /usr/lib64/ghc-9.8.3/lib/puresat-0.1/libHSpuresat-0.1-CwTaH2b3kf4ExAitNxfBpK-internal.a
- /usr/lib64/ghc-9.8.3/lib/puresat-0.1/libHSpuresat-0.1-J6Sch9WeeTkBp8WBSs0odd-dimacs.a
- /usr/lib64/ghc-9.8.3/lib/puresat-0.1/libHSpuresat-0.1-OxsKanNhN01lsXCGCxatO-dimacs.a
- /usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT
- /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.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/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/share/doc/packages/ghc-puresat-devel
- /usr/share/doc/packages/ghc-puresat-devel/CHANGELOG.md
Field source: openSUSE Leap 16.0 OSS