SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

ghc-smallcheck rpm build for : Fedora 18. For other distributions click ghc-smallcheck.

Name : ghc-smallcheck
Version : 1.0.4 Vendor : Fedora Project
Release : 2.fc18 Date : 2013-09-02 08:13:49
Group : Unspecified Source RPM : ghc-smallcheck-1.0.4-2.fc18.src.rpm
Size : 0.35 MB
Packager : Fedora Project
Summary : A property-based testing library
Description :
SmallCheck is a testing library that allows to verify properties for
all test cases up to some depth. The test cases are generated automatically.

RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/18/x86_64

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ghc-smallcheck-1.0.4-2.fc18.x86_64.rpm
     

Provides :
ghc-smallcheck
ghc-smallcheck(x86-64)
ghc(smallcheck-1.0.4-1e706ca9897eae0ec7e5f6730f989362)
libHSsmallcheck-1.0.4-ghc7.4.1.so()(64bit)

Requires :
libc.so.6()(64bit)
libHSbase-4.5.0.0-ghc7.4.1.so()(64bit)
ghc(base-4.5.0.0-40b99d05fae6a4eea95ea69e6e0c9702)
libgmp.so.10()(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libHSmtl-2.1.1-ghc7.4.1.so()(64bit)
libHSlogict-0.6-ghc7.4.1.so()(64bit)
libHSpretty-1.1.1.0-ghc7.4.1.so()(64bit)
ghc(ghc-prim-0.2.0.0-c2ff696e5b8ec4d4b2bc2e42085fe471)
ghc(logict-0.6-d4aeb637ee8090460334e88b32999642)
rtld(GNU_HASH)
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
libHStransformers-0.3.0.0-ghc7.4.1.so()(64bit)
ghc(mtl-2.1.1-801101765c9185fec3b8dbd5355f5550)
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(CompressedFileNames) <= 3.0.4-1
libHSinteger-gmp-0.4.0.0-ghc7.4.1.so()(64bit)
ghc(pretty-1.1.1.0-74ee6c6be86f83487da68d408cc3ae22)
rpmlib(PayloadIsXz) <= 5.2-1
libHSghc-prim-0.2.0.0-ghc7.4.1.so()(64bit)


Content of RPM :
/usr/lib64/ghc-7.4.1/smallcheck-1.0.4
/usr/lib64/ghc-7.4.1/smallcheck-1.0.4/libHSsmallcheck-1.0.4-ghc7.4.1.so
/usr/share/doc/ghc-smallcheck-1.0.4
/usr/share/doc/ghc-smallcheck-1.0.4/LICENSE

  
ICM