SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

ghc-puresat rpm build for : openSUSE Tumbleweed. For other distributions click ghc-puresat.

Name : ghc-puresat
Version : 0.1 Vendor : obs://build_opensuse_org/devel:languages:haskell
Release : dlh.1.1 Date : 2024-08-18 18:19:51
Group : Unspecified Source RPM : ghc-puresat-0.1-dlh.1.1.src.rpm
Size : 0.76 MB
Packager : (none)
Summary : Pure Haskell SAT-solver
Description :
SAT Solver implemented in Haskell.

PureSAT uses DPLL with non-chronological backtracking and learning of binaary
clauses. Solver is in no-comparison to the state of the art solvers, but it\'s
fast enough to solve sudoku.

RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/haskell/openSUSE_Tumbleweed/x86_64

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ghc-puresat-0.1-dlh.1.1.x86_64.rpm
     

Provides :
ghc-puresat
ghc-puresat(x86-64)
libHSpuresat-0.1-5mzIpsASOv38fXXXPxfJgQ-internal-ghc9.8.2.so()(64bit)
libHSpuresat-0.1-ElU9pWXEUvNKXTiiCooSm3-ghc9.8.2.so()(64bit)
libHSpuresat-0.1-G66SQZRWgf1C67k28GokPN-dimacs-ghc9.8.2.so()(64bit)

Requires :
libHSarray-0.5.6.0-a3c4-ghc9.8.2.so()(64bit)
libHSbase-4.19.1.0-3a7c-ghc9.8.2.so()(64bit)
libHSbinary-0.8.9.1-19ca-ghc9.8.2.so()(64bit)
libHSbytestring-0.12.1.0-43a8-ghc9.8.2.so()(64bit)
libHScontainers-0.6.8-8b4c-ghc9.8.2.so()(64bit)
libHSdeepseq-1.5.0.0-74f3-ghc9.8.2.so()(64bit)
libHSghc-bignum-1.3-982d-ghc9.8.2.so()(64bit)
libHSghc-boot-th-9.8.2-8344-ghc9.8.2.so()(64bit)
libHSghc-prim-0.11.0-62b2-ghc9.8.2.so()(64bit)
libHSmtl-2.3.1-a6e0-ghc9.8.2.so()(64bit)
libHSparsec-3.1.17.0-2806-ghc9.8.2.so()(64bit)
libHSpretty-1.1.3.6-7019-ghc9.8.2.so()(64bit)
libHSprimitive-0.9.0.0-5gX2v5NOKHK6K0rme2baIW-ghc9.8.2.so()(64bit)
libHSpuresat-0.1-5mzIpsASOv38fXXXPxfJgQ-internal-ghc9.8.2.so()(64bit)
libHStemplate-haskell-2.21.0.0-1e2f-ghc9.8.2.so()(64bit)
libHStext-2.1.1-89cf-ghc9.8.2.so()(64bit)
libHStransformers-0.6.1.0-1973-ghc9.8.2.so()(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.14)(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libgmp.so.10()(64bit)
libm.so.6()(64bit)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1


Content of RPM :
/usr/lib64/ghc-9.8.2/lib/libHSpuresat-0.1-5mzIpsASOv38fXXXPxfJgQ-internal-ghc9.8.2.so
/usr/lib64/ghc-9.8.2/lib/libHSpuresat-0.1-ElU9pWXEUvNKXTiiCooSm3-ghc9.8.2.so
/usr/lib64/ghc-9.8.2/lib/libHSpuresat-0.1-G66SQZRWgf1C67k28GokPN-dimacs-ghc9.8.2.so
/usr/share/licenses/ghc-puresat
/usr/share/licenses/ghc-puresat/LICENSE

  
ICM