debian/0000755000000000000000000000000012147643043007172 5ustar debian/watch0000644000000000000000000000035012036250605010214 0ustar version=3 opts="downloadurlmangle=s|archive/([\w\d_-]+)/([\d\.]+)/|archive/$1/$2/$1-$2.tar.gz|,\ filenamemangle=s|(.*)/$|lazysmallcheck-$1.tar.gz|" \ http://hackage.haskell.org/packages/archive/lazysmallcheck \ ([\d\.]*\d)/ debian/control0000644000000000000000000000377412147621357010614 0ustar Source: haskell-lazysmallcheck Section: haskell Priority: extra Maintainer: Debian Haskell Group Uploaders: Joachim Breitner Standards-Version: 3.9.4 Build-Depends: debhelper (>= 9) , haskell-devscripts (>= 0.8.13) , cdbs , ghc , ghc-prof , ghc-doc Vcs-Darcs: http://darcs.debian.org/pkg-haskell/haskell-lazysmallcheck Vcs-Browser: http://darcs.debian.org/cgi-bin/darcsweb.cgi?r=pkg-haskell/haskell-lazysmallcheck Homepage: http://www.cs.york.ac.uk/fp/smallcheck/ Package: libghc-lazysmallcheck-dev Architecture: any Depends: ${haskell:Depends} , ${shlibs:Depends} , ${misc:Depends} Suggests: ${haskell:Suggests} Provides: ${haskell:Provides} Description: A library for demand-driven testing of Haskell programs This package provides a library for the Haskell programming language. . 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. Package: libghc-lazysmallcheck-prof Architecture: any Depends: ${haskell:Depends} , ${misc:Depends} Provides: ${haskell:Provides} Description: A library for demand-driven testing of Haskell programs; profiling libraries This package provides a library for the Haskell programming language, compiled for profiling. . 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. debian/rules0000755000000000000000000000015512036250605010246 0ustar #!/usr/bin/make -f include /usr/share/cdbs/1/rules/debhelper.mk include /usr/share/cdbs/1/class/hlibrary.mk debian/changelog0000644000000000000000000000260512147643043011047 0ustar haskell-lazysmallcheck (0.6-3) unstable; urgency=low * Enable compat level 9 -- Joachim Breitner Fri, 24 May 2013 12:51:15 +0200 haskell-lazysmallcheck (0.6-2) experimental; urgency=low * Depend on haskell-devscripts 0.8.13 to ensure this packages is built against experimental * Bump standards version, no change -- Joachim Breitner Sun, 14 Oct 2012 12:01:24 +0200 haskell-lazysmallcheck (0.6-1) unstable; urgency=low * New upstream release -- Joachim Breitner Sat, 04 Feb 2012 12:05:00 +0100 haskell-lazysmallcheck (0.5-2) unstable; urgency=low [ Marco Túlio Gontijo e Silva ] * debian/source/format: Use 3.0 (quilt). [ Marco Silva ] * Use ghc instead of ghc6 [ Iain Lane ] * Standards-Version → 3.9.2, no changes required * Remove redundant additional base constrant which caused the package not to build with GHC 7 -- Iain Lane Tue, 24 May 2011 17:02:57 +0100 haskell-lazysmallcheck (0.5-1) unstable; urgency=low * Adopt by Debian Haskell Group * New upstream version -- Joachim Breitner Fri, 12 Feb 2010 11:28:40 +0100 haskell-lazysmallcheck (0.3-1) unstable; urgency=low * Initial release (Closes: #534883) * Omitted -doc package as it would have been almost empty. -- Kari Pahula Fri, 24 Jul 2009 10:41:17 +0300 debian/source/0000755000000000000000000000000012036250605010465 5ustar debian/source/format0000644000000000000000000000001412036250605011673 0ustar 3.0 (quilt) debian/compat0000644000000000000000000000000212147616242010371 0ustar 9 debian/libghc-lazysmallcheck-dev.examples0000644000000000000000000000001312036250605015727 0ustar examples/* debian/copyright0000644000000000000000000000334712036250605011127 0ustar This package was debianised by Kari Pahula on Fri, 10 Jul 2009. All of the Debian packaging scripts are released into the public domain. It was downloaded from http://hackage.haskell.org/package/lazysmallcheck Upstream Author: Matthew Naylor Copyright Matthew Naylor 2006-2008. Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met: * Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer. * Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution. * Neither the name of Neil Mitchell nor the names of other contributors may be used to endorse or promote products derived from this software without specific prior written permission. THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.