SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

ghc-simple-smt rpm build for : OpenSuSE. For other distributions click ghc-simple-smt.

Name : ghc-simple-smt
Version : 0.7.0 Vendor : openSUSE
Release : bp150.2.6 Date : 2018-07-30 20:25:00
Group : Development/Libraries/Haskell Source RPM : ghc-simple-smt-0.7.0-bp150.2.6.src.rpm
Size : 0.19 MB
Packager : https://bugs_opensuse_org
Summary : A simple way to interact with an SMT solver process
Description :
A simple way to interact with an SMT solver process.

RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/openSUSE:/Backports:/SLE-15/standard/x86_64

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ghc-simple-smt-0.7.0-bp150.2.6.x86_64.rpm
     

Provides :
ghc-simple-smt
ghc-simple-smt(x86-64)
libHSsimple-smt-0.7.0-J9pOLdZFWPuK5liIupsHqt-ghc8.0.2.so()(64bit)

Requires :
libHSarray-0.5.1.1-ghc8.0.2.so()(64bit)
libHSbase-4.9.1.0-ghc8.0.2.so()(64bit)
libHSbytestring-0.10.8.1-ghc8.0.2.so()(64bit)
libHSdeepseq-1.4.2.0-ghc8.0.2.so()(64bit)
libHSdirectory-1.3.0.0-ghc8.0.2.so()(64bit)
libHSfilepath-1.4.1.1-ghc8.0.2.so()(64bit)
libHSghc-prim-0.5.0.0-ghc8.0.2.so()(64bit)
libHSinteger-gmp-1.0.0.1-ghc8.0.2.so()(64bit)
libHSprocess-1.4.3.0-ghc8.0.2.so()(64bit)
libHStime-1.6.0.1-ghc8.0.2.so()(64bit)
libHSunix-2.7.2.1-ghc8.0.2.so()(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libdl.so.2()(64bit)
libgmp.so.10()(64bit)
libpthread.so.0()(64bit)
librt.so.1()(64bit)
libutil.so.1()(64bit)
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.0.2/simple-smt-0.7.0-J9pOLdZFWPuK5liIupsHqt
/usr/lib64/ghc-8.0.2/simple-smt-0.7.0-J9pOLdZFWPuK5liIupsHqt/libHSsimple-smt-0.7.0-J9pOLdZFWPuK5liIupsHqt-ghc8.0.2.so
/usr/share/doc/packages/ghc-simple-smt
/usr/share/doc/packages/ghc-simple-smt/LICENSE

  
ICM