Package: ghc-puresat (0.1-bp160.1.11)
Pure Haskell SAT-solver
Other Packages Related to ghc-puresat:
dep: libHSarray-0.5.8.0-f717-ghc9.8.3.so()(64bit)
Package not available
dep: libHSbase-4.19.2.0-7e67-ghc9.8.3.so()(64bit)
Package not available
dep: libHSbinary-0.8.9.1-2b1d-ghc9.8.3.so()(64bit)
Package not available
dep: libHSbytestring-0.12.1.0-d946-ghc9.8.3.so()(64bit)
Package not available
dep: libHScontainers-0.6.8-3d10-ghc9.8.3.so()(64bit)
Package not available
dep: libHSdeepseq-1.5.1.0-7fa1-ghc9.8.3.so()(64bit)
Package not available
dep: libHSghc-bignum-1.3-86c2-ghc9.8.3.so()(64bit)
Package not available
dep: libHSghc-boot-th-9.8.3-2c22-ghc9.8.3.so()(64bit)
Package not available
dep: libHSghc-prim-0.11.0-7710-ghc9.8.3.so()(64bit)
Package not available
dep: libHSmtl-2.3.1-3b98-ghc9.8.3.so()(64bit)
Package not available
dep: libHSparsec-3.1.17.0-2d54-ghc9.8.3.so()(64bit)
Package not available
dep: libHSpretty-1.1.3.6-d27b-ghc9.8.3.so()(64bit)
Package not available
dep: libHSprimitive-0.9.0.0-HUT3FMSbPSW4xtBqF72QHn-ghc9.8.3.so()(64bit)
Package not available
dep: libHStemplate-haskell-2.21.0.0-c6f5-ghc9.8.3.so()(64bit)
Package not available
dep: libHStext-2.1.1-ce88-ghc9.8.3.so()(64bit)
Package not available
dep: libHStransformers-0.6.1.0-f4c3-ghc9.8.3.so()(64bit)
Package not available
dep: libgmp.so.10()(64bit)
Package not available
dep: libm.so.6()(64bit)
Package not available
dep: libc.so.6(GLIBC_2.17)(64bit)
Package not available
Download ghc-puresat
| Architecture | Package size | Installed size | Files | Package |
|---|---|---|---|---|
| aarch64 | 146 KiB | 899 KiB | list of files | Download |
| ppc64le | 178 KiB | 1.1 MiB | list of files | Download |
| x86_64 | 143 KiB | 775 KiB | list of files | Download |
Percorsi file del pacchetto (8)
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/libHSpuresat-0.1-2FFH7R9Ej4dGeGgrMX5HCk-ghc9.8.3.so
- /usr/lib64/ghc-9.8.3/lib/libHSpuresat-0.1-8Xf1X3PWoRYDgZOzCczpZm-internal-ghc9.8.3.so
- /usr/lib64/ghc-9.8.3/lib/libHSpuresat-0.1-BrXscAWwf4u4P36uYz84nX-ghc9.8.3.so
- /usr/lib64/ghc-9.8.3/lib/libHSpuresat-0.1-CwTaH2b3kf4ExAitNxfBpK-internal-ghc9.8.3.so
- /usr/lib64/ghc-9.8.3/lib/libHSpuresat-0.1-J6Sch9WeeTkBp8WBSs0odd-dimacs-ghc9.8.3.so
- /usr/lib64/ghc-9.8.3/lib/libHSpuresat-0.1-OxsKanNhN01lsXCGCxatO-dimacs-ghc9.8.3.so
- /usr/share/licenses/ghc-puresat
- /usr/share/licenses/ghc-puresat/LICENSE
Field source: openSUSE Leap 16.0 OSS