hs-lazysmallcheck 0.6 devel =0

A library for demand-driven testing of Haskell programs
Maintained by: haskell@FreeBSD.org
Port Added: 24 May 2010 20:27:48
Also Listed In: haskell
License: BSD

---

---

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/

CVSWeb : Sources : Main Web Site : Distfiles Availability : PortsMon

---

NOTE: FreshPorts displays only required dependencies information. Optional dependencies are not covered.
Required To Build: lang/ghc, lang/ghc, devel/hs-haddock
Required To Run: lang/ghc, lang/ghc

Required by:
for Build

devel/hs-Stream

for Run

devel/hs-Stream

---

To install the port: cd /usr/ports/devel/hs-lazysmallcheck/ && make install clean
To add the package: pkg_add -r hs-lazysmallcheck

---

Configuration Options

     No options to configure

---

Master Sites:

http://hackage.haskell.org/packages/archive/lazysmallcheck/0.6/

ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/cabal/

• 2012-02-13

  Affects: users of lang/ghc and */hs-*

  Author: pgj@FreeBSD.org

  Reason: 
    GHC has been updated to version 7.0.4, and Haskell Platform to version
    2011.4.0.0, and other Haskell ports are also updated to their Haskell
    Platform versions or latest versions.
  
    To update all affected ports:
  
    # portmaster -r lang/ghc
    or
    # portupgrade -r lang/ghc
  
  



• 2011-05-09

  Affects: users of lang/ghc and */hs-*

  Author: ashish@FreeBSD.org

  Reason: 
    GHC has been updated to version 7.0.3 and other Haskell ports are also
    updated to their Haskell Platform versions or latest versions.
  
    To update all affected ports:
  
    # portmaster -r lang/ghc
    or
    # portupgrade -r lang/ghc
  
  

• port moved here from devel/hs-lazysmallcheck-ghc on 2010-05-24
  REASON: Renamed: No need for suffix
  

- Update to 0.6

Obtained from:  FreeBSD Haskell

Bump PORTREVISION of all ports dependent on lang/ghc as during
upgrade, lang/ghc cabal package cache gets invalidated causing all
dependent ports to be reinstalled.

Obtained from:  FreeBSD Haskell

- Please welcome GHC 7.0.3

GHC in the ports tree has been updated to 7.0.3 and all other Haskell ports
are also updated to their corresponding Haskell Platform versions, or latest
versions.

We would like to acknowledge the support of the FreeBSD Donations Team and
Eotvos Lorand University, Faculty of Informatics who contributed to the server
that we used for testing.

We would also like to thank all the testers who tested FreeBSD Haskell ports
and provided their feedback.

PR:             ports/156642
Approved by:    tabthorpe (mentor)
Obtained from:  FreeBSD Haskell

- Add DIST_SUBDIR for Haskell Cabal ports (with default of "cabal")

Suggested by:   admi3

Rename the following Haskell ports to bring them in sync with the
HackageDB:

  archivers/hs-zip-archive-ghc -> archivers/hs-zip-archive
  devel/hs-binary-ghc -> devel/hs-binary
  devel/darcs -> devel/hs-darcs
  devel/hs-language-c-ghc -> devel/hs-language-c
  devel/hs-lazysmallcheck-ghc -> devel/hs-lazysmallcheck
  devel/hs-pcre-light-ghc -> devel/hs-pcre-light
  devel/hs-utf8-string-ghc -> devel/hs-utf8-string
  graphics/hs-HGL-ghc -> graphics/hs-HGL
  ports-mgmt/porte -> ports-mgmt/hs-porte
  security/hs-digest-ghc -> security/hs-digest
  textproc/hs-haxml -> textproc/hs-HaXml
  textproc/hs-highlighting-kate-ghc -> textproc/hs-highlighting-kate

Forced commit to note rename of the following Haskell ports:

  archivers/hs-zip-archive-ghc -> archivers/hs-zip-archive
  devel/hs-binary-ghc -> devel/hs-binary
  devel/darcs -> devel/hs-darcs
  devel/hs-language-c-ghc -> devel/hs-language-c
  devel/hs-lazysmallcheck-ghc -> devel/hs-lazysmallcheck
  devel/hs-pcre-light-ghc -> devel/hs-pcre-light
  devel/hs-utf8-string-ghc -> devel/hs-utf8-string
  graphics/hs-HGL-ghc -> graphics/hs-HGL
  ports-mgmt/porte -> ports-mgmt/hs-porte
  security/hs-digest-ghc -> security/hs-digest
  textproc/hs-haxml -> textproc/hs-HaXml
  textproc/hs-highlighting-kate-ghc -> textproc/hs-highlighting-kate
  textproc/hs-polyparse-ghc -> textproc/hs-polyparse

12 vulnerabilities affecting 17 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities