[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-12-29 Thread Felix Yan via arch-commits 
Date: Tuesday, December 29, 2020 @ 12:47:19
  Author: felixonmars
Revision: 797006

upgpkg: agda 2.6.1.2-27: rebuild with tagged 0.8.6.1

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-12-29 12:35:05 UTC (rev 797005)
+++ PKGBUILD2020-12-29 12:47:19 UTC (rev 797006)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.2
-pkgrel=26
+pkgrel=27
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-12-28 Thread Felix Yan via arch-commits 
Date: Monday, December 28, 2020 @ 12:59:36
  Author: felixonmars
Revision: 794854

upgpkg: agda 2.6.1.2-26: rebuild with indexed-traversable 0.1.1

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-12-28 12:38:11 UTC (rev 794853)
+++ PKGBUILD2020-12-28 12:59:36 UTC (rev 794854)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.2
-pkgrel=25
+pkgrel=26
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-12-26 Thread Felix Yan via arch-commits 
Date: Saturday, December 26, 2020 @ 21:43:30
  Author: felixonmars
Revision: 793066

upgpkg: agda 2.6.1.2-25: rebuild with hedgehog 1.0.4

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-12-26 21:31:13 UTC (rev 793065)
+++ PKGBUILD2020-12-26 21:43:30 UTC (rev 793066)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.2
-pkgrel=24
+pkgrel=25
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-12-25 Thread Felix Yan via arch-commits 
Date: Saturday, December 26, 2020 @ 07:19:39
  Author: felixonmars
Revision: 792171

upgpkg: agda 2.6.1.2-24: rebuild with tasty-quickcheck 0.10.1.2

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-12-26 06:58:26 UTC (rev 792170)
+++ PKGBUILD2020-12-26 07:19:39 UTC (rev 792171)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.2
-pkgrel=23
+pkgrel=24
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-12-24 Thread Felix Yan via arch-commits 
Date: Friday, December 25, 2020 @ 07:03:04
  Author: felixonmars
Revision: 789645

upgpkg: agda 2.6.1.2-23: rebuild with comonad 5.0.7

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-12-25 04:46:55 UTC (rev 789644)
+++ PKGBUILD2020-12-25 07:03:04 UTC (rev 789645)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.2
-pkgrel=22
+pkgrel=23
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-12-24 Thread Felix Yan via arch-commits 
Date: Thursday, December 24, 2020 @ 16:56:54
  Author: felixonmars
Revision: 788346

upgpkg: agda 2.6.1.2-22: rebuild with base16-bytestring 1.0.1.0

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-12-24 16:36:02 UTC (rev 788345)
+++ PKGBUILD2020-12-24 16:56:54 UTC (rev 788346)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.2
-pkgrel=21
+pkgrel=22
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-12-24 Thread Felix Yan via arch-commits 
Date: Thursday, December 24, 2020 @ 11:11:25
  Author: felixonmars
Revision: 787058

upgpkg: agda 2.6.1.2-21: rebuild with ghc 8.10.3

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |9 ++---
 1 file changed, 6 insertions(+), 3 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-12-24 10:39:17 UTC (rev 787057)
+++ PKGBUILD2020-12-24 11:11:25 UTC (rev 787058)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.2
-pkgrel=20
+pkgrel=21
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")
@@ -17,11 +17,14 @@
  'haskell-zlib')
 optdepends=('agda-stdlib: for standard library')
 makedepends=('alex' 'happy' 'ghc' 'haskell-filemanip')
-source=("https://hackage.haskell.org/packages/archive/$_hkgname/$pkgver/$_hkgname-$pkgver.tar.gz;)
-sha512sums=('5ab35d9b581ed918481dd25619739dfa43ea3d86b9522989fe8c83b3aa8749bee81fb12e7cd6b4270c4890a3719386c62b220163324407a1201273d1dfe9d615')
+source=("https://hackage.haskell.org/packages/archive/$_hkgname/$pkgver/$_hkgname-$pkgver.tar.gz;
+
Agda-ghc-8.10.3.patch::https://github.com/agda/agda/commit/76278c23d447b49f59fac581ca4ac605792aabbc.patch)
+sha512sums=('5ab35d9b581ed918481dd25619739dfa43ea3d86b9522989fe8c83b3aa8749bee81fb12e7cd6b4270c4890a3719386c62b220163324407a1201273d1dfe9d615'
+
'6e9069daa725efb75394b10eb6b637b891c5cff52dc4ae169f6b49ee0601f82a0dca65326a0747affa25670722e447b3b9f4893da6e7788277951af0c9fb22ee')
 
 prepare() {
 cd $_hkgname-$pkgver
+patch -p1 -i ../Agda-ghc-8.10.3.patch
 sed -i '/fno-warn-overlapping-patterns/a \, "-dynamic"' 
src/full/Agda/Compiler/MAlonzo/Compiler.hs
 }

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-12-23 Thread Felix Yan via arch-commits 
Date: Wednesday, December 23, 2020 @ 10:23:16
  Author: felixonmars
Revision: 784043

upgpkg: agda 2.6.1.2-20: rebuild with tasty-smallcheck 0.8.2

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-12-23 10:01:17 UTC (rev 784042)
+++ PKGBUILD2020-12-23 10:23:16 UTC (rev 784043)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.2
-pkgrel=19
+pkgrel=20
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-12-21 Thread Felix Yan via arch-commits 
Date: Tuesday, December 22, 2020 @ 01:16:59
  Author: felixonmars
Revision: 781713

upgpkg: agda 2.6.1.2-19: rebuild with tasty-hunit 0.10.0.3

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-12-22 00:47:06 UTC (rev 781712)
+++ PKGBUILD2020-12-22 01:16:59 UTC (rev 781713)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.2
-pkgrel=18
+pkgrel=19
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-12-18 Thread Felix Yan via arch-commits 
Date: Friday, December 18, 2020 @ 09:58:41
  Author: felixonmars
Revision: 778412

upgpkg: agda 2.6.1.2-18: rebuild with th-abstraction 0.4.1.0

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-12-18 09:40:50 UTC (rev 778411)
+++ PKGBUILD2020-12-18 09:58:41 UTC (rev 778412)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.2
-pkgrel=17
+pkgrel=18
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-12-16 Thread Felix Yan via arch-commits 
Date: Wednesday, December 16, 2020 @ 20:01:25
  Author: felixonmars
Revision: 776937

upgpkg: agda 2.6.1.2-17: rebuild with microstache 1.0.1.2

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-12-16 19:51:30 UTC (rev 776936)
+++ PKGBUILD2020-12-16 20:01:25 UTC (rev 776937)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.2
-pkgrel=16
+pkgrel=17
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-12-15 Thread Felix Yan via arch-commits 
Date: Tuesday, December 15, 2020 @ 21:40:19
  Author: felixonmars
Revision: 776231

upgpkg: agda 2.6.1.2-16: rebuild with base16-bytestring 1.0.0.0, casa-types 
0.0.2

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-12-15 21:35:14 UTC (rev 776230)
+++ PKGBUILD2020-12-15 21:40:19 UTC (rev 776231)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.2
-pkgrel=15
+pkgrel=16
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-12-13 Thread Felix Yan via arch-commits 
Date: Monday, December 14, 2020 @ 04:27:53
  Author: felixonmars
Revision: 774819

upgpkg: agda 2.6.1.2-15: rebuild with base-orphans 0.8.5

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-12-14 03:59:14 UTC (rev 774818)
+++ PKGBUILD2020-12-14 04:27:53 UTC (rev 774819)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.2
-pkgrel=14
+pkgrel=15
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-12-09 Thread Felix Yan via arch-commits 
Date: Wednesday, December 9, 2020 @ 13:22:54
  Author: felixonmars
Revision: 772650

upgpkg: agda 2.6.1.2-14: rebuild with vector-algorithms 0.8.0.4

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-12-09 12:53:26 UTC (rev 772649)
+++ PKGBUILD2020-12-09 13:22:54 UTC (rev 772650)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.2
-pkgrel=13
+pkgrel=14
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-12-08 Thread Felix Yan via arch-commits 
Date: Tuesday, December 8, 2020 @ 08:29:54
  Author: felixonmars
Revision: 771756

upgpkg: agda 2.6.1.2-13: rebuild with strict 0.4.0.1

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-12-08 08:00:28 UTC (rev 771755)
+++ PKGBUILD2020-12-08 08:29:54 UTC (rev 771756)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.2
-pkgrel=12
+pkgrel=13
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-12-04 Thread Felix Yan via arch-commits 
Date: Saturday, December 5, 2020 @ 02:24:12
  Author: felixonmars
Revision: 770401

upgpkg: agda 2.6.1.2-12: rebuild with time-compat 1.9.5

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-12-05 01:52:33 UTC (rev 770400)
+++ PKGBUILD2020-12-05 02:24:12 UTC (rev 770401)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.2
-pkgrel=11
+pkgrel=12
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-12-03 Thread Felix Yan via arch-commits 
Date: Thursday, December 3, 2020 @ 14:58:01
  Author: felixonmars
Revision: 769579

upgpkg: agda 2.6.1.2-11: rebuild with criterion 1.5.9.0

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-12-03 14:28:12 UTC (rev 769578)
+++ PKGBUILD2020-12-03 14:58:01 UTC (rev 769579)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.2
-pkgrel=10
+pkgrel=11
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-11-28 Thread Felix Yan via arch-commits 
Date: Saturday, November 28, 2020 @ 12:16:00
  Author: felixonmars
Revision: 765202

upgpkg: agda 2.6.1.2-10: rebuild with unbounded-delays 0.1.1.1

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-11-28 12:05:46 UTC (rev 765201)
+++ PKGBUILD2020-11-28 12:16:00 UTC (rev 765202)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.2
-pkgrel=9
+pkgrel=10
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-11-26 Thread Felix Yan via arch-commits 
Date: Thursday, November 26, 2020 @ 16:05:49
  Author: felixonmars
Revision: 763592

upgpkg: agda 2.6.1.2-9: rebuild with criterion 1.5.8.0

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-11-26 15:36:07 UTC (rev 763591)
+++ PKGBUILD2020-11-26 16:05:49 UTC (rev 763592)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.2
-pkgrel=8
+pkgrel=9
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-11-25 Thread Felix Yan via arch-commits 
Date: Wednesday, November 25, 2020 @ 19:13:40
  Author: felixonmars
Revision: 761211

upgpkg: agda 2.6.1.2-8: rebuild with conduit 1.3.4

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-11-25 19:11:45 UTC (rev 761210)
+++ PKGBUILD2020-11-25 19:13:40 UTC (rev 761211)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.2
-pkgrel=7
+pkgrel=8
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-11-23 Thread Felix Yan via arch-commits 
Date: Monday, November 23, 2020 @ 11:14:46
  Author: felixonmars
Revision: 759870

upgpkg: agda 2.6.1.2-7: rebuild with optparse-applicative 0.16.1.0

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-11-23 10:41:32 UTC (rev 759869)
+++ PKGBUILD2020-11-23 11:14:46 UTC (rev 759870)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.2
-pkgrel=6
+pkgrel=7
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-11-20 Thread Felix Yan via arch-commits 
Date: Friday, November 20, 2020 @ 20:14:53
  Author: felixonmars
Revision: 758080

upgpkg: agda 2.6.1.2-6: rebuild with base64-bytestring 1.2.0.1

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-11-20 20:10:14 UTC (rev 758079)
+++ PKGBUILD2020-11-20 20:14:53 UTC (rev 758080)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.2
-pkgrel=5
+pkgrel=6
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-11-18 Thread Felix Yan via arch-commits 
Date: Wednesday, November 18, 2020 @ 23:25:54
  Author: felixonmars
Revision: 757298

upgpkg: agda 2.6.1.2-5: rebuild with http-client 0.7.3

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-11-18 22:55:58 UTC (rev 757297)
+++ PKGBUILD2020-11-18 23:25:54 UTC (rev 757298)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.2
-pkgrel=4
+pkgrel=5
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-11-17 Thread Felix Yan via arch-commits 
Date: Tuesday, November 17, 2020 @ 20:09:45
  Author: felixonmars
Revision: 756865

upgpkg: agda 2.6.1.2-4: rebuild with iproute 1.7.10

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-11-17 19:38:28 UTC (rev 756864)
+++ PKGBUILD2020-11-17 20:09:45 UTC (rev 756865)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.2
-pkgrel=3
+pkgrel=4
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-11-16 Thread Felix Yan via arch-commits 
Date: Tuesday, November 17, 2020 @ 05:09:55
  Author: felixonmars
Revision: 755943

upgpkg: agda 2.6.1.2-3: rebuild with QuickCheck 2.14.2, quickcheck-instances 
0.3.25.1

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-11-17 04:39:52 UTC (rev 755942)
+++ PKGBUILD2020-11-17 05:09:55 UTC (rev 755943)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.2
-pkgrel=2
+pkgrel=3
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-11-10 Thread Felix Yan via arch-commits 
Date: Tuesday, November 10, 2020 @ 16:02:41
  Author: felixonmars
Revision: 749612

upgpkg: agda 2.6.1.2-2: rebuild with cryptonite +tests enabled

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-11-10 15:35:50 UTC (rev 749611)
+++ PKGBUILD2020-11-10 16:02:41 UTC (rev 749612)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.2
-pkgrel=1
+pkgrel=2
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-11-09 Thread Felix Yan via arch-commits 
Date: Tuesday, November 10, 2020 @ 07:33:23
  Author: felixonmars
Revision: 749413

upgpkg: agda 2.6.1.2-1

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |   25 -
 1 file changed, 8 insertions(+), 17 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-11-10 07:33:22 UTC (rev 749412)
+++ PKGBUILD2020-11-10 07:33:23 UTC (rev 749413)
@@ -3,8 +3,8 @@
 
 _hkgname=Agda
 pkgname=agda
-pkgver=2.6.1.1
-pkgrel=33
+pkgver=2.6.1.2
+pkgrel=1
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")
@@ -17,25 +17,16 @@
  'haskell-zlib')
 optdepends=('agda-stdlib: for standard library')
 makedepends=('alex' 'happy' 'ghc' 'haskell-filemanip')
-source=("$_hkgname-$pkgver.tar.gz::https://github.com/agda/agda/archive/v$pkgver.tar.gz;
-
agda-strict-0.4.patch::https://github.com/felixonmars/agda/commit/0497ec9fdde159a56ee42821e500b52d66374201.patch
-
agda-aeson-1.5.3.patch::https://github.com/agda/agda/commit/292f7d8c3def7e69ce9e79c67c895d6a4956dc5f.patch)
-sha512sums=('fb5bb2d1bc2ea253e709da3a29920a06f35523fda88b9cdc3f0e957e240871d0e535ca4ca92e17d67f112324c0ad90058edcbac76a0bdf2baccdcd16b9af7c1f'
-
'6968a367d8d8cfa9a89d4760ba13aa5236ff1d3597ad8ef9301c33d3696decec092d4fd3556ae8c0bf4c09cd1f157ddb38b1443c2d340487a7eef93cf23a3a7b'
-
'9d8c233c87161ba80d283db0e301c2ff80f771a9e63416fce5c0e846146cd6a4aeae91a97dff869a724afc021c26d4c3088ebfc3a11c814d637fac5a5b66')
+source=("https://hackage.haskell.org/packages/archive/$_hkgname/$pkgver/$_hkgname-$pkgver.tar.gz;)
+sha512sums=('5ab35d9b581ed918481dd25619739dfa43ea3d86b9522989fe8c83b3aa8749bee81fb12e7cd6b4270c4890a3719386c62b220163324407a1201273d1dfe9d615')
 
 prepare() {
-cd $pkgname-$pkgver
-patch -p1 -i ../agda-strict-0.4.patch
-patch -p1 -i ../agda-aeson-1.5.3.patch
+cd $_hkgname-$pkgver
 sed -i '/fno-warn-overlapping-patterns/a \, "-dynamic"' 
src/full/Agda/Compiler/MAlonzo/Compiler.hs
-sed -e "s|(\"Agda_datadir\", agda_datadir) : e|[(\"Agda_datadir\", 
agda_datadir), (\"LD_LIBRARY_PATH\", \"$PWD/dist/build\")] ++ e|" \
--i Setup.hs
-sed -i 's/< *1.5/<2/' $_hkgname.cabal
 }
 
 build() {
-cd $pkgname-$pkgver
+cd $_hkgname-$pkgver
 
 runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
 --prefix=/usr --docdir="/usr/share/doc/${pkgname}" 
--datasubdir="$pkgname" \
@@ -49,11 +40,11 @@
 }
 
 package() {
-cd $pkgname-$pkgver
+cd $_hkgname-$pkgver
 
 install -D -m744 register.sh   
"${pkgdir}/usr/share/haskell/register/${pkgname}.sh"
 install -D -m744 unregister.sh 
"${pkgdir}/usr/share/haskell/unregister/${pkgname}.sh"
-runhaskell Setup copy --destdir="${pkgdir}"
+LD_LIBRARY_PATH="$PWD/dist/build" runhaskell Setup copy 
--destdir="${pkgdir}"
 
 # Symlink to avoid writing to this place when agda-lib is present
 install -dm755 "$pkgdir"/usr/share/agda/lib/_build/$pkgver/agda

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-11-07 Thread Felix Yan via arch-commits 
Date: Saturday, November 7, 2020 @ 19:43:52
  Author: felixonmars
Revision: 745954

upgpkg: agda 2.6.1.1-33: rebuild with integer-logarithms 1.0.3.1

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-11-07 19:43:51 UTC (rev 745953)
+++ PKGBUILD2020-11-07 19:43:52 UTC (rev 745954)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.1
-pkgrel=32
+pkgrel=33
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-11-06 Thread Felix Yan via arch-commits 
Date: Friday, November 6, 2020 @ 22:02:07
  Author: felixonmars
Revision: 744626

upgpkg: agda 2.6.1.1-32: rebuild with splitmix 0.1.0.3

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-11-06 21:41:40 UTC (rev 744625)
+++ PKGBUILD2020-11-06 22:02:07 UTC (rev 744626)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.1
-pkgrel=31
+pkgrel=32
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-11-04 Thread Felix Yan via arch-commits 
Date: Wednesday, November 4, 2020 @ 20:23:20
  Author: felixonmars
Revision: 742588

upgpkg: agda 2.6.1.1-31: rebuild with quickcheck-instances 0.3.25

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-11-04 19:56:24 UTC (rev 742587)
+++ PKGBUILD2020-11-04 20:23:20 UTC (rev 742588)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.1
-pkgrel=30
+pkgrel=31
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-11-04 Thread Felix Yan via arch-commits 
Date: Wednesday, November 4, 2020 @ 10:56:39
  Author: felixonmars
Revision: 741887

upgpkg: agda 2.6.1.1-30: rebuild with time-compat 1.9.4

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-11-04 10:21:43 UTC (rev 741886)
+++ PKGBUILD2020-11-04 10:56:39 UTC (rev 741887)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.1
-pkgrel=29
+pkgrel=30
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-11-03 Thread Felix Yan via arch-commits 
Date: Tuesday, November 3, 2020 @ 21:34:06
  Author: felixonmars
Revision: 741370

upgpkg: agda 2.6.1.1-29: rebuild with foldl 1.4.10

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-11-03 21:30:12 UTC (rev 741369)
+++ PKGBUILD2020-11-03 21:34:06 UTC (rev 741370)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.1
-pkgrel=28
+pkgrel=29
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-11-03 Thread Felix Yan via arch-commits 
Date: Tuesday, November 3, 2020 @ 09:27:47
  Author: felixonmars
Revision: 740483

upgpkg: agda 2.6.1.1-28: rebuild with HUnit 1.6.1.0

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-11-03 09:25:55 UTC (rev 740482)
+++ PKGBUILD2020-11-03 09:27:47 UTC (rev 740483)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.1
-pkgrel=27
+pkgrel=28
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-10-31 Thread Felix Yan via arch-commits 
Date: Sunday, November 1, 2020 @ 01:40:28
  Author: felixonmars
Revision: 738079

upgpkg: agda 2.6.1.1-27: rebuild with unliftio 0.2.13.1

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-11-01 01:18:53 UTC (rev 738078)
+++ PKGBUILD2020-11-01 01:40:28 UTC (rev 738079)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.1
-pkgrel=26
+pkgrel=27
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-10-28 Thread Felix Yan via arch-commits 
Date: Wednesday, October 28, 2020 @ 15:19:55
  Author: felixonmars
Revision: 735513

upgpkg: agda 2.6.1.1-26: rebuild with optparse-applicative 0.16.0.0, 
optparse-generic 1.4.3, turtle 1.5.21

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-10-28 14:46:56 UTC (rev 735512)
+++ PKGBUILD2020-10-28 15:19:55 UTC (rev 735513)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.1
-pkgrel=25
+pkgrel=26
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-10-25 Thread Felix Yan via arch-commits 
Date: Sunday, October 25, 2020 @ 18:45:09
  Author: felixonmars
Revision: 732863

upgpkg: agda 2.6.1.1-25: rebuild with bifunctors 5.5.8

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-10-25 18:24:32 UTC (rev 732862)
+++ PKGBUILD2020-10-25 18:45:09 UTC (rev 732863)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.1
-pkgrel=24
+pkgrel=25
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-10-23 Thread Felix Yan via arch-commits 
Date: Friday, October 23, 2020 @ 22:24:20
  Author: felixonmars
Revision: 730949

upgpkg: agda 2.6.1.1-24: rebuild with generic-deriving 1.14

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-10-23 22:23:27 UTC (rev 730948)
+++ PKGBUILD2020-10-23 22:24:20 UTC (rev 730949)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.1
-pkgrel=23
+pkgrel=24
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-10-22 Thread Felix Yan via arch-commits 
Date: Thursday, October 22, 2020 @ 20:57:32
  Author: felixonmars
Revision: 730129

upgpkg: agda 2.6.1.1-23: rebuild with profunctors 5.6

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-10-22 20:37:12 UTC (rev 730128)
+++ PKGBUILD2020-10-22 20:57:32 UTC (rev 730129)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.1
-pkgrel=22
+pkgrel=23
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-10-22 Thread Felix Yan via arch-commits 
Date: Thursday, October 22, 2020 @ 14:14:29
  Author: felixonmars
Revision: 729146

upgpkg: agda 2.6.1.1-22: rebuild with splitmix 0.1.0.2

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-10-22 13:48:45 UTC (rev 729145)
+++ PKGBUILD2020-10-22 14:14:29 UTC (rev 729146)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.1
-pkgrel=21
+pkgrel=22
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-10-19 Thread Felix Yan via arch-commits 
Date: Monday, October 19, 2020 @ 17:27:23
  Author: felixonmars
Revision: 727196

upgpkg: agda 2.6.1.1-21: rebuild with conduit 1.3.3

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-10-19 16:59:56 UTC (rev 727195)
+++ PKGBUILD2020-10-19 17:27:23 UTC (rev 727196)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.1
-pkgrel=20
+pkgrel=21
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-10-18 Thread Felix Yan via arch-commits 
Date: Sunday, October 18, 2020 @ 16:30:21
  Author: felixonmars
Revision: 726744

upgpkg: agda 2.6.1.1-20: rebuild with uri-encode 1.5.0.7

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-10-18 16:00:04 UTC (rev 726743)
+++ PKGBUILD2020-10-18 16:30:21 UTC (rev 726744)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.1
-pkgrel=19
+pkgrel=20
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-10-18 Thread Felix Yan via arch-commits 
Date: Sunday, October 18, 2020 @ 10:34:36
  Author: felixonmars
Revision: 725875

upgpkg: agda 2.6.1.1-19: rebuild with th-abstraction 0.4.0.0

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-10-18 10:08:00 UTC (rev 725874)
+++ PKGBUILD2020-10-18 10:34:36 UTC (rev 725875)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.1
-pkgrel=18
+pkgrel=19
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-10-10 Thread Felix Yan via arch-commits 
Date: Saturday, October 10, 2020 @ 07:41:25
  Author: felixonmars
Revision: 722871

upgpkg: agda 2.6.1.1-18: rebuild with unordered-containers 0.2.13.0

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-10-10 07:20:52 UTC (rev 722870)
+++ PKGBUILD2020-10-10 07:41:25 UTC (rev 722871)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.1
-pkgrel=17
+pkgrel=18
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-10-08 Thread Felix Yan via arch-commits 
Date: Friday, October 9, 2020 @ 00:44:49
  Author: felixonmars
Revision: 722230

upgpkg: agda 2.6.1.1-17: rebuild with http-date 0.0.10

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-10-09 00:23:54 UTC (rev 79)
+++ PKGBUILD2020-10-09 00:44:49 UTC (rev 722230)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.1
-pkgrel=16
+pkgrel=17
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-10-08 Thread Felix Yan via arch-commits 
Date: Thursday, October 8, 2020 @ 19:45:55
  Author: felixonmars
Revision: 721922

upgpkg: agda 2.6.1.1-16: rebuild with criterion 1.5.7.0

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-10-08 19:36:57 UTC (rev 721921)
+++ PKGBUILD2020-10-08 19:45:55 UTC (rev 721922)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.1
-pkgrel=15
+pkgrel=16
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-10-07 Thread Felix Yan via arch-commits 
Date: Wednesday, October 7, 2020 @ 17:59:36
  Author: felixonmars
Revision: 720773

upgpkg: agda 2.6.1.1-15: rebuild with base-compat 0.11.2, base-compat-batteries 
0.11.2

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-10-07 17:22:43 UTC (rev 720772)
+++ PKGBUILD2020-10-07 17:59:36 UTC (rev 720773)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.1
-pkgrel=14
+pkgrel=15
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-10-05 Thread Felix Yan via arch-commits 
Date: Monday, October 5, 2020 @ 17:26:56
  Author: felixonmars
Revision: 718767

upgpkg: agda 2.6.1.1-14: rebuild with aeson 1.5.4.1

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-10-05 17:26:06 UTC (rev 718766)
+++ PKGBUILD2020-10-05 17:26:56 UTC (rev 718767)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.1
-pkgrel=13
+pkgrel=14
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-10-04 Thread Felix Yan via arch-commits 
Date: Sunday, October 4, 2020 @ 16:30:48
  Author: felixonmars
Revision: 717708

upgpkg: agda 2.6.1.1-13: rebuild with transformers-compat 0.6.6

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-10-04 16:21:21 UTC (rev 717707)
+++ PKGBUILD2020-10-04 16:30:48 UTC (rev 717708)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.1
-pkgrel=12
+pkgrel=13
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-10-02 Thread Felix Yan via arch-commits 
Date: Friday, October 2, 2020 @ 19:34:43
  Author: felixonmars
Revision: 715532

upgpkg: agda 2.6.1.1-12: rebuild with base-orphans 0.8.3

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-10-02 19:31:44 UTC (rev 715531)
+++ PKGBUILD2020-10-02 19:34:43 UTC (rev 715532)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.1
-pkgrel=11
+pkgrel=12
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-09-28 Thread Felix Yan via arch-commits 
Date: Monday, September 28, 2020 @ 19:21:47
  Author: felixonmars
Revision: 713264

upgpkg: agda 2.6.1.1-11: rebuild with foldl 1.4.9

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-09-28 19:01:05 UTC (rev 713263)
+++ PKGBUILD2020-09-28 19:21:47 UTC (rev 713264)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.1
-pkgrel=10
+pkgrel=11
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-09-28 Thread Felix Yan via arch-commits 
Date: Monday, September 28, 2020 @ 11:58:25
  Author: felixonmars
Revision: 712916

upgpkg: agda 2.6.1.1-10: rebuild with network-byte-order 0.1.6

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-09-28 11:44:13 UTC (rev 712915)
+++ PKGBUILD2020-09-28 11:58:25 UTC (rev 712916)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.1
-pkgrel=9
+pkgrel=10
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-09-25 Thread Felix Yan via arch-commits 
Date: Friday, September 25, 2020 @ 17:25:25
  Author: felixonmars
Revision: 712127

upgpkg: agda 2.6.1.1-9: rebuild with http-date 0.0.9

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-09-25 17:04:23 UTC (rev 712126)
+++ PKGBUILD2020-09-25 17:25:25 UTC (rev 712127)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.1
-pkgrel=8
+pkgrel=9
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-09-18 Thread Felix Yan via arch-commits 
Date: Saturday, September 19, 2020 @ 01:12:03
  Author: felixonmars
Revision: 710807

upgpkg: agda 2.6.1.1-8: rebuild with hashtables 1.2.4.1

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-09-19 01:05:52 UTC (rev 710806)
+++ PKGBUILD2020-09-19 01:12:03 UTC (rev 710807)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.1
-pkgrel=7
+pkgrel=8
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-09-18 Thread Felix Yan via arch-commits 
Date: Friday, September 18, 2020 @ 10:15:31
  Author: felixonmars
Revision: 709870

upgpkg: agda 2.6.1.1-7: rebuild with hspec 2.7.4, hspec-core 2.7.4, 
hspec-discover 2.7.4

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-09-18 10:08:49 UTC (rev 709869)
+++ PKGBUILD2020-09-18 10:15:31 UTC (rev 709870)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.1
-pkgrel=6
+pkgrel=7
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-09-16 Thread Felix Yan via arch-commits 
Date: Wednesday, September 16, 2020 @ 20:47:24
  Author: felixonmars
Revision: 708310

upgpkg: agda 2.6.1.1-6: rebuild with HTTP 4000.3.15

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-09-16 20:27:18 UTC (rev 708309)
+++ PKGBUILD2020-09-16 20:47:24 UTC (rev 708310)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.1
-pkgrel=5
+pkgrel=6
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-09-16 Thread Felix Yan via arch-commits 
Date: Wednesday, September 16, 2020 @ 07:34:52
  Author: felixonmars
Revision: 707233

upgpkg: agda 2.6.1.1-5: rebuild with quickcheck-classes-base 0.6.1.0

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-09-16 07:33:38 UTC (rev 707232)
+++ PKGBUILD2020-09-16 07:34:52 UTC (rev 707233)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.1
-pkgrel=4
+pkgrel=5
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-09-13 Thread Felix Yan via arch-commits 
Date: Sunday, September 13, 2020 @ 08:01:59
  Author: felixonmars
Revision: 704981

upgpkg: agda 2.6.1.1-4: rebuild with ansi-terminal 0.11

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-09-13 07:52:34 UTC (rev 704980)
+++ PKGBUILD2020-09-13 08:01:59 UTC (rev 704981)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.1
-pkgrel=3
+pkgrel=4
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-09-11 Thread Felix Yan via arch-commits 
Date: Saturday, September 12, 2020 @ 00:02:20
  Author: felixonmars
Revision: 702943

upgpkg: agda 2.6.1.1-3: rebuild with mwc-random 0.15.0.1

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-09-11 23:59:30 UTC (rev 702942)
+++ PKGBUILD2020-09-12 00:02:20 UTC (rev 702943)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.1
-pkgrel=2
+pkgrel=3
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-09-08 Thread Felix Yan via arch-commits 
Date: Tuesday, September 8, 2020 @ 23:03:09
  Author: felixonmars
Revision: 701406

upgpkg: agda 2.6.1.1-2: rebuild with hashtables 1.2.4.0

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-09-08 22:33:29 UTC (rev 701405)
+++ PKGBUILD2020-09-08 23:03:09 UTC (rev 701406)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1.1
-pkgrel=1
+pkgrel=2
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-09-08 Thread Felix Yan via arch-commits 
Date: Tuesday, September 8, 2020 @ 21:47:44
  Author: felixonmars
Revision: 701368

upgpkg: agda 2.6.1.1-1

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |   13 +
 1 file changed, 5 insertions(+), 8 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-09-08 21:46:55 UTC (rev 701367)
+++ PKGBUILD2020-09-08 21:47:44 UTC (rev 701368)
@@ -3,8 +3,8 @@
 
 _hkgname=Agda
 pkgname=agda
-pkgver=2.6.1
-pkgrel=105
+pkgver=2.6.1.1
+pkgrel=1
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")
@@ -19,18 +19,15 @@
 makedepends=('alex' 'happy' 'ghc' 'haskell-filemanip')
 
source=("$_hkgname-$pkgver.tar.gz::https://github.com/agda/agda/archive/v$pkgver.tar.gz;
 
agda-strict-0.4.patch::https://github.com/felixonmars/agda/commit/0497ec9fdde159a56ee42821e500b52d66374201.patch
-
agda-aeson-1.5.3.patch::https://github.com/agda/agda/commit/292f7d8c3def7e69ce9e79c67c895d6a4956dc5f.patch
-
agda-ghc-8.10.2.patch::https://github.com/agda/agda/commit/020418385c14b89ec2ea462f9376ed8549a30b15.patch)
-sha512sums=('e8dffa93e477dff44a91132f6163165dcb9f8804d68c4e218f5ce6ff297349c139c6aac0e52e4113d0fbe82e11b2b04ab47fce03f7b6a768b22fbcaeeb759f6f'
+
agda-aeson-1.5.3.patch::https://github.com/agda/agda/commit/292f7d8c3def7e69ce9e79c67c895d6a4956dc5f.patch)
+sha512sums=('fb5bb2d1bc2ea253e709da3a29920a06f35523fda88b9cdc3f0e957e240871d0e535ca4ca92e17d67f112324c0ad90058edcbac76a0bdf2baccdcd16b9af7c1f'
 
'6968a367d8d8cfa9a89d4760ba13aa5236ff1d3597ad8ef9301c33d3696decec092d4fd3556ae8c0bf4c09cd1f157ddb38b1443c2d340487a7eef93cf23a3a7b'
-
'9d8c233c87161ba80d283db0e301c2ff80f771a9e63416fce5c0e846146cd6a4aeae91a97dff869a724afc021c26d4c3088ebfc3a11c814d637fac5a5b66'
-
'ea83aa2119941ad7f6fa4dc4176843dc1b070c339614c92cd2aaac03f90e5a9b367d67afae32662004ba0ce50b256bf0c9be9b849de5c3f099dede36bdd53392')
+
'9d8c233c87161ba80d283db0e301c2ff80f771a9e63416fce5c0e846146cd6a4aeae91a97dff869a724afc021c26d4c3088ebfc3a11c814d637fac5a5b66')
 
 prepare() {
 cd $pkgname-$pkgver
 patch -p1 -i ../agda-strict-0.4.patch
 patch -p1 -i ../agda-aeson-1.5.3.patch
-patch -p1 -i ../agda-ghc-8.10.2.patch
 sed -i '/fno-warn-overlapping-patterns/a \, "-dynamic"' 
src/full/Agda/Compiler/MAlonzo/Compiler.hs
 sed -e "s|(\"Agda_datadir\", agda_datadir) : e|[(\"Agda_datadir\", 
agda_datadir), (\"LD_LIBRARY_PATH\", \"$PWD/dist/build\")] ++ e|" \
 -i Setup.hs

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-09-07 Thread Felix Yan via arch-commits 
Date: Monday, September 7, 2020 @ 22:52:32
  Author: felixonmars
Revision: 700460

upgpkg: agda 2.6.1-105: rebuild with hspec 2.7.3, hspec-core 2.7.3, 
hspec-discover 2.7.3

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-09-07 22:22:28 UTC (rev 700459)
+++ PKGBUILD2020-09-07 22:52:32 UTC (rev 700460)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1
-pkgrel=104
+pkgrel=105
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-09-04 Thread Felix Yan via arch-commits 
Date: Saturday, September 5, 2020 @ 00:38:28
  Author: felixonmars
Revision: 698759

upgpkg: agda 2.6.1-104: rebuild with tasty-expected-failure 0.12.1

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-09-05 00:06:18 UTC (rev 698758)
+++ PKGBUILD2020-09-05 00:38:28 UTC (rev 698759)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1
-pkgrel=103
+pkgrel=104
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-09-03 Thread Felix Yan via arch-commits 
Date: Thursday, September 3, 2020 @ 22:09:11
  Author: felixonmars
Revision: 697700

upgpkg: agda 2.6.1-103: rebuild with mwc-random 0.15.0.0

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-09-03 22:08:37 UTC (rev 697699)
+++ PKGBUILD2020-09-03 22:09:11 UTC (rev 697700)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1
-pkgrel=102
+pkgrel=103
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-09-01 Thread Felix Yan via arch-commits 
Date: Tuesday, September 1, 2020 @ 20:21:35
  Author: felixonmars
Revision: 695919

upgpkg: agda 2.6.1-102: rebuild with aeson 1.5.4.0

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-09-01 20:13:34 UTC (rev 695918)
+++ PKGBUILD2020-09-01 20:21:35 UTC (rev 695919)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1
-pkgrel=101
+pkgrel=102
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-09-01 Thread Felix Yan via arch-commits 
Date: Tuesday, September 1, 2020 @ 13:09:08
  Author: felixonmars
Revision: 695481

upgpkg: agda 2.6.1-101: rebuild with conduit 1.3.2.1

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-09-01 13:01:54 UTC (rev 695480)
+++ PKGBUILD2020-09-01 13:09:08 UTC (rev 695481)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1
-pkgrel=100
+pkgrel=101
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-08-31 Thread Felix Yan via arch-commits 
Date: Monday, August 31, 2020 @ 16:19:19
  Author: felixonmars
Revision: 694257

upgpkg: agda 2.6.1-100: rebuild with happy 1.20.0

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-08-31 16:15:10 UTC (rev 694256)
+++ PKGBUILD2020-08-31 16:19:19 UTC (rev 694257)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1
-pkgrel=99
+pkgrel=100
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-08-28 Thread Felix Yan via arch-commits 
Date: Saturday, August 29, 2020 @ 00:52:41
  Author: felixonmars
Revision: 691374

upgpkg: agda 2.6.1-99: rebuild with logict 0.7.0.3

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-08-29 00:52:36 UTC (rev 691373)
+++ PKGBUILD2020-08-29 00:52:41 UTC (rev 691374)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1
-pkgrel=98
+pkgrel=99
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-08-26 Thread Felix Yan via arch-commits 
Date: Wednesday, August 26, 2020 @ 19:18:50
  Author: felixonmars
Revision: 689014

upgpkg: agda 2.6.1-98: rebuild with random 1.2.0

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-08-26 19:18:08 UTC (rev 689013)
+++ PKGBUILD2020-08-26 19:18:50 UTC (rev 689014)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1
-pkgrel=97
+pkgrel=98
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-08-23 Thread Felix Yan via arch-commits 
Date: Monday, August 24, 2020 @ 00:26:57
  Author: felixonmars
Revision: 687435

upgpkg: agda 2.6.1-97: rebuild with http-client 0.7.2.1

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-08-23 23:56:43 UTC (rev 687434)
+++ PKGBUILD2020-08-24 00:26:57 UTC (rev 687435)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1
-pkgrel=96
+pkgrel=97
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-08-23 Thread Felix Yan via arch-commits 
Date: Sunday, August 23, 2020 @ 10:36:28
  Author: felixonmars
Revision: 687062

upgpkg: agda 2.6.1-96: rebuild with base64-bytestring 1.2.0.0

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-08-23 09:11:00 UTC (rev 687061)
+++ PKGBUILD2020-08-23 10:36:28 UTC (rev 687062)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1
-pkgrel=95
+pkgrel=96
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-08-21 Thread Felix Yan via arch-commits 
Date: Friday, August 21, 2020 @ 20:33:54
  Author: felixonmars
Revision: 686453

upgpkg: agda 2.6.1-95: rebuild with http-client 0.7.2

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-08-21 20:25:22 UTC (rev 686452)
+++ PKGBUILD2020-08-21 20:33:54 UTC (rev 686453)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1
-pkgrel=94
+pkgrel=95
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-08-21 Thread Felix Yan via arch-commits 
Date: Friday, August 21, 2020 @ 12:27:05
  Author: felixonmars
Revision: 685947

upgpkg: agda 2.6.1-94: rebuild with dlist 1.0

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-08-21 11:50:51 UTC (rev 685946)
+++ PKGBUILD2020-08-21 12:27:05 UTC (rev 685947)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1
-pkgrel=93
+pkgrel=94
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-08-19 Thread Felix Yan via arch-commits 
Date: Wednesday, August 19, 2020 @ 21:01:26
  Author: felixonmars
Revision: 685212

upgpkg: agda 2.6.1-93: rebuild with tasty-expected-failure 0.12

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-08-19 20:38:54 UTC (rev 685211)
+++ PKGBUILD2020-08-19 21:01:26 UTC (rev 685212)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1
-pkgrel=92
+pkgrel=93
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-08-18 Thread Felix Yan via arch-commits 
Date: Tuesday, August 18, 2020 @ 10:50:35
  Author: felixonmars
Revision: 683806

upgpkg: agda 2.6.1-92: rebuild with ghc 8.10.2

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |9 ++---
 1 file changed, 6 insertions(+), 3 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-08-18 09:12:29 UTC (rev 683805)
+++ PKGBUILD2020-08-18 10:50:35 UTC (rev 683806)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1
-pkgrel=91
+pkgrel=92
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")
@@ -19,15 +19,18 @@
 makedepends=('alex' 'happy' 'ghc' 'haskell-filemanip')
 
source=("$_hkgname-$pkgver.tar.gz::https://github.com/agda/agda/archive/v$pkgver.tar.gz;
 
agda-strict-0.4.patch::https://github.com/felixonmars/agda/commit/0497ec9fdde159a56ee42821e500b52d66374201.patch
-
agda-aeson-1.5.3.patch::https://github.com/agda/agda/commit/292f7d8c3def7e69ce9e79c67c895d6a4956dc5f.patch)
+
agda-aeson-1.5.3.patch::https://github.com/agda/agda/commit/292f7d8c3def7e69ce9e79c67c895d6a4956dc5f.patch
+
agda-ghc-8.10.2.patch::https://github.com/agda/agda/commit/020418385c14b89ec2ea462f9376ed8549a30b15.patch)
 
sha512sums=('e8dffa93e477dff44a91132f6163165dcb9f8804d68c4e218f5ce6ff297349c139c6aac0e52e4113d0fbe82e11b2b04ab47fce03f7b6a768b22fbcaeeb759f6f'
 
'6968a367d8d8cfa9a89d4760ba13aa5236ff1d3597ad8ef9301c33d3696decec092d4fd3556ae8c0bf4c09cd1f157ddb38b1443c2d340487a7eef93cf23a3a7b'
-
'9d8c233c87161ba80d283db0e301c2ff80f771a9e63416fce5c0e846146cd6a4aeae91a97dff869a724afc021c26d4c3088ebfc3a11c814d637fac5a5b66')
+
'9d8c233c87161ba80d283db0e301c2ff80f771a9e63416fce5c0e846146cd6a4aeae91a97dff869a724afc021c26d4c3088ebfc3a11c814d637fac5a5b66'
+
'ea83aa2119941ad7f6fa4dc4176843dc1b070c339614c92cd2aaac03f90e5a9b367d67afae32662004ba0ce50b256bf0c9be9b849de5c3f099dede36bdd53392')
 
 prepare() {
 cd $pkgname-$pkgver
 patch -p1 -i ../agda-strict-0.4.patch
 patch -p1 -i ../agda-aeson-1.5.3.patch
+patch -p1 -i ../agda-ghc-8.10.2.patch
 sed -i '/fno-warn-overlapping-patterns/a \, "-dynamic"' 
src/full/Agda/Compiler/MAlonzo/Compiler.hs
 sed -e "s|(\"Agda_datadir\", agda_datadir) : e|[(\"Agda_datadir\", 
agda_datadir), (\"LD_LIBRARY_PATH\", \"$PWD/dist/build\")] ++ e|" \
 -i Setup.hs

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-08-16 Thread Felix Yan via arch-commits 
Date: Sunday, August 16, 2020 @ 19:59:40
  Author: felixonmars
Revision: 681871

upgpkg: agda 2.6.1-91: rebuild with lifted-async 0.10.1.2

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-08-16 19:38:50 UTC (rev 681870)
+++ PKGBUILD2020-08-16 19:59:40 UTC (rev 681871)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1
-pkgrel=90
+pkgrel=91
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-08-16 Thread Felix Yan via arch-commits 
Date: Sunday, August 16, 2020 @ 07:35:16
  Author: felixonmars
Revision: 680762

upgpkg: agda 2.6.1-90: rebuild with math-functions 0.3.4.1

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-08-16 07:26:12 UTC (rev 680761)
+++ PKGBUILD2020-08-16 07:35:16 UTC (rev 680762)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1
-pkgrel=89
+pkgrel=90
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-08-14 Thread Felix Yan via arch-commits 
Date: Saturday, August 15, 2020 @ 05:59:02
  Author: felixonmars
Revision: 679381

upgpkg: agda 2.6.1-89: rebuild with aeson 1.5.3.0

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |9 ++---
 1 file changed, 6 insertions(+), 3 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-08-15 05:58:41 UTC (rev 679380)
+++ PKGBUILD2020-08-15 05:59:02 UTC (rev 679381)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1
-pkgrel=88
+pkgrel=89
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")
@@ -18,13 +18,16 @@
 optdepends=('agda-stdlib: for standard library')
 makedepends=('alex' 'happy' 'ghc' 'haskell-filemanip')
 
source=("$_hkgname-$pkgver.tar.gz::https://github.com/agda/agda/archive/v$pkgver.tar.gz;
-
agda-strict-0.4.patch::https://github.com/felixonmars/agda/commit/0497ec9fdde159a56ee42821e500b52d66374201.patch)
+
agda-strict-0.4.patch::https://github.com/felixonmars/agda/commit/0497ec9fdde159a56ee42821e500b52d66374201.patch
+
agda-aeson-1.5.3.patch::https://github.com/agda/agda/commit/292f7d8c3def7e69ce9e79c67c895d6a4956dc5f.patch)
 
sha512sums=('e8dffa93e477dff44a91132f6163165dcb9f8804d68c4e218f5ce6ff297349c139c6aac0e52e4113d0fbe82e11b2b04ab47fce03f7b6a768b22fbcaeeb759f6f'
-
'6968a367d8d8cfa9a89d4760ba13aa5236ff1d3597ad8ef9301c33d3696decec092d4fd3556ae8c0bf4c09cd1f157ddb38b1443c2d340487a7eef93cf23a3a7b')
+
'6968a367d8d8cfa9a89d4760ba13aa5236ff1d3597ad8ef9301c33d3696decec092d4fd3556ae8c0bf4c09cd1f157ddb38b1443c2d340487a7eef93cf23a3a7b'
+
'9d8c233c87161ba80d283db0e301c2ff80f771a9e63416fce5c0e846146cd6a4aeae91a97dff869a724afc021c26d4c3088ebfc3a11c814d637fac5a5b66')
 
 prepare() {
 cd $pkgname-$pkgver
 patch -p1 -i ../agda-strict-0.4.patch
+patch -p1 -i ../agda-aeson-1.5.3.patch
 sed -i '/fno-warn-overlapping-patterns/a \, "-dynamic"' 
src/full/Agda/Compiler/MAlonzo/Compiler.hs
 sed -e "s|(\"Agda_datadir\", agda_datadir) : e|[(\"Agda_datadir\", 
agda_datadir), (\"LD_LIBRARY_PATH\", \"$PWD/dist/build\")] ++ e|" \
 -i Setup.hs

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-08-14 Thread Felix Yan via arch-commits 
Date: Friday, August 14, 2020 @ 06:46:09
  Author: felixonmars
Revision: 678315

upgpkg: agda 2.6.1-88: rebuild with hspec 2.7.2, hspec-core 2.7.2, 
hspec-discover 2.7.2

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-08-14 06:37:52 UTC (rev 678314)
+++ PKGBUILD2020-08-14 06:46:09 UTC (rev 678315)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1
-pkgrel=87
+pkgrel=88
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-08-13 Thread Felix Yan via arch-commits 
Date: Thursday, August 13, 2020 @ 06:32:31
  Author: felixonmars
Revision: 676872

upgpkg: agda 2.6.1-87: rebuild with quickcheck-instances 0.3.24

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-08-13 06:23:30 UTC (rev 676871)
+++ PKGBUILD2020-08-13 06:32:31 UTC (rev 676872)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1
-pkgrel=86
+pkgrel=87
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-08-12 Thread Felix Yan via arch-commits 
Date: Wednesday, August 12, 2020 @ 07:20:32
  Author: felixonmars
Revision: 675581

upgpkg: agda 2.6.1-86: rebuild with splitmix 0.1.0.1

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-08-12 06:55:55 UTC (rev 675580)
+++ PKGBUILD2020-08-12 07:20:32 UTC (rev 675581)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1
-pkgrel=85
+pkgrel=86
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-08-10 Thread Felix Yan via arch-commits 
Date: Monday, August 10, 2020 @ 19:28:58
  Author: felixonmars
Revision: 674069

upgpkg: agda 2.6.1-85: rebuild with optics-th 0.3.0.1

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-08-10 19:13:37 UTC (rev 674068)
+++ PKGBUILD2020-08-10 19:28:58 UTC (rev 674069)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1
-pkgrel=84
+pkgrel=85
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-08-10 Thread Felix Yan via arch-commits 
Date: Monday, August 10, 2020 @ 10:36:15
  Author: felixonmars
Revision: 673534

upgpkg: agda 2.6.1-84: rebuild with streaming-commons 0.2.2.1

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-08-10 10:28:44 UTC (rev 673533)
+++ PKGBUILD2020-08-10 10:36:15 UTC (rev 673534)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1
-pkgrel=83
+pkgrel=84
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-08-09 Thread Felix Yan via arch-commits 
Date: Sunday, August 9, 2020 @ 19:36:07
  Author: felixonmars
Revision: 673319

upgpkg: agda 2.6.1-83: rebuild with strict 0.4

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |   11 +++
 1 file changed, 7 insertions(+), 4 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-08-09 18:49:27 UTC (rev 673318)
+++ PKGBUILD2020-08-09 19:36:07 UTC (rev 673319)
@@ -4,12 +4,12 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1
-pkgrel=82
+pkgrel=83
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")
 arch=('x86_64')
-depends=('ghc-libs' 'haskell-aeson' 'haskell-async' 'haskell-blaze-html' 
'haskell-boxes'
+depends=('ghc-libs' 'ghc' 'haskell-aeson' 'haskell-async' 'haskell-blaze-html' 
'haskell-boxes'
  'haskell-cpphs' 'haskell-data-hash' 'haskell-edit-distance' 
'haskell-equivalence'
  'haskell-geniplate-mirror' 'haskell-gitrev' 'haskell-hashable'
  'haskell-hashtables' 'haskell-ieee754' 'haskell-murmur-hash' 
'haskell-regex-tdfa'
@@ -17,11 +17,14 @@
  'haskell-zlib')
 optdepends=('agda-stdlib: for standard library')
 makedepends=('alex' 'happy' 'ghc' 'haskell-filemanip')
-source=("$_hkgname-$pkgver.tar.gz::https://github.com/agda/agda/archive/v$pkgver.tar.gz;)
-sha512sums=('e8dffa93e477dff44a91132f6163165dcb9f8804d68c4e218f5ce6ff297349c139c6aac0e52e4113d0fbe82e11b2b04ab47fce03f7b6a768b22fbcaeeb759f6f')
+source=("$_hkgname-$pkgver.tar.gz::https://github.com/agda/agda/archive/v$pkgver.tar.gz;
+
agda-strict-0.4.patch::https://github.com/felixonmars/agda/commit/0497ec9fdde159a56ee42821e500b52d66374201.patch)
+sha512sums=('e8dffa93e477dff44a91132f6163165dcb9f8804d68c4e218f5ce6ff297349c139c6aac0e52e4113d0fbe82e11b2b04ab47fce03f7b6a768b22fbcaeeb759f6f'
+
'6968a367d8d8cfa9a89d4760ba13aa5236ff1d3597ad8ef9301c33d3696decec092d4fd3556ae8c0bf4c09cd1f157ddb38b1443c2d340487a7eef93cf23a3a7b')
 
 prepare() {
 cd $pkgname-$pkgver
+patch -p1 -i ../agda-strict-0.4.patch
 sed -i '/fno-warn-overlapping-patterns/a \, "-dynamic"' 
src/full/Agda/Compiler/MAlonzo/Compiler.hs
 sed -e "s|(\"Agda_datadir\", agda_datadir) : e|[(\"Agda_datadir\", 
agda_datadir), (\"LD_LIBRARY_PATH\", \"$PWD/dist/build\")] ++ e|" \
 -i Setup.hs

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-08-09 Thread Felix Yan via arch-commits 
Date: Sunday, August 9, 2020 @ 18:00:41
  Author: felixonmars
Revision: 673302

upgpkg: agda 2.6.1-82: rebuild with uri-encode 1.5.0.6

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-08-09 17:38:45 UTC (rev 673301)
+++ PKGBUILD2020-08-09 18:00:41 UTC (rev 673302)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1
-pkgrel=81
+pkgrel=82
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-08-08 Thread Felix Yan via arch-commits 
Date: Sunday, August 9, 2020 @ 04:16:31
  Author: felixonmars
Revision: 672978

upgpkg: agda 2.6.1-81: rebuild with network 3.1.2.0

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-08-09 03:50:53 UTC (rev 672977)
+++ PKGBUILD2020-08-09 04:16:31 UTC (rev 672978)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1
-pkgrel=80
+pkgrel=81
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-08-08 Thread Felix Yan via arch-commits 
Date: Saturday, August 8, 2020 @ 16:24:20
  Author: felixonmars
Revision: 672462

upgpkg: agda 2.6.1-80: rebuild with these 1.1.1.1

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-08-08 16:08:59 UTC (rev 672461)
+++ PKGBUILD2020-08-08 16:24:20 UTC (rev 672462)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1
-pkgrel=79
+pkgrel=80
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-08-08 Thread Felix Yan via arch-commits 
Date: Saturday, August 8, 2020 @ 08:56:44
  Author: felixonmars
Revision: 671986

upgpkg: agda 2.6.1-79: rebuild with lifted-async 0.10.1.1

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-08-08 08:54:38 UTC (rev 671985)
+++ PKGBUILD2020-08-08 08:56:44 UTC (rev 671986)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1
-pkgrel=78
+pkgrel=79
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-08-07 Thread Felix Yan via arch-commits 
Date: Friday, August 7, 2020 @ 08:44:13
  Author: felixonmars
Revision: 671359

upgpkg: agda 2.6.1-78: rebuild with foldl 1.4.8

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-08-07 08:15:16 UTC (rev 671358)
+++ PKGBUILD2020-08-07 08:44:13 UTC (rev 671359)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1
-pkgrel=77
+pkgrel=78
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-08-06 Thread Felix Yan via arch-commits 
Date: Thursday, August 6, 2020 @ 14:11:02
  Author: felixonmars
Revision: 670935

upgpkg: agda 2.6.1-77: rebuild with streaming-commons 0.2.2.0

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-08-06 13:58:55 UTC (rev 670934)
+++ PKGBUILD2020-08-06 14:11:02 UTC (rev 670935)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1
-pkgrel=76
+pkgrel=77
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-08-06 Thread Felix Yan via arch-commits 
Date: Thursday, August 6, 2020 @ 06:28:57
  Author: felixonmars
Revision: 670533

upgpkg: agda 2.6.1-76: rebuild with hedgehog 1.0.3

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-08-06 06:21:23 UTC (rev 670532)
+++ PKGBUILD2020-08-06 06:28:57 UTC (rev 670533)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1
-pkgrel=75
+pkgrel=76
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-08-05 Thread Felix Yan via arch-commits 
Date: Wednesday, August 5, 2020 @ 14:36:54
  Author: felixonmars
Revision: 669515

upgpkg: agda 2.6.1-75: rebuild with unordered-containers 0.2.12.0

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-08-05 14:20:56 UTC (rev 669514)
+++ PKGBUILD2020-08-05 14:36:54 UTC (rev 669515)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1
-pkgrel=74
+pkgrel=75
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-08-04 Thread Felix Yan via arch-commits 
Date: Tuesday, August 4, 2020 @ 14:46:48
  Author: felixonmars
Revision: 668844

upgpkg: agda 2.6.1-74: rebuild with http2 2.0.5

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-08-04 14:46:33 UTC (rev 668843)
+++ PKGBUILD2020-08-04 14:46:48 UTC (rev 668844)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1
-pkgrel=73
+pkgrel=74
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-08-03 Thread Felix Yan via arch-commits 
Date: Monday, August 3, 2020 @ 22:23:47
  Author: felixonmars
Revision: 668589

upgpkg: agda 2.6.1-73: rebuild with zlib 0.6.2.2

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-08-03 21:59:57 UTC (rev 668588)
+++ PKGBUILD2020-08-03 22:23:47 UTC (rev 668589)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1
-pkgrel=72
+pkgrel=73
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-08-03 Thread Felix Yan via arch-commits 
Date: Monday, August 3, 2020 @ 13:14:37
  Author: felixonmars
Revision: 668286

upgpkg: agda 2.6.1-72: rebuild with these 1.1.1

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-08-03 12:47:21 UTC (rev 668285)
+++ PKGBUILD2020-08-03 13:14:37 UTC (rev 668286)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1
-pkgrel=71
+pkgrel=72
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-08-02 Thread Felix Yan via arch-commits 
Date: Sunday, August 2, 2020 @ 21:14:09
  Author: felixonmars
Revision: 667879

upgpkg: agda 2.6.1-71: rebuild with blaze-markup 0.8.2.7

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-08-02 21:12:23 UTC (rev 667878)
+++ PKGBUILD2020-08-02 21:14:09 UTC (rev 667879)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1
-pkgrel=70
+pkgrel=71
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-08-02 Thread Felix Yan via arch-commits 
Date: Sunday, August 2, 2020 @ 15:37:28
  Author: felixonmars
Revision: 667747

upgpkg: agda 2.6.1-70: rebuild with Glob 0.10.1

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-08-02 15:12:00 UTC (rev 667746)
+++ PKGBUILD2020-08-02 15:37:28 UTC (rev 667747)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1
-pkgrel=69
+pkgrel=70
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-08-01 Thread Felix Yan via arch-commits 
Date: Saturday, August 1, 2020 @ 09:57:20
  Author: felixonmars
Revision: 667358

upgpkg: agda 2.6.1-69: rebuild with QuickCheck 2.14.1

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-08-01 09:28:08 UTC (rev 667357)
+++ PKGBUILD2020-08-01 09:57:20 UTC (rev 667358)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1
-pkgrel=68
+pkgrel=69
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-07-31 Thread Felix Yan via arch-commits 
Date: Friday, July 31, 2020 @ 07:01:00
  Author: felixonmars
Revision: 666046

upgpkg: agda 2.6.1-68: add symlink to avoid wring into /usr

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |   11 +++
 1 file changed, 7 insertions(+), 4 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-07-31 06:58:22 UTC (rev 666045)
+++ PKGBUILD2020-07-31 07:01:00 UTC (rev 666046)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1
-pkgrel=67
+pkgrel=68
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")
@@ -21,10 +21,8 @@
 
sha512sums=('e8dffa93e477dff44a91132f6163165dcb9f8804d68c4e218f5ce6ff297349c139c6aac0e52e4113d0fbe82e11b2b04ab47fce03f7b6a768b22fbcaeeb759f6f')
 
 prepare() {
-mkdir -p lib-target
-cp -a $pkgname-$pkgver/src/data/lib lib-target/lib
-
 cd $pkgname-$pkgver
+sed -i '/fno-warn-overlapping-patterns/a \, "-dynamic"' 
src/full/Agda/Compiler/MAlonzo/Compiler.hs
 sed -e "s|(\"Agda_datadir\", agda_datadir) : e|[(\"Agda_datadir\", 
agda_datadir), (\"LD_LIBRARY_PATH\", \"$PWD/dist/build\")] ++ e|" \
 -i Setup.hs
 sed -i 's/< *1.5/<2/' $_hkgname.cabal
@@ -50,6 +48,11 @@
 install -D -m744 register.sh   
"${pkgdir}/usr/share/haskell/register/${pkgname}.sh"
 install -D -m744 unregister.sh 
"${pkgdir}/usr/share/haskell/unregister/${pkgname}.sh"
 runhaskell Setup copy --destdir="${pkgdir}"
+
+# Symlink to avoid writing to this place when agda-lib is present
+install -dm755 "$pkgdir"/usr/share/agda/lib/_build/$pkgver/agda
+ln -s ../../../prim "$pkgdir"/usr/share/agda/lib/_build/$pkgver/agda/
+
 install -D -m644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
 rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
 }

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-06-29 Thread Felix Yan via arch-commits 
Date: Monday, June 29, 2020 @ 13:23:13
  Author: felixonmars
Revision: 656278

upgpkg: agda 2.6.1-67: rebuild with primitive 0.7.1.0

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-06-29 13:13:18 UTC (rev 656277)
+++ PKGBUILD2020-06-29 13:23:13 UTC (rev 656278)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1
-pkgrel=66
+pkgrel=67
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

[arch-commits] Commit in agda/trunk (PKGBUILD)

2020-06-27 Thread Felix Yan via arch-commits 
Date: Friday, June 26, 2020 @ 02:40:05
  Author: felixonmars
Revision: 653349

upgpkg: agda 2.6.1-64: rebuild with warp 3.3.13

Modified:
  agda/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-06-26 02:32:25 UTC (rev 653348)
+++ PKGBUILD2020-06-26 02:40:05 UTC (rev 653349)
@@ -4,7 +4,7 @@
 _hkgname=Agda
 pkgname=agda
 pkgver=2.6.1
-pkgrel=63
+pkgrel=64
 pkgdesc="A dependently typed functional programming language and proof 
assistant"
 url="https://wiki.portal.chalmers.se/agda/;
 license=("custom")

  1   2   3   4   >