From owner-cvs-ports@FreeBSD.ORG  Sat Mar 14 15:19:35 2009
Return-Path: <owner-cvs-ports@FreeBSD.ORG>
Delivered-To: cvs-ports@FreeBSD.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34])
	by hub.freebsd.org (Postfix) with ESMTP id 26F94106566B;
	Sat, 14 Mar 2009 15:19:35 +0000 (UTC) (envelope-from pgj@FreeBSD.org)
Received: from repoman.freebsd.org (repoman.freebsd.org
	[IPv6:2001:4f8:fff6::29])
	by mx1.freebsd.org (Postfix) with ESMTP id 15CC48FC19;
	Sat, 14 Mar 2009 15:19:35 +0000 (UTC) (envelope-from pgj@FreeBSD.org)
Received: from repoman.freebsd.org (localhost [127.0.0.1])
	by repoman.freebsd.org (8.14.3/8.14.3) with ESMTP id n2EFJYbG023501;
	Sat, 14 Mar 2009 15:19:34 GMT (envelope-from pgj@repoman.freebsd.org)
Received: (from pgj@localhost)
	by repoman.freebsd.org (8.14.3/8.14.3/Submit) id n2EFJYP0023500;
	Sat, 14 Mar 2009 15:19:34 GMT (envelope-from pgj)
Message-Id: <200903141519.n2EFJYP0023500@repoman.freebsd.org>
From: Gabor Pali <pgj@FreeBSD.org>
Date: Sat, 14 Mar 2009 15:19:34 +0000 (UTC)
To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org
X-FreeBSD-CVS-Branch: HEAD
Cc: 
Subject: cvs commit: ports/devel Makefile ports/devel/hs-lazysmallcheck-ghc
 Makefile distinfo pkg-descr pkg-plist
X-BeenThere: cvs-ports@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: CVS commit messages for the ports tree <cvs-ports.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/cvs-ports>,
	<mailto:cvs-ports-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/cvs-ports>
List-Post: <mailto:cvs-ports@freebsd.org>
List-Help: <mailto:cvs-ports-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/cvs-ports>,
	<mailto:cvs-ports-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Sat, 14 Mar 2009 15:19:35 -0000

pgj         2009-03-14 15:19:34 UTC

  FreeBSD ports repository (doc committer)

  Modified files:
    devel                Makefile 
  Added files:
    devel/hs-lazysmallcheck-ghc Makefile distinfo pkg-descr 
                                pkg-plist 
  Log:
  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.
  
  WWW: http://www.cs.york.ac.uk/~mfn/lazysmallcheck/
  
  Approved by:    gabor
  
  Revision  Changes    Path
  1.3404    +1 -0      ports/devel/Makefile
  1.1       +55 -0     ports/devel/hs-lazysmallcheck-ghc/Makefile (new)
  1.1       +3 -0      ports/devel/hs-lazysmallcheck-ghc/distinfo (new)
  1.1       +8 -0      ports/devel/hs-lazysmallcheck-ghc/pkg-descr (new)
  1.1       +14 -0     ports/devel/hs-lazysmallcheck-ghc/pkg-plist (new)