FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

I am looking for an LTO tape library. Do you have one to spare?
Commit found by message id
Mon, 4 Jan 2010
[ 05:35:06 pgj ] Original commit 
hs-smallcheck devel files touched by this commit Property-based testing library
head/devel/Makefile
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>

Number of ports [& non-ports] in this commit: 2

Showing files for just one port: devel/hs-smallcheck

show all files

hide all files


5 files found
ActionRevisionLinksFile
import 1.1 View revision /ports/head/devel/hs-smallcheck/Makefile
import 1.1 View revision /ports/head/devel/hs-smallcheck/distinfo
import 1.1 View revision /ports/head/devel/hs-smallcheck/files/patch-smallcheck.cabal
import 1.1 View revision /ports/head/devel/hs-smallcheck/pkg-descr
import 1.1 View revision /ports/head/devel/hs-smallcheck/pkg-plist
Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
bugzilla40*Apr 18
bugzilla40*Apr 18
bugzilla42*Apr 18
bugzilla42*Apr 18
bugzilla44*Apr 18
bugzilla44*Apr 18
curlApr 11
dbus-glibApr 11
libaudiofileApr 11
linux-f10-curlApr 11
linux-f10-dbus-glibApr 11
linux-f10-libaudiofileApr 11
linux-f10-nas-libsApr 11
linux-f10-openldapApr 11
mingw32-openssl*Apr 11

13 vulnerabilities affecting 18 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds


Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 24366
Broken 180
Deprecated 90
Ignore 534
Forbidden 6
Restricted 263
No CDROM 108
Vulnerable 29
Expired 8
Set to expire 77
Interactive 22
new 24 hours 1
new 48 hours2
new 7 days15
new fortnight39
new month142


Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2014 Dan Langille. All rights reserved.