gpo.zugaina.org

Search Portage & Overlays:

dev-haskell/fix-agda-whitespace

Fixes whitespace issues for Agda sources

Screenshots

ChangeLog

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 51c9bbcbb0830738b17fe918d7c9fdf9fd56690e
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Sun Jul 25 12:03:46 2021 +0100

dev-haskell/fix-agda-whitespace: update to EAPI=8

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

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

dev-haskell/fix-agda-whitespace: remove redundant longdescription from metadata

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

commit 780075a70af2171aaa259ed5630ddfccee47814d
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Wed Sep 2 00:17:13 2020 +0100

*/*: use https:// for hackage URIs

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

commit 96850db35c4ece534774288575cd0812d1ddd0e7
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Mon Aug 20 07:23:47 2018 +0100

dev-haskell/fix-agda-whitespace: allow ghc-8.4

Package-Manager: Portage-2.3.47, Repoman-2.3.10

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 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 18b8b132d14e63eceba90ba917464b00c308f4c0
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Sun Feb 5 20:14:56 2017 +0000

dev-haskell/fix-agda-whitespace: new package, a part of agda-2.5.2

For some reason hackage release does not contain the part of source
release.

Asked by turion.

Closes: https://github.com/gentoo-haskell/gentoo-haskell/issues/584

Package-Manager: Portage-2.3.3, Repoman-2.3.1