SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

ghc-minisat-solver-devel rpm build for : openSUSE Leap 15. For other distributions click ghc-minisat-solver-devel.

Name : ghc-minisat-solver-devel
Version : 0.1 Vendor : obs://build_opensuse_org/devel:languages:haskell
Release : lp150.1.1 Date : 2018-07-09 23:52:32
Group : Development/Libraries/Haskell Source RPM : ghc-minisat-solver-0.1-lp150.1.1.src.rpm
Size : 1.92 MB
Packager : (none)
Summary : Haskell minisat-solver library development files
Description :
This package provides the Haskell minisat-solver library development files.

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

Content of RPM  Changelog  Provides Requires

Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server

Provides :
ghc-devel(minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN)
ghc-minisat-solver-devel
ghc-minisat-solver-devel(x86-64)

Requires :
/bin/sh
/bin/sh
ghc-compiler = 8.4.3
ghc-compiler = 8.4.3
ghc-compiler = 8.4.3
ghc-devel(base-4.11.1.0)
ghc-devel(containers-0.5.11.0)
ghc-devel(transformers-0.5.5.0)
ghc-minisat-solver = 0.1-lp150.1.1
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1


Content of RPM :
/usr/lib64/ghc-8.4.3/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT
/usr/lib64/ghc-8.4.3/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat
/usr/lib64/ghc-8.4.3/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat.dyn_hi
/usr/lib64/ghc-8.4.3/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat.hi
/usr/lib64/ghc-8.4.3/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat.p_hi
/usr/lib64/ghc-8.4.3/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat/Formula.dyn_hi
/usr/lib64/ghc-8.4.3/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat/Formula.hi
/usr/lib64/ghc-8.4.3/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat/Formula.p_hi
/usr/lib64/ghc-8.4.3/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat/Functional.dyn_hi
/usr/lib64/ghc-8.4.3/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat/Functional.hi
/usr/lib64/ghc-8.4.3/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat/Functional.p_hi
/usr/lib64/ghc-8.4.3/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat/Literals.dyn_hi
/usr/lib64/ghc-8.4.3/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat/Literals.hi
/usr/lib64/ghc-8.4.3/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat/Literals.p_hi
/usr/lib64/ghc-8.4.3/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat/LowLevel.dyn_hi
/usr/lib64/ghc-8.4.3/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat/LowLevel.hi
/usr/lib64/ghc-8.4.3/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat/LowLevel.p_hi
/usr/lib64/ghc-8.4.3/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat/Monadic.dyn_hi
/usr/lib64/ghc-8.4.3/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat/Monadic.hi
/usr/lib64/ghc-8.4.3/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat/Monadic.p_hi
/usr/lib64/ghc-8.4.3/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat/Variable.dyn_hi
/usr/lib64/ghc-8.4.3/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat/Variable.hi
/usr/lib64/ghc-8.4.3/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat/Variable.p_hi
/usr/lib64/ghc-8.4.3/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/libHSminisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN.a
/usr/lib64/ghc-8.4.3/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/libHSminisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN_p.a
/usr/lib64/ghc-8.4.3/package.conf.d/minisat-solver-0.1.conf
/usr/share/doc/ghc-8.4.3/html/libraries/minisat-solver-0.1
/usr/share/doc/ghc-8.4.3/html/libraries/minisat-solver-0.1/SAT-MiniSat.html
/usr/share/doc/ghc-8.4.3/html/libraries/minisat-solver-0.1/doc-index.html
/usr/share/doc/ghc-8.4.3/html/libraries/minisat-solver-0.1/haddock-bundle.min.js
There is 12 files more in these RPM.

 
ICM