SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : ghc-djinn-ghc
Version : 0.0.2.3 Vendor : obs://build_opensuse_org/home:so_it_team
Release : 6.2 Date : 2018-08-25 07:27:39
Group : System/Libraries Source RPM : ghc-djinn-ghc-0.0.2.3-6.2.src.rpm
Size : 0.05 MB
Packager : (none)
Summary : Generate Haskell code from a type. Bridge from Djinn to GHC API
Description :
Djinn uses an theorem prover for intuitionistic propositional logic to generate
a Haskell expression when given a type. This is the bridge from djinn-lib to
GHC API.

RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/home:/so_it_team:/12.x/SLE_12_SP3/x86_64

Content of RPM  Changelog  Provides Requires

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

Provides :
ghc-djinn-ghc
ghc-djinn-ghc(x86-64)
libHSdjinn-ghc-0.0.2.3-5z85bZcLoZHKC4DwT3srQu-ghc8.0.2.so()(64bit)

Requires :
libc.so.6()(64bit)
libHStime-1.6.0.1-ghc8.0.2.so()(64bit)
libHSpretty-1.1.3.3-ghc8.0.2.so()(64bit)
libHScontainers-0.5.7.1-ghc8.0.2.so()(64bit)
libHSghc-prim-0.5.0.0-ghc8.0.2.so()(64bit)
librt.so.1()(64bit)
libHStransformers-0.5.2.0-ghc8.0.2.so()(64bit)
libHSdeepseq-1.4.2.0-ghc8.0.2.so()(64bit)
libHSmtl-2.2.1-BLKBelFsPB3BoFeSWSOYj6-ghc8.0.2.so()(64bit)
libHSbase-4.9.1.0-ghc8.0.2.so()(64bit)
libHSbinary-0.8.3.0-ghc8.0.2.so()(64bit)
libHSdirectory-1.3.0.0-ghc8.0.2.so()(64bit)
libHSasync-2.1.1-4n6HEMPJR2eJK0JpvCfuPK-ghc8.0.2.so()(64bit)
libHSdjinn-lib-0.0.1.2-4AmYn3IUBZ15IuinyTpUzc-ghc8.0.2.so()(64bit)
libHSstm-2.4.4.1-JQn4hNPyYjP5m9AcbI88Ve-ghc8.0.2.so()(64bit)
libdl.so.2()(64bit)
libgmp.so.10()(64bit)
libHSfilepath-1.4.1.1-ghc8.0.2.so()(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libutil.so.1()(64bit)
libHSghc-boot-th-8.0.2-ghc8.0.2.so()(64bit)
libHShpc-0.6.0.3-ghc8.0.2.so()(64bit)
libHSghc-boot-8.0.2-ghc8.0.2.so()(64bit)
libHSghci-8.0.2-ghc8.0.2.so()(64bit)
libHSunix-2.7.2.1-ghc8.0.2.so()(64bit)
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
libHStemplate-haskell-2.11.1.0-ghc8.0.2.so()(64bit)
libHSarray-0.5.1.1-ghc8.0.2.so()(64bit)
libpthread.so.0()(64bit)
libHShoopl-3.10.2.1-ghc8.0.2.so()(64bit)
rpmlib(CompressedFileNames) <= 3.0.4-1
libHSghc-8.0.2-ghc8.0.2.so()(64bit)
libHSbytestring-0.10.8.1-ghc8.0.2.so()(64bit)
libHSprocess-1.4.3.0-ghc8.0.2.so()(64bit)
rpmlib(PayloadIsLzma) <= 4.4.6-1
libHSinteger-gmp-1.0.0.1-ghc8.0.2.so()(64bit)


Content of RPM :
/usr/lib64/ghc-8.0.2/djinn-ghc-0.0.2.3-5z85bZcLoZHKC4DwT3srQu
/usr/lib64/ghc-8.0.2/djinn-ghc-0.0.2.3-5z85bZcLoZHKC4DwT3srQu/libHSdjinn-ghc-0.0.2.3-5z85bZcLoZHKC4DwT3srQu-ghc8.0.2.so
/usr/share/doc/packages/ghc-djinn-ghc
/usr/share/doc/packages/ghc-djinn-ghc/LICENSE

  
ICM