Filewatcher File Search File Search
Content Search
» » » » »


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.

Package version:0.6-1+b1


haskell-lazysmallcheck (0.6-1+b1) sid; urgency=low

  * Binary-only non-maintainer upload for mips; no source changes.
  * Rebuild against ghc 7.4.1-2

 -- mips Build Daemon (corelli) <>  Wed, 14 Mar 2012 01:25:58 +0000

haskell-lazysmallcheck (0.6-1) unstable; urgency=low

  * New upstream release

 -- Joachim Breitner <>  Sat, 04 Feb 2012 1


This package was debianised by Kari Pahula <> on
Fri, 10 Jul 2009. All of the Debian packaging scripts are released
into the public domain.

It was downloaded from

Upstream Author: Matthew Naylor

Copyright Matthew Naylor 2006-2008.

Redistribution and use in source and binary forms, with or without
modification, are permitted provi

Browse inside libghc-lazysmallcheck-dev_0.6-1+b1_mips.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (2)  65535+ mirrors
         [DIR]var/ (1)  41013+ mirrors

Download libghc-lazysmallcheck-dev_0.6-1+b1_mips.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017