gpo.zugaina.org

Search Portage & Overlays:

dev-haskell/checkers

Check properties on standard classes and data structures

Screenshots

  • checkers-0.6.0
    ~amd64
    doc hscolour hoogle profile

    View      Download      Browse     License: BSD   
    Overlay: haskell

ChangeLog

commit 5d6b6528dbe94abde45b87e01a5cb6ca042a88ff
Author: hololeap <hololeap@protonmail.com>
Date: Tue Mar 19 20:22:25 2024 -0600

dev-haskell/checkers: add 0.6.0, drop 0.5.6-r1

Signed-off-by: hololeap <hololeap@protonmail.com>

commit 570c8a553a60a54456b3fdeb56b746b4fd1ab329
Author: hololeap <hololeap@protonmail.com>
Date: Sat Nov 18 10:47:56 2023 -0700

dev-haskell/quickcheck: slotmove 2 -> 0

Bug: https://github.com/gentoo-haskell/gentoo-haskell/issues/1502
Signed-off-by: hololeap <hololeap@protonmail.com>

commit db98782e890b3cebf75a19b2da3a1bdcbee17fa4
Author: hololeap <hololeap@users.noreply.github.com>
Date: Fri May 12 06:28:08 2023 -0600

*/*: Remove [profile?] from ghc RDEPEND

This reverts commit b2f01bbf1333c88785109bebf75d49a3bd623727.

Adding [profile?] universally causes issues with exe-only packages with
no profile USE flag. This is better handled in the eclass.

Signed-off-by: hololeap <hololeap@users.noreply.github.com>

commit a2f524e74d7e5e5000c1d057a74dcd7f4af7b43c
Author: hololeap <hololeap@users.noreply.github.com>
Date: Sat May 6 17:04:20 2023 -0600

*/*: Remove ~x86 (and related) from KEYWORDS

x86 is mostly untested, and even building a subset of ::haskell
revealed failing tests which pass on amd64.

With the new behavior of hackport to only add ARCH to KEYWORDS, there
will be CI failures if a package has ~x86 removed but not from its
revdep tree as well. The only sensible mitigation is to remove ~x86
tree-wide until we have a dedicated tester willing to fix current bugs.

See: https://github.com/snoyberg/mono-traversable/issues/210
Signed-off-by: hololeap <hololeap@users.noreply.github.com>

commit b2f01bbf1333c88785109bebf75d49a3bd623727
Author: hololeap <hololeap@users.noreply.github.com>
Date: Fri May 5 15:53:40 2023 -0600

*/*: Add [profile?] to ghc RDEPEND

Any package that depends on 'base' will require the 'base' profiling
libs when profiling is enabled. Because virtually every package depends
on 'base', it makes sense to add [profile?] universally to
'dev-lang/ghc' in RDEPEND.

Reported-by: Filip Kszczot <filip@kszczot.pl>
Signed-off-by: hololeap <hololeap@users.noreply.github.com>

commit 9672ee12c9c489f9e5bfdee329a4e6aed692fe4d
Author: Sam James <sam@gentoo.org>
Date: Sat Jul 30 06:55:18 2022 +0100

*/*: fix https->https in metadatd dtd

Newer hackport fixes this (in git, not tagged yet).

Signed-off-by: Sam James <sam@gentoo.org>

commit 8890c65e0bd670a03ca9b5c19629352a7a6426e3
Author: hololeap <hololeap@users.noreply.github.com>
Date: Sat Feb 12 06:42:20 2022 -0700

dev-haskell/checkers: Bump to 0.5.6-r1

Remove semigroups dep. semigroups is not actually needed unless using <ghc-8:

if !impl(ghc >= 8.0)
build-depends:
semigroups >= 0.18.2 && < 0.19

Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: hololeap <hololeap@users.noreply.github.com>

commit 17bc53cd022d51203276c7d403c794feab63b82c
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Fri Oct 2 17:48:36 2020 +0100

dev-haskell/checkers: bump up to 0.5.6

Package-Manager: Portage-3.0.8, Repoman-3.0.1
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

commit 6bdae38b11b38c45a371a820a57e73960772b571
Author: Philippe Baril Lecavalier <pbl.ltx@gmail.com>
Date: Thu Mar 12 14:59:01 2020 -0230

dev-haskell/checkers: bump up to 0.5.4

Package-Manager: Portage-2.3.89, Repoman-2.3.20
Signed-off-by: Philippe Baril Lecavalier <pbl.ltx@gmail.com>

commit 6138cafbca1e439211ffd900767dba4416646a63
Author: Philippe Baril Lecavalier <pbl.ltx@gmail.com>
Date: Tue Dec 31 11:16:13 2019 -0330

dev-haskell/checkers: bump up to 0.5.2

Package-Manager: Portage-2.3.79, Repoman-2.3.18
Signed-off-by: Philippe Baril Lecavalier <pbl.ltx@gmail.com>

commit 3d16013c65cc8986c7537d76ed3a2855e978d057
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Sat Nov 23 15:39:53 2019 +0000

*/*: Inline mirror://hackage and update URIs

Follow ::gentoo commit 2a2e66a9407205f18
("*/*: Inline mirror://hackage and update URIs ")

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

commit c61de6fbd092ee151036b24d0754ea8a186dd134
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Sat Dec 22 23:38:22 2018 +0000

dev-haskell/checkers: bump up to 0.4.11

Package-Manager: Portage-2.3.52, Repoman-2.3.12
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

commit 2a94f64d40e69b69ddfa1b5da7906d17009e5e6f
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Fri Nov 24 09:25:20 2017 +0000

refresh Manifests

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

commit e065f674df53721710380369d429906f877fc83b
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Sun Nov 19 21:22:14 2017 +0000

dev-haskell/checkers: bump up to 0.4.9.5

Package-Manager: Portage-2.3.14, Repoman-2.3.6

commit 9d31ce0c0ae02ad1c6f2fcdf761c07205dae3fc4
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Sun Jul 23 22:46:20 2017 +0100

dev-haskell/checkers: bump up to 0.4.7

Package-Manager: Portage-2.3.6, Repoman-2.3.3

commit 1a6ba469382ab24f8b77b4ff3b043b6e2ed68306
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Tue Feb 28 21:38:05 2017 +0000

follow ::gentoo in removing '# $Id$' headers

Done as
$ sed -i */*/*.ebuild -e '/^# \$Id\$$/d'

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

commit b716cc0510c4ae4b000a8ade67f58dbebc8e1412
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sat Sep 24 18:31:18 2016 +0100

dev-haskell/checkers: bump up to 0.4.6

Package-Manager: portage-2.3.1

commit dfe1076cfa1516bd96ecaf28b9a6c8c9544bd4c6
Author: Sergei Trofimovich <siarheit@google.com>
Date: Fri Jul 22 21:55:42 2016 +0100

dev-haskell/checkers: bump up to 0.4.5

Package-Manager: portage-2.3.0

commit aa19eeb10bc2eb3e09f93fa8a102c322742943e4
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Tue Jan 26 14:19:48 2016 -0500

Update metadata.xml for GLEP 67

commit a07ebc28966962ac1a61501b62c5a0a80c2f371a
Author: Sergei Trofimovich <siarheit@google.com>
Date: Tue Oct 27 22:00:11 2015 +0000

dev-haskell/checkers: bump up to 0.4.4

Package-Manager: portage-2.2.23

commit b9c11d9d44644f6a277de1f7af562de56e786675
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Aug 9 10:37:52 2015 +0100

convert '# $Header: ' lines to '# $Id$'

The change was adopted when ::gentoo switched to git.

https://github.com/trofi/gentoo-qa/blob/master/check_header.sh

Signed-off-by: Sergei Trofimovich <siarheit@google.com>

commit 9e3a40138a0cb00a5424b144786b80dc6d61b231
Author: Sergei Trofimovich <siarheit@google.com>
Date: Tue May 5 23:47:31 2015 +0100

dev-haskell/checkers: bump up to 0.4.3

Package-Manager: portage-2.2.18

commit c2c761d6c9cf2e1a6f7be8face4a1bfe1ba80b9f
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sat Mar 21 20:32:14 2015 +0000

dev-haskell/checkers: bump up to 0.4.2

Package-Manager: portage-2.2.17

commit 9a5116d3e2f9a9f39136bb6610c0babb15255c9d
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Mon Sep 8 21:48:04 2014 +0300

dev-haskell/checkers: bump up to 0.4.1

Package-Manager: portage-2.2.12_p12

commit 7caba65cd543fbfef1c994cc43a84a5dec653ce7
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Thu Jul 24 18:07:32 2014 +0300

metadata.xml: from <maintainer> field in favour of <herd> one

Mangled by tiny tool:
https://github.com/trofi/gentoo-qa/blob/master/shrink_haskell_metadata.hs

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

commit e10b3ad26e94baf527bce2750ff1e5e1e11ca255
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Thu Jul 24 16:51:36 2014 +0300

drop trailing '.' from DESCRIPTIONs overlay-wide

repoman depected them as:

DESCRIPTION.punctuation 1
net-misc/htsn/htsn-0.1.0.ebuild: DESCRIPTION ends with a '.' character

Fixed by the following tiny script:
https://github.com/trofi/gentoo-qa/blob/master/check_description.sh

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

commit d305b58492a2c85b6b014648212eb30cdae50351
Author: Alexander Vershilov <alexander.vershilov@gmail.com>
Date: Tue Apr 15 13:59:42 2014 +0400

dev-haskell/checkers: fix QC dep

commit 63ad2b4b350d292289fc8ff5516b0b7d3146023d
Author: Alexander Vershilov <alexander.vershilov@gmail.com>
Date: Tue Apr 8 11:16:09 2014 +0400

dev-haskell/checkers: bump up to 0.3.2 (block newer quickcheck)

commit c421fcfa5e1062c7097bb7d69ff3312cb7289bfa
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Fri Jan 4 00:08:24 2013 +0300

dev-haskell/checkers: bump up to 0.3.1

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

commit 0f81ab7105fd5082dc0c7f49770aa9d57cd52b2c
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Thu Jan 3 22:33:21 2013 +0300

dev-haskell/checkers: bump up to 0.3.0

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

commit 1fe8782a78c5c2d09c9c65f723cb570ea537e7c5
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Sun Dec 2 20:22:26 2012 +0300

dev-haskell/checkers: port to ghc-7.6

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

commit 7db4e1b65c2de61d0028528402e5f4d4f1112cf1
Author: Alexander Vershilov <alexander.vershilov@gmail.com>
Date: Fri Sep 7 17:44:46 2012 +0400

big mirror update

commit 88bbb0224ca4d45e00f0f64b16b0c8e79dab66f1
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Fri Jun 15 03:11:07 2012 +0300

regenerated all Manifests to make use of 'thin' feature in one shot

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

commit 32a0a2e8f31cfae4145e95eb7d1999cd27526ff2
Author: Mark Wright <gienah@gentoo.org>
Date: Tue Feb 7 00:24:26 2012 +1100

Bump checkers to 0.2.9

commit 24bc33d08d56c8ccb713740849219234f17abe0b
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Sun Nov 27 19:05:51 2011 +0300

dev-haskell/checkers: repoman says: Useless blank line on last line

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

commit ddfc3d1aa83b3634fb3be0d8024f3d6afe252445
Author: Mark Wright <markwright@internode.on.net>
Date: Thu Nov 17 23:17:59 2011 +1100

Add hoogle support

commit 48b236f62aa10865cac7721b0647b8394e4ff5a2
Author: Mark Wright <markwright@internode.on.net>
Date: Wed Nov 2 14:55:21 2011 +1100

Bump checkers to 0.2.8, built with ghc 7.2.1 and 7.0.4. 7.0.4 build fails twice then succeeds third time.

commit cce361386493ab58fa56f970ae9b19548a89a607
Author: Ivan.Miljenovic@gmail.com <unknown>
Date: Sat Dec 20 12:48:55 2008 +0000

Add checkers ebuild