dev-haskell/hakyll-agda
Wrapper to integrate literate Agda files with Hakyll
Screenshots
View
Download
BrowseChangeLog
commit 225917608de317f2a6f9dc5d9112b0eb75b9d6b5
Author: hololeap <hololeap@users.noreply.github.com>
Date: Sun Sep 24 16:18:48 2023 -0600
app-text/pandoc: Rename to dev-haskell/pandoc
Change to the dev-haskell category to reflect that 'pandoc' is a
library and does not contain the application (now in the 'pandoc-cli'
package).
See: https://github.com/jgm/pandoc/commit/bd1d923b86edba6e090ba14b1cd17e1e32c727f2
See: d7d13c0ee0af75839a2f607366dab6e990ebbe39
Closes: https://github.com/gentoo-haskell/gentoo-haskell/issues/1480
Signed-off-by: hololeap <hololeap@users.noreply.github.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 dc7c9b0276235e58e544f4d5c7450d9675aa6bdb
Author: hololeap <hololeap@users.noreply.github.com>
Date: Sat Jul 31 11:33:01 2021 -0600
dev-haskell/hakyll-agda: Switch to EAPI=8
Package-Manager: Portage-3.0.20, Repoman-3.0.2
Signed-off-by: hololeap <hololeap@users.noreply.github.com>
commit 239aff17786c9054fcf99f757266eb68ff12c2ab
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Sat Jun 26 14:18:11 2021 +0100
dev-haskell/hakyll-agda: bump up to 0.1.13
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit c7a51a792dda8de44afe1ce3f11e65bf1164f047
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Sat Dec 19 13:56:42 2020 +0000
dev-haskell/hakyll-agda: bump up to 0.1.12
Package-Manager: Portage-3.0.12, Repoman-3.0.2
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit 4d512435502fd8a7b986f550a3787ae45b68e063
Author: Philippe Baril Lecavalier <pbl.ltx@gmail.com>
Date: Thu Dec 26 17:42:48 2019 -0500
dev-haskell/hakyll-agda: drop old
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 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 d154c43a930997c508c8b3ab1f7fbadb5b164030
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Wed Oct 25 23:14:55 2017 +0100
dev-haskell/hakyll-agda: tweak for agda-2.5.3
Package-Manager: Portage-2.3.12, Repoman-2.3.3
commit 61dcc0488042210157b6005d0258082fa78a5e16
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Wed Oct 25 22:56:36 2017 +0100
dev-haskell/hakyll-agda: EAPI=5->6, whitespace tweak
Package-Manager: Portage-2.3.12, 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 aa19eeb10bc2eb3e09f93fa8a102c322742943e4
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Tue Jan 26 14:19:48 2016 -0500
Update metadata.xml for GLEP 67
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 9a76560a697dfd7ef0ff24c9f03f5c74894119b8
Author: Heather <Heather@live.ru>
Date: Wed Jul 29 19:08:31 2015 +0400
hakyll-agda corrections
commit ebfe93260e7c757c822099ec3297d3e2e528d661
Author: Heather <Heather@live.ru>
Date: Tue Jul 28 11:37:36 2015 +0400
hakyll-agda
Author: hololeap <hololeap@users.noreply.github.com>
Date: Sun Sep 24 16:18:48 2023 -0600
app-text/pandoc: Rename to dev-haskell/pandoc
Change to the dev-haskell category to reflect that 'pandoc' is a
library and does not contain the application (now in the 'pandoc-cli'
package).
See: https://github.com/jgm/pandoc/commit/bd1d923b86edba6e090ba14b1cd17e1e32c727f2
See: d7d13c0ee0af75839a2f607366dab6e990ebbe39
Closes: https://github.com/gentoo-haskell/gentoo-haskell/issues/1480
Signed-off-by: hololeap <hololeap@users.noreply.github.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 dc7c9b0276235e58e544f4d5c7450d9675aa6bdb
Author: hololeap <hololeap@users.noreply.github.com>
Date: Sat Jul 31 11:33:01 2021 -0600
dev-haskell/hakyll-agda: Switch to EAPI=8
Package-Manager: Portage-3.0.20, Repoman-3.0.2
Signed-off-by: hololeap <hololeap@users.noreply.github.com>
commit 239aff17786c9054fcf99f757266eb68ff12c2ab
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Sat Jun 26 14:18:11 2021 +0100
dev-haskell/hakyll-agda: bump up to 0.1.13
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit c7a51a792dda8de44afe1ce3f11e65bf1164f047
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Sat Dec 19 13:56:42 2020 +0000
dev-haskell/hakyll-agda: bump up to 0.1.12
Package-Manager: Portage-3.0.12, Repoman-3.0.2
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit 4d512435502fd8a7b986f550a3787ae45b68e063
Author: Philippe Baril Lecavalier <pbl.ltx@gmail.com>
Date: Thu Dec 26 17:42:48 2019 -0500
dev-haskell/hakyll-agda: drop old
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 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 d154c43a930997c508c8b3ab1f7fbadb5b164030
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Wed Oct 25 23:14:55 2017 +0100
dev-haskell/hakyll-agda: tweak for agda-2.5.3
Package-Manager: Portage-2.3.12, Repoman-2.3.3
commit 61dcc0488042210157b6005d0258082fa78a5e16
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Wed Oct 25 22:56:36 2017 +0100
dev-haskell/hakyll-agda: EAPI=5->6, whitespace tweak
Package-Manager: Portage-2.3.12, 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 aa19eeb10bc2eb3e09f93fa8a102c322742943e4
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Tue Jan 26 14:19:48 2016 -0500
Update metadata.xml for GLEP 67
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 9a76560a697dfd7ef0ff24c9f03f5c74894119b8
Author: Heather <Heather@live.ru>
Date: Wed Jul 29 19:08:31 2015 +0400
hakyll-agda corrections
commit ebfe93260e7c757c822099ec3297d3e2e528d661
Author: Heather <Heather@live.ru>
Date: Tue Jul 28 11:37:36 2015 +0400
hakyll-agda