gpo.zugaina.org

Search Portage & Overlays:

dev-haskell/dec

Decidable propositions

Screenshots

  • dec-0.0.6
    ~amd64
    doc hscolour hoogle profile

    View      Download      Browse     License: BSD   
    Overlay: haskell
  • dec-0.0.5
    ~amd64 ~arm64 ~ppc64 ~riscv ~x86
    doc hscolour profile

    View      Download      Browse     License: BSD   
    Overlay: gentoo
  • dec-0.0.3
    ~amd64 ~arm64 ~ppc64 ~riscv ~x86
    doc hscolour profile

    View      Download      Browse     License: BSD   
    Overlay: gentoo

ChangeLog

commit 2dc325cad0d5fa7069fc09f2d7a61a03edcc5f57
Author: Mark Wright <gienah@gentoo.org>
Date: Tue Aug 6 11:56:57 2024 +1000

dev-haskell/dec: Bump to 0.0.6

Signed-off-by: Mark Wright <gienah@gentoo.org>

commit fc3b84ad0cfabe95c8849000b6db59f9b5e320a0
Author: Sergey Alirzaev <l29ah@riseup.net>
Date: Mon Mar 4 17:43:10 2024 +0100

dev-haskell/dec: bump cabal rev

Signed-off-by: Sergey Alirzaev <l29ah@riseup.net>

commit 142bf91f4b0076479eb8479702d2cd895bbbdec3
Author: Sergey Alirzaev <l29ah@riseup.net>
Date: Thu Aug 10 14:44:40 2023 +0200

dev-haskell/dec: bump cabal revision

Signed-off-by: Sergey Alirzaev <l29ah@riseup.net>

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 062e843e84535ecc9f136c5cb13db72c202a4874
Author: hololeap <hololeap@users.noreply.github.com>
Date: Sun Oct 30 11:26:49 2022 -0600

dev-haskell/dec: add github, hackage upstream metadata

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

commit c7baecf22be26cd6d7324feb0741662e9fd3627f
Author: hololeap <hololeap@users.noreply.github.com>
Date: Sun Oct 30 11:26:42 2022 -0600

dev-haskell/dec: drop 0.0.4

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

commit 92f2256f465a4212b9ce0e687dce1ced77d4f595
Author: Sergey Alirzaev <l29ah@riseup.net>
Date: Sat Oct 29 17:52:36 2022 +0200

dev-haskell/dec: bump up to 0.0.5

Signed-off-by: Sergey Alirzaev <l29ah@riseup.net>

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 3ac60b1828e26036e00f54cb4e1db76df751fb4f
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Sat Jun 26 14:35:45 2021 +0100

dev-haskell/dec: bump up to 0.0.4

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

commit a433b5f64e22a783e804993c246d6530027e8d71
Author: Wolfgang E. Sanyer <WolfgangESanyer@gmail.com>
Date: Fri Feb 19 15:30:09 2021 -0500

dev-haskell/dec: Resolve PkgMetadataXmlEmptyElement warning

Signed-off-by: Wolfgang E. Sanyer <WolfgangESanyer@gmail.com>

commit 3b10de108e931d30cba9853f24da37adf3cc2e3f
Author: Wolfgang E. Sanyer <WolfgangESanyer@gmail.com>
Date: Tue Feb 16 23:55:33 2021 -0500

dev-haskell/dec: remove redundant longdescription from metadata

Signed-off-by: Wolfgang E. Sanyer <WolfgangESanyer@gmail.com>

commit ffec8ed6dc7ce821bb492eb19c158055f1e35c5c
Author: Mark Wright <gienah@gentoo.org>
Date: Sun Feb 2 21:34:43 2020 +1100

dev-haskell/dec: Loosen base dep

Package-Manager: Portage-2.3.86, Repoman-2.3.20
Signed-off-by: Mark Wright <gienah@gentoo.org>

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 cac57d3e114b19e5cde164caaf8f1e8be9b98327
Author: hololeap <hololeap@gmail.com>
Date: Tue Aug 6 12:46:31 2019 -0600

dev-haskell/dec: Add 0.0.3

Needed by dev-haskell/singleton-bool