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 : 0.6.1 Vendor : Fedora Project
Release : 2.fc18 Date : 2012-07-19 23:01:50
Group : System Environment/Libraries Source RPM : ghc-smallcheck-0.6.1-2.fc18.src.rpm
Size : 0.21 MB
Packager : Fedora Project
Summary : A testing library to verify properties of test cases
Description :
SmallCheck is a testing library to verify
properties for all test cases up to some depth. The test cases are
generated automatically by SmallCheck.

RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/18/Everything/x86_64/os/Packages/g

Content of RPM  Changelog  Provides Requires

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

Provides :
ghc-smallcheck
ghc-smallcheck(x86-64)
ghc(smallcheck-0.6.1-bd52fc2c1732bdb2a739435735697433)
libHSsmallcheck-0.6.1-ghc7.4.1.so()(64bit)

Requires :
libc.so.6()(64bit)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
libHSinteger-gmp-0.4.0.0-ghc7.4.1.so()(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)
ghc(dlist-0.5-7276363a34fcf2df7f951f5361c66146)
libHSdlist-0.5-ghc7.4.1.so()(64bit)
rpmlib(PayloadIsXz) <= 5.2-1
ghc(ghc-prim-0.2.0.0-c2ff696e5b8ec4d4b2bc2e42085fe471)
rtld(GNU_HASH)
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
libHSghc-prim-0.2.0.0-ghc7.4.1.so()(64bit)


Content of RPM :
/usr/lib64/ghc-7.4.1/smallcheck-0.6.1
/usr/lib64/ghc-7.4.1/smallcheck-0.6.1/libHSsmallcheck-0.6.1-ghc7.4.1.so
/usr/share/doc/ghc-smallcheck-0.6.1
/usr/share/doc/ghc-smallcheck-0.6.1/LICENSE
/usr/share/doc/ghc-smallcheck-0.6.1/Test
/usr/share/doc/ghc-smallcheck-0.6.1/Test/SmallCheck
/usr/share/doc/ghc-smallcheck-0.6.1/Test/SmallCheck.hs
/usr/share/doc/ghc-smallcheck-0.6.1/Test/SmallCheck/Drivers.hs
/usr/share/doc/ghc-smallcheck-0.6.1/Test/SmallCheck/Property.hs
/usr/share/doc/ghc-smallcheck-0.6.1/Test/SmallCheck/Series.hs
/usr/share/doc/ghc-smallcheck-0.6.1/examples
/usr/share/doc/ghc-smallcheck-0.6.1/examples/binarytries
/usr/share/doc/ghc-smallcheck-0.6.1/examples/binarytries/BinaryTries.hs
/usr/share/doc/ghc-smallcheck-0.6.1/examples/binarytries/README
/usr/share/doc/ghc-smallcheck-0.6.1/examples/circuits
/usr/share/doc/ghc-smallcheck-0.6.1/examples/circuits/BitAdd.hs
/usr/share/doc/ghc-smallcheck-0.6.1/examples/circuits/Mux.hs
/usr/share/doc/ghc-smallcheck-0.6.1/examples/circuits/README
/usr/share/doc/ghc-smallcheck-0.6.1/examples/circuits/Sad.hs
/usr/share/doc/ghc-smallcheck-0.6.1/examples/imperative
/usr/share/doc/ghc-smallcheck-0.6.1/examples/imperative/Behaviour.hs
/usr/share/doc/ghc-smallcheck-0.6.1/examples/imperative/Compiler.hs
/usr/share/doc/ghc-smallcheck-0.6.1/examples/imperative/Interpreter.hs
/usr/share/doc/ghc-smallcheck-0.6.1/examples/imperative/Machine.hs
/usr/share/doc/ghc-smallcheck-0.6.1/examples/imperative/Properties.hs
/usr/share/doc/ghc-smallcheck-0.6.1/examples/imperative/README
/usr/share/doc/ghc-smallcheck-0.6.1/examples/imperative/StackMap.hs
/usr/share/doc/ghc-smallcheck-0.6.1/examples/imperative/Syntax.hs
/usr/share/doc/ghc-smallcheck-0.6.1/examples/imperative/Value.hs
/usr/share/doc/ghc-smallcheck-0.6.1/examples/listy
There is 12 files more in these RPM.

 
ICM