| Name : ghc-checkers
| |
| Version : 0.4.6
| Vendor : obs://build_opensuse_org/home:so_it_team
|
| Release : 2.2
| Date : 2018-08-25 07:29:05
|
| Group : Development/Languages/Other
| Source RPM : ghc-checkers-0.4.6-2.2.src.rpm
|
| Size : 0.29 MB
| |
| Packager : (none)
| |
| Summary : Check properties on standard classes and data structures
|
Description :
\'\'Checkers\'\' wraps up the expected properties associated with various standard
type classes as QuickCheck properties. Also some morphism properties.
It also provides arbitrary instances and generator combinators for common data
types.
© 2008-2013 by Conal Elliott; BSD3 license.
Contributions from: Thomas Davie.
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/home:/so_it_team:/12.x/SLE_12_SP3/x86_64 |
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
ghc-checkers
ghc-checkers(x86-64)
libHScheckers-0.4.6-9JlQ7Pj0roFCSTH3gvT7C0-ghc8.0.2.so()(64bit)
Requires :
