Summary: | [new port]: haskell port devel/hs-smallcheck | ||||||
---|---|---|---|---|---|---|---|
Product: | Ports & Packages | Reporter: | Jacula Modyun <jacula> | ||||
Component: | Individual Port(s) | Assignee: | freebsd-haskell (Nobody) <haskell> | ||||
Status: | Closed FIXED | ||||||
Severity: | Affects Only Me | ||||||
Priority: | Normal | ||||||
Version: | Latest | ||||||
Hardware: | Any | ||||||
OS: | Any | ||||||
Attachments: |
|
Description
Jacula Modyun
2010-01-03 23:00:12 UTC
Responsible Changed From-To: freebsd-ports-bugs->haskell haskell@ wants this port PRs (via the GNATS Auto Assign Tool) 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) _______________________________________________ cvs-all@freebsd.org mailing list http://lists.freebsd.org/mailman/listinfo/cvs-all To unsubscribe, send any mail to "cvs-all-unsubscribe@freebsd.org" State Changed From-To: open->closed The port has been added. Thank you! |