sci-mathematics/agda-stdlib
Agda standard library
Screenshots
View
Download
BrowseChangeLog
commit 2402e24a43600c8baeb9b61cc89a32299175236f
Author: Felix Klein <felix@qbaylogic.com>
Date: Fri Apr 19 22:10:25 2024 +0200
sci-mathematics/agda-stdlib: add 2.0, drop 1.7.2
Keep the compiled interface files to avoid re-compilation
at the user level and fix `standard-library.agda-lib` (cf.
https://github.com/agda/agda/issues/7080#issuecomment-1924124493).
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 c470fd161ddf9cefc474258db91f4c0dce41c016
Author: hololeap <hololeap@users.noreply.github.com>
Date: Wed Mar 8 19:29:32 2023 -0700
sci-mathematics/agda-stdlib: add 2.6.3.0.1.7.2, drop 2.6.2.1.1.7.1
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 2d82310f4db3cb98ff2567272b776a08ee60473d
Author: hololeap <hololeap@users.noreply.github.com>
Date: Thu Apr 21 12:41:37 2022 -0600
sci-mathematics/agda-stdlib: Fix for recent eclass changes
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: hololeap <hololeap@users.noreply.github.com>
commit e9cddc5028b880501f046eb65add2b87fb86712e
Author: hololeap <hololeap@users.noreply.github.com>
Date: Thu Mar 17 23:28:58 2022 -0600
sci-mathematics/agda-stdlib: Bump to 2.6.2.1.1.7.1
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: hololeap <hololeap@users.noreply.github.com>
commit 94f4809be147f0743a5c40afa78a50669498fc2d
Author: hololeap <hololeap@users.noreply.github.com>
Date: Thu Mar 17 23:28:09 2022 -0600
sci-mathematics/agda-stdlib: Remove old
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: hololeap <hololeap@users.noreply.github.com>
commit 161750e5fbf296bfcb6a923d71af475c35e499d8
Author: Jack Todaro <solpeth@posteo.org>
Date: Mon Nov 29 08:12:58 2021 +1100
sci-mathematics/agda-stdlib: bump up to 2.6.2.1.7.1
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Jack Todaro <solpeth@posteo.org>
commit 719f1e5b6badd3cc53b63d3d83dada5a706f15cf
Author: Jack Todaro <solpeth@posteo.org>
Date: Thu Dec 17 16:27:58 2020 +1100
sci-mathematics/agda-stdlib: drop old
Package-Manager: Portage-3.0.12, Repoman-3.0.2
Signed-off-by: Jack Todaro <solpeth@posteo.org>
commit 1d42b0102f641210aac97abb164fd280b0a84160
Author: Jack Todaro <solpeth@posteo.org>
Date: Thu Dec 17 16:16:10 2020 +1100
sci-mathematics/agda-stdlib: bump up to 2.6.1.2.1.4
Package-Manager: Portage-3.0.12, Repoman-3.0.2
Signed-off-by: Jack Todaro <solpeth@posteo.org>
commit 62573fedd1b29ce08266e02f8ad417ad77b68f41
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Mon Sep 28 22:31:00 2020 +0100
sci-mathematics/agda-stdlib: drop unmaintained live ebuild
Package-Manager: Portage-3.0.8, Repoman-3.0.1
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit d4bb7c871ab651ea5718ba05d9039a1798283403
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Mon Sep 28 22:30:08 2020 +0100
sci-mathematics/agda-stdlib: drop old
Package-Manager: Portage-3.0.8, Repoman-3.0.1
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit af65ca67872983debd9b77dd7510b2ea3772a185
Author: 0xd34df00d <0xd34df00d@gmail.com>
Date: Sat Jul 6 12:21:42 2019 -0400
sci-mathematics/agda-stdlib: bump to 1.0.1
Package-Manager: Portage-2.3.68, Repoman-2.3.16
commit da30b123a1771b8cdda82e4574c80e134c269f07
Author: Vikraman Choudhury <git@vikraman.org>
Date: Fri Jun 8 13:01:37 2018 -0400
sci-mathematics/agda-stdlib: Bump to 0.16
Package-Manager: Portage-2.3.40, Repoman-2.3.9
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 1d81553e61b89bc040f98e6c7b237cce3bba7b52
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Fri Sep 29 18:26:36 2017 -0400
sci-mathematics/agda-stdlib: Bump to version 2.5.3.0.14
Package-Manager: Portage-2.3.10, 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 adbdd204c8b2c681a97693e63ad1fa564980b461
Author: Sergei Trofimovich <siarheit@google.com>
Date: Fri Dec 30 08:58:19 2016 +0000
sci-mathematics/agda-stdlib: tweak comment
Package-Manager: Portage-2.3.3, Repoman-2.3.1
commit 1eeef84d385e64451965ad2e49b65d828d6ff867
Author: Sergei Trofimovich <siarheit@google.com>
Date: Fri Dec 30 08:56:58 2016 +0000
sci-mathematics/agda-stdlib: pin agda-stdlib-0.13 to agda-2.5.2
Package-Manager: Portage-2.3.3, Repoman-2.3.1
commit 0b97ba7dd9d7980502c6e297fb1871f933ab377d
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Tue Dec 27 22:40:18 2016 -0500
sci-mathematics/agda-stdlib: Bump to version 0.13
Package-Manager: Portage-2.3.3, Repoman-2.3.1
commit a301916a5963214c7e01956a13dcd51a4956ecf9
Author: Vikraman Choudhury <git@vikraman.org>
Date: Sat Jul 16 02:57:54 2016 -0400
sci-mathematics/agda-stdlib: Use upstream name for agda-lib file
Package-Manager: portage-2.3.0
commit 7a32fd8c70af6c8c687339529568165de54169b5
Author: Sergei Trofimovich <siarheit@google.com>
Date: Mon May 2 18:46:11 2016 +0100
sci-mathematics/agda-stdlib: rename 0.12 to 2.5.1.0.12
This eases upgrade path for emerge.
Signed-off-by: Sergei Trofimovich <siarheit@google.com>
commit 1279ffd9564921c61de575434d57268da0f992bd
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Sun Apr 17 14:07:56 2016 -0400
sci-mathematics/agda-stdlib: Don't install SITEFILE
agda2-include-dirs is deprecated since agda-2.5
Package-Manager: portage-2.2.28
commit 7061bec976f4929e5b252ea4d9a9d0c1f07d01dc
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Sat Apr 16 21:27:10 2016 -0400
sci-mathematics/agda-stdlib: Bump to version 0.12
Package-Manager: portage-2.2.27
commit 7e84ea3b87294a6a7119673b44aee183eda928ca
Author: Sergei Trofimovich <siarheit@google.com>
Date: Mon Apr 4 08:15:07 2016 +0100
sci-mathematics/agda-stdlib: fix Manifest
Package-Manager: portage-2.2.28
commit 172f9fd178aa800be4d1dad14c16372cb9894b33
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Apr 3 22:12:22 2016 +0100
sci-mathematics/agda: sync changes back from main tree
Signed-off-by: Sergei Trofimovich <siarheit@google.com>
commit 138c5fd6b925bc74f1dae49b68b421e1704d750e
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sat Apr 2 20:18:57 2016 +0100
sci-mathematics/agda-stdlib: drop old
Package-Manager: portage-2.2.28
commit 265637ec638e7c538bd44d1824ed3b5602a05454
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Jan 31 00:51:37 2016 +0300
sci-mathematics/agda-stdlib: bump ebuild to grab upstream tarball patching
Detected by repoman as:
!!! Fetched file: agda-stdlib-2.4.2.5.tar.gz VERIFY FAILED!
!!! Reason: Filesize does not match recorded size
!!! Got: 253379
!!! Expected: 253370
Signed-off-by: Sergei Trofimovich <siarheit@google.com>
commit aa19eeb10bc2eb3e09f93fa8a102c322742943e4
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Tue Jan 26 14:19:48 2016 -0500
Update metadata.xml for GLEP 67
commit 0f2d68eed41ac2b8906766df7a8cade3c8c8c8e5
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Mon Jan 25 19:58:38 2016 -0500
sci-mathematics/agda-stdlib: Install agda-lib file
Package-Manager: portage-2.2.27
RepoMan-Options: --force
commit b1a9f3e2f298f82b7aa5e23098fc51ab039c2572
Author: Mark Wright <gienah@gentoo.org>
Date: Sun Dec 20 16:21:37 2015 +1100
Bump agda-stdlib to 2.4.2.5
commit b485788998bb5a14de3606921390a8fa95996bb2
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Sun Sep 27 18:09:39 2015 -0400
sci-mathematics/agda-stdlib: Bump to version 2.4.2.4
Package-Manager: portage-2.2.20.1
commit 4a585b54eb5f4c66e9b867f0bf95b390cbc62c60
Author: Heather <Heather@live.ru>
Date: Wed Aug 12 15:47:28 2015 +0400
fix headers and copyright lines
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 4a2485c6282cf8f03b15f85f9822b82a54754b2d
Author: Mark Wright <gienah@gentoo.org>
Date: Sun Aug 2 23:54:31 2015 +1000
Allow sci-mathematics/agda/agda-2.4.2.3-r1, the tarball should not have the -r1 on the end
commit e9ceefdf5905385f4e82be917cbfadfda8776665
Author: Sergei Trofimovich <siarheit@google.com>
Date: Tue Jul 28 08:09:27 2015 +0100
sci-mathematics/agda-stdlib: updated SRC_URI (reported by Heather)
Package-Manager: portage-2.2.20
commit e1d168af5d8a86c2826ac9326b1e35637128ab65
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Sat Jun 20 09:53:31 2015 +0530
sci-mathematics/agda-stdlib: Add version 2.4.2.3
Package-Manager: portage-2.2.20
commit ddc68134c9bc6b38f3c8a8012081db23a9ed8020
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Thu Jun 18 06:29:46 2015 +0530
sci-mathematics/agda-stdlib: Remove agda-executable and relax ffi version
Package-Manager: portage-2.2.18
commit e59f898a98f01e360edf2304a89d17798b299b56
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Thu Jun 18 05:51:16 2015 +0530
sci-mathematics/agda-stdlib: Remove agda-executable and relax ffi version
Package-Manager: portage-2.2.18
commit f1999d2d4ddda71bb6650974c5d729368341c080
Author: Mark Wright <gienah@gentoo.org>
Date: Mon Nov 17 23:20:47 2014 +1100
Bump agda-stdlib to 0.9
commit d1072cb98bb7cf4db75bf34c38984b55a6e665d6
Author: Mark Wright <gienah@gentoo.org>
Date: Thu Jul 3 11:29:10 2014 +1000
Update copyright year in agda-stdlib-0.8
commit 4abed0a8590f403c78cc9fa0ac0ab8c115deb4a8
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Wed Jun 18 22:48:29 2014 +0300
sci-mathematics/agda-stdlib: added missing file
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit fbbb7f2d62e25301d37df84a45c36259a24ba7e3
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Wed Jun 18 22:41:12 2014 +0300
sci-mathematics/agda-stdlib: bump up to 0.8
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit 563cbc7195fc1ad784b707b81ba70d526c8523bb
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Wed Jun 18 22:34:33 2014 +0300
sci-mathematics/agda-stdlib: allow ghc-7.8
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit cdeedae6261ddea1e698881621b5b70a8614cdc1
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Wed Jun 18 22:16:56 2014 +0300
sci-mathematics/agda-stdlib: allow agda-2.4
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit 2895162e8a8a6e896bccad58d15722b7f8829aea
Author: Michael Orlitzky <mjo@gentoo.org>
Date: Mon Apr 21 09:35:44 2014 -0400
sci-mathematics/agda-stdlib-9999: switch to github repo
Package-Manager: portage-2.2.8-r1
commit 44a97eca7e597854e6e4b5bfacac989f5a75c145
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Tue Feb 25 18:36:50 2014 +0300
sci-mathematics/agda-*: drop old agda libs
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit 62976803b25c5d373d148bda86422c47c2d5f5b2
Author: Mark Wright <gienah@gentoo.org>
Date: Sat Dec 14 20:37:00 2013 +1100
revbump agda-stdlib for vikraman's changes
commit 2f3b722a47733c73fd08d89ec8861ceceb783aa6
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Mon Dec 2 19:02:09 2013 +0530
Add agda-lib-ffi as runtime dependency
It is controlled by the ffi useflag and is enabled by default.
commit 0d224903752ec61eea2f6dc74b3fcebf6b80232a
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Mon Dec 2 18:47:04 2013 +0530
Revert "sci-mathematics/agda-stdlib: Install agda-lib-ffi"
This reverts commit 4ba7508e4abac2adfffb28abf9947751006a3303.
commit 36420dd4ce3a09653fd8c6011972c793916b742b
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Tue Nov 5 16:33:31 2013 +0300
dev-haskell/diagrams-*: drop old 0.6 version
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit 0bd8e91fb71fa8c003967c681a6d16f62dc7b2f3
Author: Mark Wright <gienah@gentoo.org>
Date: Mon Nov 4 13:04:37 2013 +1100
subslot depends for agda-stdlib-0.7-r1. Remove 0.7 pre-release versions.
commit 4ba7508e4abac2adfffb28abf9947751006a3303
Author: Vikraman <vikraman.choudhury@gmail.com>
Date: Sat Oct 26 03:59:33 2013 +0530
sci-mathematics/agda-stdlib: Install agda-lib-ffi
The agda-lib-ffi package provides some additional haskell modules which
are needed by the agda standard library, such as during compilation
using the MAlonzo backend. It is available inside the ffi/ directory and
needs to be built and installed by the ebuild. This patch does that.
commit 0e8767e8fb521123d3b8a976b361434bd26ea5c0
Author: Mark Wright <gienah@gentoo.org>
Date: Sat Oct 12 13:37:42 2013 +1100
Change the deps on agda-stdlib-9999: subslot depend on agda-executable-9999. Subslot depend on agda-9999 -> as the agda lib is used in the ghc command line called by agda. So it needs deps on ghc and cabal as well. While as filemanip is only used when building executables used in the build.
commit 9bdf595dbb8d0520b36a45f6bd3cd1baf0e29ad5
Author: Mark Wright <gienah@gentoo.org>
Date: Sat Oct 12 10:06:47 2013 +1100
Change the agda-stdlib live ebuild to EAPI=5
commit fd3c28bf8a7fe9a5215e0a81b0fc839040a0602a
Author: Mark Wright <gienah@gentoo.org>
Date: Sat Jul 6 23:38:16 2013 +1000
Bump agda-stdlib to 0.7
commit 76713d6016630290700f3211ca9646afde3e521c
Author: Mark Wright <gienah@gentoo.org>
Date: Thu Jan 10 23:21:13 2013 +1100
Bump agda-stdlib snapshot to 20130109, install .agda and .agdai files with --preserve-timestamps
commit bde5f795d6b93c30ade527c91ca4405a9cc70f40
Author: Mark Wright <gienah@gentoo.org>
Date: Sun Nov 18 18:55:00 2012 +1100
Bump agda stdlib to a development snapshot, which I just name 0.7_pre20121118 because I have to call it something, for agda 2.3.2.
commit 6d4bf7872d7fbdd6be3bf938ee6900cc77d5b8bd
Author: Mark Wright <gienah@gentoo.org>
Date: Fri Oct 12 14:56:14 2012 +1100
Workaround default agda css file path issue. Fix tested with ghc 7.6.1
commit d5adc625668ea7ff06aa22f7ff6df75aa1b04d92
Author: Bridgit <NenGraphy@gmail.com>
Date: Tue Jun 19 17:02:38 2012 +0400
fix: Unquoted Variable on line: 35
commit 5c9ba5f96b6d2cd0b4f29197a6ff245d5668e075
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Mon Jun 18 08:18:08 2012 +0300
sci-mathematics/agda-stdlib: drop keywords from live ebuild
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
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 d9ab04b3ac261f94143a35e3c3aadfccd7892074
Author: Mark Wright <gienah@gentoo.org>
Date: Wed May 30 22:43:30 2012 +1000
Fix to earlier commit: Add agda-stdlib live ebuild
commit e84ca15d1142c099bd5660cc0c28db45e63443d7
Author: Mark Wright <gienah@gentoo.org>
Date: Wed May 30 17:23:07 2012 +1000
Add agda-stdlib live ebuild
commit 5ba6526ddfe1370e4c32e527d2d2ec412f08dc85
Author: Mark Wright <gienah@gentoo.org>
Date: Mon Mar 26 01:03:44 2012 +1100
Add profile use flag, allow building with agda 2.3.0.1
commit 74c27c109e0987e8df3aa8fde26622fba11331ae
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Mon Feb 27 00:21:36 2012 +0300
sci-mathematics/agda-stdlib: quote vars and sprinkle '|| die' statements
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit 03a930a4e8c512cc6d4d43f73a1ccc375b457d9b
Author: James Cloos <cloos@jhcloos.com>
Date: Sat Feb 25 18:32:46 2012 -0500
sci-mathematics/agda-stdlib: Fix typo in SRC_URI
PV was missing its $.
Signed-off-by: James Cloos <cloos@jhcloos.com>
commit cae0f8649e9d9cd285aebde6cd69756ed475676c
Author: Tom Prince <tom.prince@ualberta.net>
Date: Wed Feb 22 15:15:04 2012 -0500
Add ebuild for agda standard library.
Author: Felix Klein <felix@qbaylogic.com>
Date: Fri Apr 19 22:10:25 2024 +0200
sci-mathematics/agda-stdlib: add 2.0, drop 1.7.2
Keep the compiled interface files to avoid re-compilation
at the user level and fix `standard-library.agda-lib` (cf.
https://github.com/agda/agda/issues/7080#issuecomment-1924124493).
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 c470fd161ddf9cefc474258db91f4c0dce41c016
Author: hololeap <hololeap@users.noreply.github.com>
Date: Wed Mar 8 19:29:32 2023 -0700
sci-mathematics/agda-stdlib: add 2.6.3.0.1.7.2, drop 2.6.2.1.1.7.1
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 2d82310f4db3cb98ff2567272b776a08ee60473d
Author: hololeap <hololeap@users.noreply.github.com>
Date: Thu Apr 21 12:41:37 2022 -0600
sci-mathematics/agda-stdlib: Fix for recent eclass changes
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: hololeap <hololeap@users.noreply.github.com>
commit e9cddc5028b880501f046eb65add2b87fb86712e
Author: hololeap <hololeap@users.noreply.github.com>
Date: Thu Mar 17 23:28:58 2022 -0600
sci-mathematics/agda-stdlib: Bump to 2.6.2.1.1.7.1
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: hololeap <hololeap@users.noreply.github.com>
commit 94f4809be147f0743a5c40afa78a50669498fc2d
Author: hololeap <hololeap@users.noreply.github.com>
Date: Thu Mar 17 23:28:09 2022 -0600
sci-mathematics/agda-stdlib: Remove old
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: hololeap <hololeap@users.noreply.github.com>
commit 161750e5fbf296bfcb6a923d71af475c35e499d8
Author: Jack Todaro <solpeth@posteo.org>
Date: Mon Nov 29 08:12:58 2021 +1100
sci-mathematics/agda-stdlib: bump up to 2.6.2.1.7.1
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Jack Todaro <solpeth@posteo.org>
commit 719f1e5b6badd3cc53b63d3d83dada5a706f15cf
Author: Jack Todaro <solpeth@posteo.org>
Date: Thu Dec 17 16:27:58 2020 +1100
sci-mathematics/agda-stdlib: drop old
Package-Manager: Portage-3.0.12, Repoman-3.0.2
Signed-off-by: Jack Todaro <solpeth@posteo.org>
commit 1d42b0102f641210aac97abb164fd280b0a84160
Author: Jack Todaro <solpeth@posteo.org>
Date: Thu Dec 17 16:16:10 2020 +1100
sci-mathematics/agda-stdlib: bump up to 2.6.1.2.1.4
Package-Manager: Portage-3.0.12, Repoman-3.0.2
Signed-off-by: Jack Todaro <solpeth@posteo.org>
commit 62573fedd1b29ce08266e02f8ad417ad77b68f41
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Mon Sep 28 22:31:00 2020 +0100
sci-mathematics/agda-stdlib: drop unmaintained live ebuild
Package-Manager: Portage-3.0.8, Repoman-3.0.1
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit d4bb7c871ab651ea5718ba05d9039a1798283403
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Mon Sep 28 22:30:08 2020 +0100
sci-mathematics/agda-stdlib: drop old
Package-Manager: Portage-3.0.8, Repoman-3.0.1
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit af65ca67872983debd9b77dd7510b2ea3772a185
Author: 0xd34df00d <0xd34df00d@gmail.com>
Date: Sat Jul 6 12:21:42 2019 -0400
sci-mathematics/agda-stdlib: bump to 1.0.1
Package-Manager: Portage-2.3.68, Repoman-2.3.16
commit da30b123a1771b8cdda82e4574c80e134c269f07
Author: Vikraman Choudhury <git@vikraman.org>
Date: Fri Jun 8 13:01:37 2018 -0400
sci-mathematics/agda-stdlib: Bump to 0.16
Package-Manager: Portage-2.3.40, Repoman-2.3.9
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 1d81553e61b89bc040f98e6c7b237cce3bba7b52
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Fri Sep 29 18:26:36 2017 -0400
sci-mathematics/agda-stdlib: Bump to version 2.5.3.0.14
Package-Manager: Portage-2.3.10, 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 adbdd204c8b2c681a97693e63ad1fa564980b461
Author: Sergei Trofimovich <siarheit@google.com>
Date: Fri Dec 30 08:58:19 2016 +0000
sci-mathematics/agda-stdlib: tweak comment
Package-Manager: Portage-2.3.3, Repoman-2.3.1
commit 1eeef84d385e64451965ad2e49b65d828d6ff867
Author: Sergei Trofimovich <siarheit@google.com>
Date: Fri Dec 30 08:56:58 2016 +0000
sci-mathematics/agda-stdlib: pin agda-stdlib-0.13 to agda-2.5.2
Package-Manager: Portage-2.3.3, Repoman-2.3.1
commit 0b97ba7dd9d7980502c6e297fb1871f933ab377d
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Tue Dec 27 22:40:18 2016 -0500
sci-mathematics/agda-stdlib: Bump to version 0.13
Package-Manager: Portage-2.3.3, Repoman-2.3.1
commit a301916a5963214c7e01956a13dcd51a4956ecf9
Author: Vikraman Choudhury <git@vikraman.org>
Date: Sat Jul 16 02:57:54 2016 -0400
sci-mathematics/agda-stdlib: Use upstream name for agda-lib file
Package-Manager: portage-2.3.0
commit 7a32fd8c70af6c8c687339529568165de54169b5
Author: Sergei Trofimovich <siarheit@google.com>
Date: Mon May 2 18:46:11 2016 +0100
sci-mathematics/agda-stdlib: rename 0.12 to 2.5.1.0.12
This eases upgrade path for emerge.
Signed-off-by: Sergei Trofimovich <siarheit@google.com>
commit 1279ffd9564921c61de575434d57268da0f992bd
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Sun Apr 17 14:07:56 2016 -0400
sci-mathematics/agda-stdlib: Don't install SITEFILE
agda2-include-dirs is deprecated since agda-2.5
Package-Manager: portage-2.2.28
commit 7061bec976f4929e5b252ea4d9a9d0c1f07d01dc
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Sat Apr 16 21:27:10 2016 -0400
sci-mathematics/agda-stdlib: Bump to version 0.12
Package-Manager: portage-2.2.27
commit 7e84ea3b87294a6a7119673b44aee183eda928ca
Author: Sergei Trofimovich <siarheit@google.com>
Date: Mon Apr 4 08:15:07 2016 +0100
sci-mathematics/agda-stdlib: fix Manifest
Package-Manager: portage-2.2.28
commit 172f9fd178aa800be4d1dad14c16372cb9894b33
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Apr 3 22:12:22 2016 +0100
sci-mathematics/agda: sync changes back from main tree
Signed-off-by: Sergei Trofimovich <siarheit@google.com>
commit 138c5fd6b925bc74f1dae49b68b421e1704d750e
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sat Apr 2 20:18:57 2016 +0100
sci-mathematics/agda-stdlib: drop old
Package-Manager: portage-2.2.28
commit 265637ec638e7c538bd44d1824ed3b5602a05454
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Jan 31 00:51:37 2016 +0300
sci-mathematics/agda-stdlib: bump ebuild to grab upstream tarball patching
Detected by repoman as:
!!! Fetched file: agda-stdlib-2.4.2.5.tar.gz VERIFY FAILED!
!!! Reason: Filesize does not match recorded size
!!! Got: 253379
!!! Expected: 253370
Signed-off-by: Sergei Trofimovich <siarheit@google.com>
commit aa19eeb10bc2eb3e09f93fa8a102c322742943e4
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Tue Jan 26 14:19:48 2016 -0500
Update metadata.xml for GLEP 67
commit 0f2d68eed41ac2b8906766df7a8cade3c8c8c8e5
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Mon Jan 25 19:58:38 2016 -0500
sci-mathematics/agda-stdlib: Install agda-lib file
Package-Manager: portage-2.2.27
RepoMan-Options: --force
commit b1a9f3e2f298f82b7aa5e23098fc51ab039c2572
Author: Mark Wright <gienah@gentoo.org>
Date: Sun Dec 20 16:21:37 2015 +1100
Bump agda-stdlib to 2.4.2.5
commit b485788998bb5a14de3606921390a8fa95996bb2
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Sun Sep 27 18:09:39 2015 -0400
sci-mathematics/agda-stdlib: Bump to version 2.4.2.4
Package-Manager: portage-2.2.20.1
commit 4a585b54eb5f4c66e9b867f0bf95b390cbc62c60
Author: Heather <Heather@live.ru>
Date: Wed Aug 12 15:47:28 2015 +0400
fix headers and copyright lines
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 4a2485c6282cf8f03b15f85f9822b82a54754b2d
Author: Mark Wright <gienah@gentoo.org>
Date: Sun Aug 2 23:54:31 2015 +1000
Allow sci-mathematics/agda/agda-2.4.2.3-r1, the tarball should not have the -r1 on the end
commit e9ceefdf5905385f4e82be917cbfadfda8776665
Author: Sergei Trofimovich <siarheit@google.com>
Date: Tue Jul 28 08:09:27 2015 +0100
sci-mathematics/agda-stdlib: updated SRC_URI (reported by Heather)
Package-Manager: portage-2.2.20
commit e1d168af5d8a86c2826ac9326b1e35637128ab65
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Sat Jun 20 09:53:31 2015 +0530
sci-mathematics/agda-stdlib: Add version 2.4.2.3
Package-Manager: portage-2.2.20
commit ddc68134c9bc6b38f3c8a8012081db23a9ed8020
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Thu Jun 18 06:29:46 2015 +0530
sci-mathematics/agda-stdlib: Remove agda-executable and relax ffi version
Package-Manager: portage-2.2.18
commit e59f898a98f01e360edf2304a89d17798b299b56
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Thu Jun 18 05:51:16 2015 +0530
sci-mathematics/agda-stdlib: Remove agda-executable and relax ffi version
Package-Manager: portage-2.2.18
commit f1999d2d4ddda71bb6650974c5d729368341c080
Author: Mark Wright <gienah@gentoo.org>
Date: Mon Nov 17 23:20:47 2014 +1100
Bump agda-stdlib to 0.9
commit d1072cb98bb7cf4db75bf34c38984b55a6e665d6
Author: Mark Wright <gienah@gentoo.org>
Date: Thu Jul 3 11:29:10 2014 +1000
Update copyright year in agda-stdlib-0.8
commit 4abed0a8590f403c78cc9fa0ac0ab8c115deb4a8
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Wed Jun 18 22:48:29 2014 +0300
sci-mathematics/agda-stdlib: added missing file
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit fbbb7f2d62e25301d37df84a45c36259a24ba7e3
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Wed Jun 18 22:41:12 2014 +0300
sci-mathematics/agda-stdlib: bump up to 0.8
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit 563cbc7195fc1ad784b707b81ba70d526c8523bb
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Wed Jun 18 22:34:33 2014 +0300
sci-mathematics/agda-stdlib: allow ghc-7.8
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit cdeedae6261ddea1e698881621b5b70a8614cdc1
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Wed Jun 18 22:16:56 2014 +0300
sci-mathematics/agda-stdlib: allow agda-2.4
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit 2895162e8a8a6e896bccad58d15722b7f8829aea
Author: Michael Orlitzky <mjo@gentoo.org>
Date: Mon Apr 21 09:35:44 2014 -0400
sci-mathematics/agda-stdlib-9999: switch to github repo
Package-Manager: portage-2.2.8-r1
commit 44a97eca7e597854e6e4b5bfacac989f5a75c145
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Tue Feb 25 18:36:50 2014 +0300
sci-mathematics/agda-*: drop old agda libs
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit 62976803b25c5d373d148bda86422c47c2d5f5b2
Author: Mark Wright <gienah@gentoo.org>
Date: Sat Dec 14 20:37:00 2013 +1100
revbump agda-stdlib for vikraman's changes
commit 2f3b722a47733c73fd08d89ec8861ceceb783aa6
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Mon Dec 2 19:02:09 2013 +0530
Add agda-lib-ffi as runtime dependency
It is controlled by the ffi useflag and is enabled by default.
commit 0d224903752ec61eea2f6dc74b3fcebf6b80232a
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Mon Dec 2 18:47:04 2013 +0530
Revert "sci-mathematics/agda-stdlib: Install agda-lib-ffi"
This reverts commit 4ba7508e4abac2adfffb28abf9947751006a3303.
commit 36420dd4ce3a09653fd8c6011972c793916b742b
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Tue Nov 5 16:33:31 2013 +0300
dev-haskell/diagrams-*: drop old 0.6 version
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit 0bd8e91fb71fa8c003967c681a6d16f62dc7b2f3
Author: Mark Wright <gienah@gentoo.org>
Date: Mon Nov 4 13:04:37 2013 +1100
subslot depends for agda-stdlib-0.7-r1. Remove 0.7 pre-release versions.
commit 4ba7508e4abac2adfffb28abf9947751006a3303
Author: Vikraman <vikraman.choudhury@gmail.com>
Date: Sat Oct 26 03:59:33 2013 +0530
sci-mathematics/agda-stdlib: Install agda-lib-ffi
The agda-lib-ffi package provides some additional haskell modules which
are needed by the agda standard library, such as during compilation
using the MAlonzo backend. It is available inside the ffi/ directory and
needs to be built and installed by the ebuild. This patch does that.
commit 0e8767e8fb521123d3b8a976b361434bd26ea5c0
Author: Mark Wright <gienah@gentoo.org>
Date: Sat Oct 12 13:37:42 2013 +1100
Change the deps on agda-stdlib-9999: subslot depend on agda-executable-9999. Subslot depend on agda-9999 -> as the agda lib is used in the ghc command line called by agda. So it needs deps on ghc and cabal as well. While as filemanip is only used when building executables used in the build.
commit 9bdf595dbb8d0520b36a45f6bd3cd1baf0e29ad5
Author: Mark Wright <gienah@gentoo.org>
Date: Sat Oct 12 10:06:47 2013 +1100
Change the agda-stdlib live ebuild to EAPI=5
commit fd3c28bf8a7fe9a5215e0a81b0fc839040a0602a
Author: Mark Wright <gienah@gentoo.org>
Date: Sat Jul 6 23:38:16 2013 +1000
Bump agda-stdlib to 0.7
commit 76713d6016630290700f3211ca9646afde3e521c
Author: Mark Wright <gienah@gentoo.org>
Date: Thu Jan 10 23:21:13 2013 +1100
Bump agda-stdlib snapshot to 20130109, install .agda and .agdai files with --preserve-timestamps
commit bde5f795d6b93c30ade527c91ca4405a9cc70f40
Author: Mark Wright <gienah@gentoo.org>
Date: Sun Nov 18 18:55:00 2012 +1100
Bump agda stdlib to a development snapshot, which I just name 0.7_pre20121118 because I have to call it something, for agda 2.3.2.
commit 6d4bf7872d7fbdd6be3bf938ee6900cc77d5b8bd
Author: Mark Wright <gienah@gentoo.org>
Date: Fri Oct 12 14:56:14 2012 +1100
Workaround default agda css file path issue. Fix tested with ghc 7.6.1
commit d5adc625668ea7ff06aa22f7ff6df75aa1b04d92
Author: Bridgit <NenGraphy@gmail.com>
Date: Tue Jun 19 17:02:38 2012 +0400
fix: Unquoted Variable on line: 35
commit 5c9ba5f96b6d2cd0b4f29197a6ff245d5668e075
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Mon Jun 18 08:18:08 2012 +0300
sci-mathematics/agda-stdlib: drop keywords from live ebuild
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
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 d9ab04b3ac261f94143a35e3c3aadfccd7892074
Author: Mark Wright <gienah@gentoo.org>
Date: Wed May 30 22:43:30 2012 +1000
Fix to earlier commit: Add agda-stdlib live ebuild
commit e84ca15d1142c099bd5660cc0c28db45e63443d7
Author: Mark Wright <gienah@gentoo.org>
Date: Wed May 30 17:23:07 2012 +1000
Add agda-stdlib live ebuild
commit 5ba6526ddfe1370e4c32e527d2d2ec412f08dc85
Author: Mark Wright <gienah@gentoo.org>
Date: Mon Mar 26 01:03:44 2012 +1100
Add profile use flag, allow building with agda 2.3.0.1
commit 74c27c109e0987e8df3aa8fde26622fba11331ae
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Mon Feb 27 00:21:36 2012 +0300
sci-mathematics/agda-stdlib: quote vars and sprinkle '|| die' statements
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit 03a930a4e8c512cc6d4d43f73a1ccc375b457d9b
Author: James Cloos <cloos@jhcloos.com>
Date: Sat Feb 25 18:32:46 2012 -0500
sci-mathematics/agda-stdlib: Fix typo in SRC_URI
PV was missing its $.
Signed-off-by: James Cloos <cloos@jhcloos.com>
commit cae0f8649e9d9cd285aebde6cd69756ed475676c
Author: Tom Prince <tom.prince@ualberta.net>
Date: Wed Feb 22 15:15:04 2012 -0500
Add ebuild for agda standard library.