head	1.9;
access;
symbols
	pkgsrc-2026Q1:1.9.0.10
	pkgsrc-2026Q1-base:1.9
	pkgsrc-2025Q4:1.9.0.8
	pkgsrc-2025Q4-base:1.9
	pkgsrc-2025Q3:1.9.0.6
	pkgsrc-2025Q3-base:1.9
	pkgsrc-2025Q2:1.9.0.4
	pkgsrc-2025Q2-base:1.9
	pkgsrc-2025Q1:1.9.0.2
	pkgsrc-2025Q1-base:1.9
	pkgsrc-2024Q4:1.8.0.6
	pkgsrc-2024Q4-base:1.8
	pkgsrc-2024Q3:1.8.0.4
	pkgsrc-2024Q3-base:1.8
	pkgsrc-2024Q2:1.8.0.2
	pkgsrc-2024Q2-base:1.8
	pkgsrc-2024Q1:1.7.0.4
	pkgsrc-2024Q1-base:1.7
	pkgsrc-2023Q4:1.7.0.2
	pkgsrc-2023Q4-base:1.7
	pkgsrc-2023Q3:1.6.0.16
	pkgsrc-2023Q3-base:1.6
	pkgsrc-2023Q2:1.6.0.14
	pkgsrc-2023Q2-base:1.6
	pkgsrc-2023Q1:1.6.0.12
	pkgsrc-2023Q1-base:1.6
	pkgsrc-2022Q4:1.6.0.10
	pkgsrc-2022Q4-base:1.6
	pkgsrc-2022Q3:1.6.0.8
	pkgsrc-2022Q3-base:1.6
	pkgsrc-2022Q2:1.6.0.6
	pkgsrc-2022Q2-base:1.6
	pkgsrc-2022Q1:1.6.0.4
	pkgsrc-2022Q1-base:1.6
	pkgsrc-2021Q4:1.6.0.2
	pkgsrc-2021Q4-base:1.6
	pkgsrc-2021Q3:1.4.0.4
	pkgsrc-2021Q3-base:1.4
	pkgsrc-2021Q2:1.4.0.2
	pkgsrc-2021Q2-base:1.4
	pkgsrc-2021Q1:1.3.0.10
	pkgsrc-2021Q1-base:1.3
	pkgsrc-2020Q4:1.3.0.8
	pkgsrc-2020Q4-base:1.3
	pkgsrc-2020Q3:1.3.0.6
	pkgsrc-2020Q3-base:1.3
	pkgsrc-2020Q2:1.3.0.4
	pkgsrc-2020Q2-base:1.3
	pkgsrc-2020Q1:1.3.0.2
	pkgsrc-2020Q1-base:1.3
	pkgsrc-2019Q4:1.2.0.38
	pkgsrc-2019Q4-base:1.2
	pkgsrc-2019Q3:1.2.0.34
	pkgsrc-2019Q3-base:1.2
	pkgsrc-2019Q2:1.2.0.32
	pkgsrc-2019Q2-base:1.2
	pkgsrc-2019Q1:1.2.0.30
	pkgsrc-2019Q1-base:1.2
	pkgsrc-2018Q4:1.2.0.28
	pkgsrc-2018Q4-base:1.2
	pkgsrc-2018Q3:1.2.0.26
	pkgsrc-2018Q3-base:1.2
	pkgsrc-2018Q2:1.2.0.24
	pkgsrc-2018Q2-base:1.2
	pkgsrc-2018Q1:1.2.0.22
	pkgsrc-2018Q1-base:1.2
	pkgsrc-2017Q4:1.2.0.20
	pkgsrc-2017Q4-base:1.2
	pkgsrc-2017Q3:1.2.0.18
	pkgsrc-2017Q3-base:1.2
	pkgsrc-2017Q2:1.2.0.14
	pkgsrc-2017Q2-base:1.2
	pkgsrc-2017Q1:1.2.0.12
	pkgsrc-2017Q1-base:1.2
	pkgsrc-2016Q4:1.2.0.10
	pkgsrc-2016Q4-base:1.2
	pkgsrc-2016Q3:1.2.0.8
	pkgsrc-2016Q3-base:1.2
	pkgsrc-2016Q2:1.2.0.6
	pkgsrc-2016Q2-base:1.2
	pkgsrc-2016Q1:1.2.0.4
	pkgsrc-2016Q1-base:1.2
	pkgsrc-2015Q4:1.2.0.2
	pkgsrc-2015Q4-base:1.2
	pkgsrc-2015Q3:1.1.0.6
	pkgsrc-2015Q3-base:1.1
	pkgsrc-2015Q2:1.1.0.4
	pkgsrc-2015Q2-base:1.1
	pkgsrc-2015Q1:1.1.0.2
	pkgsrc-2015Q1-base:1.1;
locks; strict;
comment	@# @;


1.9
date	2025.01.29.17.36.52;	author pho;	state Exp;
branches;
next	1.8;
commitid	LTT4i9FvImNodpHF;

1.8
date	2024.04.29.03.33.52;	author pho;	state Exp;
branches;
next	1.7;
commitid	phbCgb5vSABfoZ7F;

1.7
date	2023.10.27.07.26.45;	author pho;	state Exp;
branches;
next	1.6;
commitid	184WnWuYgWpPCeKE;

1.6
date	2021.10.26.10.14.51;	author nia;	state Exp;
branches;
next	1.5;
commitid	XMBRkrafc79x2jeD;

1.5
date	2021.10.07.13.39.45;	author nia;	state Exp;
branches;
next	1.4;
commitid	TK9Y8OXA04EYMSbD;

1.4
date	2021.04.23.10.46.52;	author pho;	state Exp;
branches;
next	1.3;
commitid	78ofuZYZ1bAYcpQC;

1.3
date	2020.01.01.03.44.06;	author pho;	state Exp;
branches;
next	1.2;
commitid	YpACqZ0RSPKxeWQB;

1.2
date	2015.11.03.03.27.31;	author agc;	state Exp;
branches;
next	1.1;
commitid	XagoUgdES8g2ZAHy;

1.1
date	2015.02.14.04.34.33;	author pho;	state Exp;
branches;
next	;
commitid	M7FLdUxe2A2cNV9y;


desc
@@


1.9
log
@devel/hs-QuickCheck: update to QuickCheck-2.15.0.1

No release notes have been provided by the upstream.
@
text
@$NetBSD: distinfo,v 1.8 2024/04/29 03:33:52 pho Exp $

BLAKE2s (QuickCheck-2.15.0.1.tar.gz) = 9df5c46dc7b84844173c2c5a59e5b6b6e96edd50dd7188d948943bd9cbe9c5fe
SHA512 (QuickCheck-2.15.0.1.tar.gz) = 8fbcd49b5c87b1731cc9f11de9122b34a7cec3d0d936df3f43c29d2461f9b912f651e3d36f834c50627dc889d86893752a78c1973a003ad64ab86f0b160b4ad7
Size (QuickCheck-2.15.0.1.tar.gz) = 81502 bytes
@


1.8
log
@devel/hs-QuickCheck: Update to 2.15

QuickCheck 2.15
	* BREAKING: properties without quantification are no longer implicitly
	  wrapped in once
	* Add witness property modifier and witnesses field in result on
	compilers that support Typeable to allow conveniently exposing
	counterexamples
	* Add assertException, assertExceptionIO, assertDeepException, and
	assertDeepExceptionIO (thanks to Alexey Kuleshevich)
	* Add withMaxSize, withMaxShrinks, and withMaxDiscardRatio combinators
	* Add recheck
	* Add HasCallStack to partial top-level functions
	* Updated some documentation
	* Fix overflow bug when calculating discard ratio
	* Fix error printing bug when shrinks are discarded
	* Fix withMaxSuccess not working when checkCoverage is turned on
	* Fix a bug whereby an unfortunately timed discard could unduly fail a
	property running with checkCoverage
	* Fix Arbitrary intance for Map breaking invariants from
	Data.Map.Strict (thanks to Neil Mayhew)
	* Fix non-covered classes not showing up in output as 0% covered
	* Fix Negative's Arbitrary instance discarding an unnecessary number
	of generated values.
	* Fix promote doing an unnecessary seed split
	* Fix a bug whereby maxSuccess and discardRatio would interact poorly
	to produce too few size increases.
	* Fix a couple of underflow bugs in generators for Small Natural and
	Ratio Natural
	* Fix a bug whereby the internal DISCARDED exception would show up
	user-side in sample
@
text
@d1 1
a1 1
$NetBSD: distinfo,v 1.7 2023/10/27 07:26:45 pho Exp $
d3 3
a5 3
BLAKE2s (QuickCheck-2.15.tar.gz) = ef193b377a683149191eae90de6745f9edf7b67613cd9dcb1d0650c3a48842c8
SHA512 (QuickCheck-2.15.tar.gz) = 878d444acf3c3800ce2654d8dd58d8a9adb609d237ce250d2a8bc1237fa75e86141b92722ae3a9de4cafe6685203a90e503ad336892606e8ffc5ca78c93101eb
Size (QuickCheck-2.15.tar.gz) = 81363 bytes
@


1.7
log
@devel/hs-QuickCheck: Update to 2.14.3

QuickCheck 2.14.3 (released 2023-05-31)
* Add shrinkBoundedEnum (thanks to Jonathan Knowles)
* Add discardAfter for discarding tests on timeout (thanks to Justus Sagemüller)
* Add assertWith for monadic testing (thanks to KtorZ)
* Add functionElements to Test.QuickCheck.Function (thanks to Oleg Grenrus)
* Add Arbitrary instance for Newline (thanks to Daniel Bramucci)
* Improve Arbitrary instances for Float and Double (thanks to Oleg Grenrus)
* Improve arbitrarySizedFractional (thanks to Bodigrim)
* Fix shrinkRealFrac and shrinkDecimal, which were broken
* Speed up printing of progress messages (thanks to Bodigrim)
* Add COMPLETE pragmas for Fn and family (thanks to ilkecan)
* Make templateHaskell flag manual (thanks to Oleg Grenrus)
@
text
@d1 1
a1 1
$NetBSD: distinfo,v 1.6 2021/10/26 10:14:51 nia Exp $
d3 3
a5 3
BLAKE2s (QuickCheck-2.14.3.tar.gz) = 1abe8376939532a5a41b1871308899cf884c769c1003772a7a5b2b2764be8f85
SHA512 (QuickCheck-2.14.3.tar.gz) = d00499fcdbe66d384a40c66a0d01dfe80f0622599f2f19ab569b45ef13c8d726c855b4687c7a1be022ea22df4bc66c48cf12fc156fadc558714fccc5a3deef7e
Size (QuickCheck-2.14.3.tar.gz) = 76849 bytes
@


1.6
log
@archivers: Replace RMD160 checksums with BLAKE2s checksums

All checksums have been double-checked against existing RMD160 and
SHA512 hashes

Could not be committed due to merge conflict:
devel/py-traitlets/distinfo

The following distfiles were unfetchable (note: some may be only fetched
conditionally):

./devel/pvs/distinfo pvs-3.2-solaris.tgz
./devel/eclipse/distinfo eclipse-sourceBuild-srcIncluded-3.0.1.zip
@
text
@d1 1
a1 1
$NetBSD: distinfo,v 1.5 2021/10/07 13:39:45 nia Exp $
d3 3
a5 3
BLAKE2s (QuickCheck-2.14.2.tar.gz) = 16344d288e3ffa29638e512a4a5d5a9ecb18c4c4f9522fbaa2fa26388538a324
SHA512 (QuickCheck-2.14.2.tar.gz) = 84decd354e6093bc72afd125410499dd4be3ae8fdbf0a3b466011b4dbcb5c5657e51ab75cfe22790e22bf4ac54cbb1203ff7a0d108e872ce60f4831be827a6e5
Size (QuickCheck-2.14.2.tar.gz) = 75246 bytes
@


1.5
log
@devel: Remove SHA1 hashes for distfiles
@
text
@d1 1
a1 1
$NetBSD: distinfo,v 1.4 2021/04/23 10:46:52 pho Exp $
d3 1
a3 1
RMD160 (QuickCheck-2.14.2.tar.gz) = 361c5f6a40d82ac93125b5e754ef562de6693850
@


1.4
log
@Update to QuickCheck-2.14.2

QuickCheck 2.14.2 (released 2020-11-14)
* Add Arbitrary instances for Tree (thanks to Oleg Grenrus)
* GHC 9.0 compatibility (thanks to Vilem-Benjamin Liepelt)

QuickCheck 2.14.1 (released 2020-07-05)
* Compatibility with random >= 1.2.

QuickCheck 2.14 (released 2020-03-28)
* QuickCheck is now much faster at generating test data!

  As a result, many properties can now be tested a lot faster; the
  examples distributed with QuickCheck run about twice as fast as
  before, for example. Of course, your mileage may vary.

  The reason for this is that there are now specialised versions of
  the 'choose' combinator for various types. These are: chooseInt,
  chooseInteger, chooseBoundedIntegral, and chooseEnum.  These
  combinators are identical to 'choose' but much faster.  All
  QuickCheck combinators, with the exception of 'choose' itself, use
  the new combinators behind the scenes.

  You should see a speedup without doing anything, but to get a
  further speedup, consider replacing any uses of 'choose' in your own
  generators with the new combinators.

  We are hoping that future releases of the 'random' library may speed
  up 'choose', in which case these combinators may no longer be
  needed.

  Thanks to Oleg Grenrus for suggesting to bypass 'choose' for random
  number generation, and providing the appropriate primitive in his
  'splitmix' random number library.

* Smaller changes and bugfixes:
  - RecursivelyShrink and GSubterms are exported from
    Test.QuickCheck.Test (thanks to Tom Mortiboy).
  - Don't generate invalid unicode characters (thanks to Boris
    Stepanov).
  - When a call to 'within' fails, include the duration of the timeout
    in the failure report (thanks to William Rusnack).
  - In Gen, avoid splitting the seed in the implementation of >>, *>
    and <* (thanks to David Feuer).
  - Fix a couple of bugs with shrinking of floating-point numbers.
  - Export functionMapWith, functionEitherWith and functionPairWith
    from Test.QuickCheck.Function (thanks to Oleg Grenrus).
  - Remove redundant RealFloat constraint from Arbitrary/CoArbitrary
    instances for Complex (thanks to Bodigrim).
@
text
@d1 1
a1 1
$NetBSD: distinfo,v 1.3 2020/01/01 03:44:06 pho Exp $
a2 1
SHA1 (QuickCheck-2.14.2.tar.gz) = 392b8376ef4e312eac2589c414f70aa067d714ca
@


1.3
log
@Update to QuickCheck-2.13.2

Changes:
http://hackage.haskell.org/package/QuickCheck-2.13.2/changelog
@
text
@d1 1
a1 1
$NetBSD: distinfo,v 1.2 2015/11/03 03:27:31 agc Exp $
d3 4
a6 4
SHA1 (QuickCheck-2.13.2.tar.gz) = b9e6f4f5da76373bd72fc8089aecc8b9e2964a8e
RMD160 (QuickCheck-2.13.2.tar.gz) = 84b1a38c702c3f1f445f597147b3055fc9221748
SHA512 (QuickCheck-2.13.2.tar.gz) = d2c92caec8bdf9089483b1f256f17f3d50e066f57eddb630f1831a232c4e33a0d4f55a0f927aa433cd3379283fa2615fd2937941e6847b234ea00b0fbeb46b98
Size (QuickCheck-2.13.2.tar.gz) = 70427 bytes
@


1.2
log
@Add SHA512 digests for distfiles for devel category

Issues found with existing distfiles:
	distfiles/eclipse-sourceBuild-srcIncluded-3.0.1.zip
	distfiles/fortran-utils-1.1.tar.gz
	distfiles/ivykis-0.39.tar.gz
	distfiles/enum-1.11.tar.gz
	distfiles/pvs-3.2-libraries.tgz
	distfiles/pvs-3.2-linux.tgz
	distfiles/pvs-3.2-solaris.tgz
	distfiles/pvs-3.2-system.tgz
No changes made to these distinfo files.

Otherwise, existing SHA1 digests verified and found to be the same on
the machine holding the existing distfiles (morden).  All existing
SHA1 digests retained for now as an audit trail.
@
text
@d1 1
a1 1
$NetBSD: distinfo,v 1.1 2015/02/14 04:34:33 pho Exp $
d3 4
a6 4
SHA1 (QuickCheck-2.7.6.tar.gz) = 895d84eb5d87432dd927252d93a39fe95cbcce6a
RMD160 (QuickCheck-2.7.6.tar.gz) = af4cf6bc27997def5b6cd15fc5acc586e7015e3f
SHA512 (QuickCheck-2.7.6.tar.gz) = 21e17fbe6dfc2425a948c789ac7d519cfb21c48df68b63de68e6af192d9642d24e1e46ba0b356767e2a10461a3032a4742a6608248574ae458fd2f03649f0451
Size (QuickCheck-2.7.6.tar.gz) = 34513 bytes
@


1.1
log
@Import QuickCheck-2.7.6 from wip/hs-QuickCheck

QuickCheck is a library for random testing of program properties.

The programmer provides a specification of the program, in the form of
properties which functions should satisfy, and QuickCheck then tests
that the properties hold in a large number of randomly generated
cases.

Specifications are expressed in Haskell, using combinators defined in
the QuickCheck library. QuickCheck provides combinators to define
properties, observe the distribution of test data, and define test
data generators.
@
text
@d1 1
a1 1
$NetBSD$
d5 1
@