Date: Mon, 4 Jan 2010 05:35:06 +0000 (UTC) From: Gabor Pali <pgj@FreeBSD.org> To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org Subject: cvs commit: ports/devel Makefile ports/devel/hs-smallcheck Makefile distinfo pkg-descr pkg-plist ports/devel/hs-smallcheck/files patch-smallcheck.cabal Message-ID: <201001040535.o045Z6tb013041@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
pgj 2010-01-04 05:35:06 UTC FreeBSD ports repository Modified files: devel Makefile Added files: devel/hs-smallcheck Makefile distinfo pkg-descr pkg-plist devel/hs-smallcheck/files patch-smallcheck.cabal Log: SmallCheck is similar to QuickCheck (Claessen and Hughes 2000-) but instead of testing for a sample of randomly generated values, SmallCheck tests properties for all the finitely many values up to some depth, progressively increasing the depth used. WWW: http://hackage.haskell.org/package/smallcheck PR: ports/142280 Submitted by: Jacula Modyun <jacula(at)gmail.com> Revision Changes Path 1.3739 +1 -0 ports/devel/Makefile 1.1 +89 -0 ports/devel/hs-smallcheck/Makefile (new) 1.1 +3 -0 ports/devel/hs-smallcheck/distinfo (new) 1.1 +29 -0 ports/devel/hs-smallcheck/files/patch-smallcheck.cabal (new) 1.1 +6 -0 ports/devel/hs-smallcheck/pkg-descr (new) 1.1 +14 -0 ports/devel/hs-smallcheck/pkg-plist (new)
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201001040535.o045Z6tb013041>