SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : ghc-smallcheck
Version : 0.6.1 Vendor : Fedora Project
Release : 1.fc16 Date : 2012-06-19 11:29:19
Group : System Environment/Libraries Source RPM : ghc-smallcheck-0.6.1-1.fc16.src.rpm
Size : 0.20 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/updates/16/x86_64

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ghc-smallcheck-0.6.1-1.fc16.x86_64.rpm
     

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

Requires :
libHSinteger-gmp-0.2.0.3-ghc7.0.4.so()(64bit)
libc.so.6()(64bit)
ghc(base-4.3.1.0) = d2298ea3d0e16f270dfe58dfbda12bff
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
libc.so.6(GLIBC_2.2.5)(64bit)
libHSghc-prim-0.2.0.0-ghc7.0.4.so()(64bit)
rpmlib(PayloadIsXz) <= 5.2-1
rtld(GNU_HASH)
libgmp.so.3()(64bit)
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
libHSbase-4.3.1.0-ghc7.0.4.so()(64bit)


Content of RPM :
/usr/lib64/ghc-7.0.4/smallcheck-0.6.1
/usr/lib64/ghc-7.0.4/smallcheck-0.6.1/libHSsmallcheck-0.6.1-ghc7.0.4.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