SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : ghc-QuickCheck
Version : 2.9.2 Vendor : obs://build_opensuse_org/home:so_it_team
Release : 2.7 Date : 2018-11-09 22:23:56
Group : Development/Languages/Other Source RPM : ghc-QuickCheck-2.9.2-2.7.src.rpm
Size : 1.47 MB
Packager : (none)
Summary : Automatic testing of Haskell programs
Description :
QuickCheck is a library for random testing of program properties.

The programmer provides a specification of the program, in the form of
properties which functions should satisfy, and QuickCheck then tests that the
properties hold in a large number of randomly generated cases.

Specifications are expressed in Haskell, using combinators defined in the
QuickCheck library. QuickCheck provides combinators to define properties,
observe the distribution of test data, and define test data generators.

You can find a (slightly out-of-date but useful) manual at
< http://www.cse.chalmers.se/~rjmh/QuickCheck/manual.html>.

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

Content of RPM  Changelog  Provides Requires

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

Provides :
ghc-QuickCheck
ghc-QuickCheck(x86-64)
libHSQuickCheck-2.9.2-Jyj4gc4JxkEIgGFLAsGhs9-ghc8.0.2.so()(64bit)

Requires :
libc.so.6()(64bit)
libgmp.so.10()(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libHStime-1.6.0.1-ghc8.0.2.so()(64bit)
libHSpretty-1.1.3.3-ghc8.0.2.so()(64bit)
libHSghc-boot-th-8.0.2-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)
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)
libHStransformers-0.5.2.0-ghc8.0.2.so()(64bit)
libHSdeepseq-1.4.2.0-ghc8.0.2.so()(64bit)
rpmlib(CompressedFileNames) <= 3.0.4-1
libHSbase-4.9.1.0-ghc8.0.2.so()(64bit)
libHStf-random-0.5-BGjMgO8m67W8CHiEl15kZ7-ghc8.0.2.so()(64bit)
libHSprimitive-0.6.1.0-6AbSTw9JXz141LE5p6LGH-ghc8.0.2.so()(64bit)
rpmlib(PayloadIsLzma) <= 4.4.6-1
libHSrandom-1.1-9tceXaeYIMZ4JrKq20Egog-ghc8.0.2.so()(64bit)
libHSinteger-gmp-1.0.0.1-ghc8.0.2.so()(64bit)


Content of RPM :
/usr/lib64/ghc-8.0.2/QuickCheck-2.9.2-Jyj4gc4JxkEIgGFLAsGhs9
/usr/lib64/ghc-8.0.2/QuickCheck-2.9.2-Jyj4gc4JxkEIgGFLAsGhs9/libHSQuickCheck-2.9.2-Jyj4gc4JxkEIgGFLAsGhs9-ghc8.0.2.so
/usr/share/doc/packages/ghc-QuickCheck
/usr/share/doc/packages/ghc-QuickCheck/LICENSE

 
ICM