Package: libghc-lazysmallcheck-dev (0.6-1 and others)

[ Source: haskell-lazysmallcheck  ]

A library for demand-driven testing of Haskell programs

This package provides a library for the Haskell programming language.

Lazy SmallCheck is a library for exhaustive, demand-driven testing of Haskell programs. It is based on the idea that if a property holds for a partially-defined input then it must also hold for all fully-defined refinements of the that input. Compared to ``eager'' input generation as in SmallCheck, Lazy SmallCheck may require significantly fewer test-cases to verify a property for all inputs up to a given depth.

Other Packages Related to libghc-lazysmallcheck-dev

• dep: libc0.1 (>= 2.3.4) [kfreebsd-amd64, kfreebsd-i386]

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc0.1-udeb

• dep: libc0.3 (>= 2.3.4) [hurd-i386]

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc0.3-udeb

• dep: libc6 (>= 2.13) [s390x]

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.13-28) [armhf]

  dep: libc6 (>= 2.7) [not alpha, armhf, hurd-i386, kfreebsd-amd64, kfreebsd-i386, s390x]

• dep: libc6.1 (>= 2.7) [alpha]

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc6.1-udeb

• dep: libffi5 (>= 3.0.10-3) [kfreebsd-amd64, kfreebsd-i386]

  Foreign Function Interface library runtime

  dep: libffi5 (>= 3.0.4) [not armel, armhf, kfreebsd-amd64, kfreebsd-i386]

  dep: libffi5 (>= 3.0.9) [armel, armhf]

• dep: libgcc1 (>= 1:4.4.0) [armel, armhf]

  GCC support library

• dep: libghc-base-dev-4.5.0.0-020de [hurd-i386]

  virtual package provided by ghc

• dep: libghc-base-dev-4.5.0.0-40417 [mips]

  virtual package provided by ghc

• dep: libghc-base-dev-4.5.0.0-40b99 [amd64]

  virtual package provided by ghc

• dep: libghc-base-dev-4.5.0.0-4aa0e [alpha]

  virtual package provided by ghc

• dep: libghc-base-dev-4.5.0.0-4d405 [mipsel]

  virtual package provided by ghc

• dep: libghc-base-dev-4.5.0.0-67592 [s390]

  virtual package provided by ghc

• dep: libghc-base-dev-4.5.0.0-9e9c4 [sparc]

  virtual package provided by ghc

• dep: libghc-base-dev-4.5.0.0-add11 [powerpc]

  virtual package provided by ghc

• dep: libghc-base-dev-4.5.0.0-b7e97 [s390x]

  virtual package provided by ghc

• dep: libghc-base-dev-4.5.0.0-c8e71 [i386]

  virtual package provided by ghc

• dep: libghc-base-dev-4.5.0.0-d93d7 [kfreebsd-i386]

  virtual package provided by ghc

• dep: libghc-base-dev-4.5.0.0-d93df [armhf]

  virtual package provided by ghc

• dep: libghc-base-dev-4.5.0.0-dde34 [kfreebsd-amd64]

  virtual package provided by ghc

• dep: libghc-base-dev-4.5.0.0-e5583 [armel]

  virtual package provided by ghc

• dep: libgmp10

  Multiprecision arithmetic library

• sug: libghc-lazysmallcheck-prof

  A library for demand-driven testing of Haskell programs; profiling libraries

Download libghc-lazysmallcheck-dev

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	0.6-1+b1	111.9 kB	722.0 kB	[list of files]
amd64	0.6-1+b1	69.3 kB	336.0 kB	[list of files]
armel	0.6-1	85.6 kB	431.0 kB	[list of files]
armhf	0.6-1+b1	89.0 kB	427.0 kB	[list of files]
hurd-i386	0.6-1+b2	65.8 kB	317.0 kB	[list of files]
i386	0.6-1+b1	66.9 kB	317.0 kB	[list of files]
kfreebsd-amd64	0.6-1+b1	69.4 kB	338.0 kB	[list of files]
kfreebsd-i386	0.6-1+b1	66.7 kB	251.0 kB	[list of files]
mips	0.6-1+b1	117.3 kB	565.0 kB	[list of files]
mipsel	0.6-1+b1	110.4 kB	565.0 kB	[list of files]
powerpc	0.6-1+b1	78.5 kB	375.0 kB	[list of files]
s390	0.6-1+b1	102.8 kB	514.0 kB	[list of files]
s390x	0.6-1+b1	109.1 kB	694.0 kB	[list of files]
sparc	0.6-1+b1	112.4 kB	573.0 kB	[list of files]