cvs commit: ports/devel Makefile ports/devel/hs-smallcheck Makefile distinfo pkg-descr pkg-plist ports/devel/hs-smallcheck/files patch-smallcheck.cabal

Gabor Pali pgj at FreeBSD.org
Mon Jan 4 05:35:06 UTC 2010


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)


More information about the cvs-ports mailing list