[arch-commits] Commit in agda/trunk (PKGBUILD)
Date: Saturday, September 10, 2022 @ 15:54:39
Author: felixonmars
Revision: 1299554
upgpkg: agda 2.6.2.2-24: rebuild with generic-deriving 1.14.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-09-10 15:54:39 UTC (rev 1299553)
+++ PKGBUILD2022-09-10 15:54:39 UTC (rev 1299554)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2.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)
Date: Friday, September 9, 2022 @ 22:55:37
Author: felixonmars
Revision: 1297931
upgpkg: agda 2.6.2.2-23: rebuild with hedgehog 1.1.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-09-09 22:55:26 UTC (rev 1297930)
+++ PKGBUILD2022-09-09 22:55:37 UTC (rev 1297931)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2.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)
Date: Thursday, September 8, 2022 @ 09:47:48
Author: felixonmars
Revision: 1296433
upgpkg: agda 2.6.2.2-22: rebuild with extra 1.7.12
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-09-08 09:47:37 UTC (rev 1296432)
+++ PKGBUILD2022-09-08 09:47:48 UTC (rev 1296433)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2.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)
Date: Tuesday, September 6, 2022 @ 19:25:23
Author: felixonmars
Revision: 1294670
upgpkg: agda 2.6.2.2-21: rebuild with hspec 2.10.0, hspec-core 2.10.0,
hspec-discover 2.10.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-09-06 19:24:59 UTC (rev 1294669)
+++ PKGBUILD2022-09-06 19:25:23 UTC (rev 1294670)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2.2
-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)
Date: Saturday, September 3, 2022 @ 10:02:09
Author: felixonmars
Revision: 1291467
upgpkg: agda 2.6.2.2-20: rebuild with tasty-hedgehog 1.3.0.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-09-03 09:58:59 UTC (rev 1291466)
+++ PKGBUILD2022-09-03 10:02:09 UTC (rev 1291467)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2.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)
Date: Wednesday, August 31, 2022 @ 20:19:45
Author: felixonmars
Revision: 1289346
upgpkg: agda 2.6.2.2-19: rebuild with th-compat 0.1.4
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-08-31 20:19:35 UTC (rev 1289345)
+++ PKGBUILD2022-08-31 20:19:45 UTC (rev 1289346)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2.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)
Date: Tuesday, August 30, 2022 @ 00:12:42
Author: felixonmars
Revision: 1287140
upgpkg: agda 2.6.2.2-18: rebuild with base-compat 0.12.2, base-compat-batteries
0.12.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-08-30 00:12:32 UTC (rev 1287139)
+++ PKGBUILD2022-08-30 00:12:42 UTC (rev 1287140)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2.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)
Date: Monday, August 29, 2022 @ 14:35:17
Author: felixonmars
Revision: 1285260
upgpkg: agda 2.6.2.2-17: rebuild with regex-tdfa 1.3.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-08-29 14:34:08 UTC (rev 1285259)
+++ PKGBUILD2022-08-29 14:35:17 UTC (rev 1285260)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2.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)
Date: Friday, August 26, 2022 @ 16:51:40
Author: felixonmars
Revision: 1283223
upgpkg: agda 2.6.2.2-16: rebuild with silently 1.2.5.3
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-08-26 16:48:05 UTC (rev 1283222)
+++ PKGBUILD2022-08-26 16:51:40 UTC (rev 1283223)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2.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)
Date: Friday, August 26, 2022 @ 07:18:15
Author: felixonmars
Revision: 1280984
upgpkg: agda 2.6.2.2-15: rebuild with extra 1.7.11
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-08-26 07:18:02 UTC (rev 1280983)
+++ PKGBUILD2022-08-26 07:18:15 UTC (rev 1280984)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2.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)
Date: Thursday, August 25, 2022 @ 18:39:41
Author: felixonmars
Revision: 1279894
upgpkg: agda 2.6.2.2-14: rebuild with quickcheck-instances 0.3.28
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-08-25 18:39:30 UTC (rev 1279893)
+++ PKGBUILD2022-08-25 18:39:41 UTC (rev 1279894)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2.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)
Date: Thursday, August 25, 2022 @ 00:16:39
Author: felixonmars
Revision: 1278120
upgpkg: agda 2.6.2.2-13: rebuild with hashable 1.4.1.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-08-25 00:12:58 UTC (rev 1278119)
+++ PKGBUILD2022-08-25 00:16:39 UTC (rev 1278120)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2.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)
Date: Sunday, August 21, 2022 @ 17:22:44
Author: felixonmars
Revision: 1273056
upgpkg: agda 2.6.2.2-12: rebuild with split 0.2.3.5
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-08-21 17:22:33 UTC (rev 1273055)
+++ PKGBUILD2022-08-21 17:22:44 UTC (rev 1273056)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2.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)
Date: Sunday, August 21, 2022 @ 07:15:24
Author: felixonmars
Revision: 1271596
upgpkg: agda 2.6.2.2-11: rebuild with ChasingBottoms 1.3.1.12
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-08-21 07:15:02 UTC (rev 1271595)
+++ PKGBUILD2022-08-21 07:15:24 UTC (rev 1271596)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2.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)
Date: Friday, August 19, 2022 @ 07:52:52
Author: felixonmars
Revision: 1269561
upgpkg: agda 2.6.2.2-10: rebuild with base-orphans 0.8.7
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-08-19 07:52:42 UTC (rev 1269560)
+++ PKGBUILD2022-08-19 07:52:52 UTC (rev 1269561)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2.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)
Date: Thursday, August 18, 2022 @ 12:59:17
Author: felixonmars
Revision: 1267310
upgpkg: agda 2.6.2.2-9: rebuild with lifted-async 0.10.2.3
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-08-18 12:59:09 UTC (rev 1267309)
+++ PKGBUILD2022-08-18 12:59:17 UTC (rev 1267310)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2.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)
Date: Tuesday, August 16, 2022 @ 09:25:07
Author: felixonmars
Revision: 1266614
upgpkg: agda 2.6.2.2-8: rebuild with equivalence 0.4.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-08-16 09:18:35 UTC (rev 1266613)
+++ PKGBUILD2022-08-16 09:25:07 UTC (rev 1266614)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2.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)
Date: Friday, August 12, 2022 @ 17:48:37
Author: felixonmars
Revision: 1265615
upgpkg: agda 2.6.2.2-7: rebuild with regex-tdfa 1.3.1.5
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-08-12 17:48:09 UTC (rev 1265614)
+++ PKGBUILD2022-08-12 17:48:37 UTC (rev 1265615)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2.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)
Date: Tuesday, August 9, 2022 @ 17:13:03
Author: felixonmars
Revision: 1264098
upgpkg: agda 2.6.2.2-6: rebuild with th-abstraction 0.4.4.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-08-09 17:12:52 UTC (rev 1264097)
+++ PKGBUILD2022-08-09 17:13:03 UTC (rev 1264098)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2.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)
Date: Monday, August 8, 2022 @ 19:07:01
Author: felixonmars
Revision: 1262044
upgpkg: agda 2.6.2.2-5: rebuild with tasty 1.4.2.3
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-08-08 19:06:51 UTC (rev 1262043)
+++ PKGBUILD2022-08-08 19:07:01 UTC (rev 1262044)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2.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)
Date: Sunday, July 31, 2022 @ 18:45:33
Author: felixonmars
Revision: 1259425
upgpkg: agda 2.6.2.2-4: rebuild with regex-tdfa 1.3.1.4
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-07-31 18:45:27 UTC (rev 1259424)
+++ PKGBUILD2022-07-31 18:45:33 UTC (rev 1259425)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2.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)
Date: Monday, July 25, 2022 @ 10:34:05
Author: felixonmars
Revision: 1257436
upgpkg: agda 2.6.2.2-3: rebuild with inspection-testing 0.5,
tasty-inspection-testing 0.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-07-25 10:33:58 UTC (rev 1257435)
+++ PKGBUILD2022-07-25 10:34:05 UTC (rev 1257436)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2.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)
Date: Saturday, July 23, 2022 @ 07:36:10
Author: felixonmars
Revision: 1255505
upgpkg: agda 2.6.2.2-2: rebuild with hashtables 1.3
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-07-23 07:34:30 UTC (rev 1255504)
+++ PKGBUILD2022-07-23 07:36:10 UTC (rev 1255505)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2.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)
Date: Saturday, July 23, 2022 @ 05:13:57
Author: felixonmars
Revision: 1255371
upgpkg: agda 2.6.2.2-1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |9 -
1 file changed, 4 insertions(+), 5 deletions(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-07-23 05:12:17 UTC (rev 1255370)
+++ PKGBUILD2022-07-23 05:13:57 UTC (rev 1255371)
@@ -3,8 +3,8 @@
_hkgname=Agda
pkgname=agda
-pkgver=2.6.2.1
-pkgrel=4
+pkgver=2.6.2.2
+pkgrel=1
pkgdesc="A dependently typed functional programming language and proof
assistant"
url="https://wiki.portal.chalmers.se/agda/;
license=("custom")
@@ -16,14 +16,13 @@
'haskell-split' 'haskell-strict' 'haskell-unordered-containers'
'haskell-uri-encode'
'haskell-zlib')
optdepends=('agda-stdlib: for standard library')
-makedepends=('alex' 'happy' 'ghc' 'uusi' 'haskell-filemanip')
+makedepends=('alex' 'happy' 'ghc' 'haskell-filemanip')
source=("https://hackage.haskell.org/packages/archive/$_hkgname/$pkgver/$_hkgname-$pkgver.tar.gz;)
-sha512sums=('9ceb2d632fd1fd6e9c9a2ec54a834a0357e31852ac4a88db45dd6f3b629a0f1d335686083f2d94187a3e5d7812b0471841581e54111efe33db430800d41381d9')
+sha512sums=('f54dcc0fd6dea106db4a04cc3b0b80f404f0613b5075849db17a1b4b5e176ed6d183bfdaf464fbcbc6e0807c1af0c8748f96552d48e537444109be54730685a8')
prepare() {
cd $_hkgname-$pkgver
sed -i '/fno-warn-overlapping-patterns/a \, "-dynamic"'
src/full/Agda/Compiler/MAlonzo/Compiler.hs
-uusi -u equivalence $_hkgname.cabal
}
build() {
[arch-commits] Commit in agda/trunk (PKGBUILD)
Date: Tuesday, July 19, 2022 @ 09:53:35
Author: felixonmars
Revision: 1254574
upgpkg: agda 2.6.2.1-4: rebuild with regex-tdfa 1.3.1.3
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-07-19 09:52:19 UTC (rev 1254573)
+++ PKGBUILD2022-07-19 09:53:35 UTC (rev 1254574)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2.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)
Date: Saturday, July 16, 2022 @ 03:34:31
Author: felixonmars
Revision: 1253415
upgpkg: agda 2.6.2.1-3: rebuild with constraints 0.13.4
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-07-16 03:34:21 UTC (rev 1253414)
+++ PKGBUILD2022-07-16 03:34:31 UTC (rev 1253415)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2.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)
Date: Tuesday, July 12, 2022 @ 20:13:23
Author: felixonmars
Revision: 1251266
upgpkg: agda 2.6.2.1-2: rebuild with tasty 1.4.2.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-07-12 20:13:14 UTC (rev 1251265)
+++ PKGBUILD2022-07-12 20:13:23 UTC (rev 1251266)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2.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)
Date: Thursday, July 7, 2022 @ 22:16:55
Author: felixonmars
Revision: 1248367
upgpkg: agda 2.6.2.1-1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |8
1 file changed, 4 insertions(+), 4 deletions(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-07-07 21:58:57 UTC (rev 1248366)
+++ PKGBUILD2022-07-07 22:16:55 UTC (rev 1248367)
@@ -3,8 +3,8 @@
_hkgname=Agda
pkgname=agda
-pkgver=2.6.2
-pkgrel=103
+pkgver=2.6.2.1
+pkgrel=1
pkgdesc="A dependently typed functional programming language and proof
assistant"
url="https://wiki.portal.chalmers.se/agda/;
license=("custom")
@@ -18,12 +18,12 @@
optdepends=('agda-stdlib: for standard library')
makedepends=('alex' 'happy' 'ghc' 'uusi' 'haskell-filemanip')
source=("https://hackage.haskell.org/packages/archive/$_hkgname/$pkgver/$_hkgname-$pkgver.tar.gz;)
-sha512sums=('1be631c8fd2129df4b8eb97e7bbfc54838eccf745d402a9f769f9486e8f6a1f55eeab9d47dd6cd428136ea9a3800766a2c7180662b5a41a6c7f29ffadadc3627')
+sha512sums=('9ceb2d632fd1fd6e9c9a2ec54a834a0357e31852ac4a88db45dd6f3b629a0f1d335686083f2d94187a3e5d7812b0471841581e54111efe33db430800d41381d9')
prepare() {
cd $_hkgname-$pkgver
sed -i '/fno-warn-overlapping-patterns/a \, "-dynamic"'
src/full/Agda/Compiler/MAlonzo/Compiler.hs
-uusi -u equivalence -u hashable $_hkgname.cabal
+uusi -u equivalence $_hkgname.cabal
}
build() {
[arch-commits] Commit in agda/trunk (PKGBUILD)
Date: Wednesday, July 6, 2022 @ 23:25:03
Author: felixonmars
Revision: 1247152
upgpkg: agda 2.6.2-103: rebuild with resourcet 1.2.6
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-07-06 23:24:55 UTC (rev 1247151)
+++ PKGBUILD2022-07-06 23:25:03 UTC (rev 1247152)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-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)
Date: Tuesday, July 5, 2022 @ 20:25:14
Author: felixonmars
Revision: 1245534
upgpkg: agda 2.6.2-102: rebuild with ansi-terminal 0.11.3
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-07-05 20:25:04 UTC (rev 1245533)
+++ PKGBUILD2022-07-05 20:25:14 UTC (rev 1245534)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-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)
Date: Wednesday, June 29, 2022 @ 22:59:46
Author: felixonmars
Revision: 1241742
upgpkg: agda 2.6.2-101: rebuild with transformers-compat 0.7.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-06-29 22:55:54 UTC (rev 1241741)
+++ PKGBUILD2022-06-29 22:59:46 UTC (rev 1241742)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-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)
Date: Saturday, June 11, 2022 @ 23:41:56
Author: felixonmars
Revision: 1235722
upgpkg: agda 2.6.2-100: rebuild with inspection-testing 0.4.6.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-06-11 23:41:48 UTC (rev 1235721)
+++ PKGBUILD2022-06-11 23:41:56 UTC (rev 1235722)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-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)
Date: Saturday, June 11, 2022 @ 12:59:39
Author: felixonmars
Revision: 1233458
upgpkg: agda 2.6.2-99: rebuild with typed-process 0.2.10.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-06-11 12:59:30 UTC (rev 1233457)
+++ PKGBUILD2022-06-11 12:59:39 UTC (rev 1233458)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-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)
Date: Friday, June 10, 2022 @ 22:24:19
Author: felixonmars
Revision: 1231758
upgpkg: agda 2.6.2-98: rebuild with ansi-terminal 0.11.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-06-10 22:24:04 UTC (rev 1231757)
+++ PKGBUILD2022-06-10 22:24:19 UTC (rev 1231758)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-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)
Date: Thursday, June 9, 2022 @ 20:38:04
Author: felixonmars
Revision: 1229799
upgpkg: agda 2.6.2-97: rebuild with unix-compat 0.6
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-06-09 20:37:38 UTC (rev 1229798)
+++ PKGBUILD2022-06-09 20:38:04 UTC (rev 1229799)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-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)
Date: Tuesday, June 7, 2022 @ 06:12:22
Author: felixonmars
Revision: 1227534
upgpkg: agda 2.6.2-96: rebuild with concurrent-output 1.10.16
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-06-07 06:12:15 UTC (rev 1227533)
+++ PKGBUILD2022-06-07 06:12:22 UTC (rev 1227534)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-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)
Date: Monday, June 6, 2022 @ 10:47:44
Author: felixonmars
Revision: 1225862
upgpkg: agda 2.6.2-95: rebuild with typed-process 0.2.10.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-06-06 10:47:37 UTC (rev 1225861)
+++ PKGBUILD2022-06-06 10:47:44 UTC (rev 1225862)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-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)
Date: Sunday, June 5, 2022 @ 19:28:54
Author: felixonmars
Revision: 1224135
upgpkg: agda 2.6.2-94: rebuild with hspec 2.9.7, hspec-core 2.9.7,
hspec-discover 2.9.7
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-06-05 19:28:47 UTC (rev 1224134)
+++ PKGBUILD2022-06-05 19:28:54 UTC (rev 1224135)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-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)
Date: Saturday, June 4, 2022 @ 16:13:06
Author: felixonmars
Revision: 1221893
upgpkg: agda 2.6.2-93: rebuild with typed-process 0.2.9.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-06-04 16:12:58 UTC (rev 1221892)
+++ PKGBUILD2022-06-04 16:13:06 UTC (rev 1221893)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-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)
Date: Friday, June 3, 2022 @ 10:24:34
Author: felixonmars
Revision: 1220189
upgpkg: agda 2.6.2-92: rebuild with primitive 0.7.4.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-06-03 10:24:26 UTC (rev 1220188)
+++ PKGBUILD2022-06-03 10:24:34 UTC (rev 1220189)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-pkgrel=91
+pkgrel=92
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)
Date: Monday, May 30, 2022 @ 11:22:15
Author: felixonmars
Revision: 1216041
upgpkg: agda 2.6.2-91: rebuild with tasty-inspection-testing 0.1.0.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-05-30 11:22:07 UTC (rev 1216040)
+++ PKGBUILD2022-05-30 11:22:15 UTC (rev 1216041)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-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)
Date: Sunday, May 29, 2022 @ 04:54:17
Author: felixonmars
Revision: 1213821
upgpkg: agda 2.6.2-90: rebuild with equivalence 0.4.0.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-05-29 04:47:51 UTC (rev 1213820)
+++ PKGBUILD2022-05-29 04:54:17 UTC (rev 1213821)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-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)
Date: Saturday, May 28, 2022 @ 16:51:41
Author: felixonmars
Revision: 1212349
upgpkg: agda 2.6.2-89: rebuild with doctest 0.20.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-05-28 16:51:34 UTC (rev 1212348)
+++ PKGBUILD2022-05-28 16:51:41 UTC (rev 1212349)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-pkgrel=88
+pkgrel=89
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)
Date: Wednesday, May 18, 2022 @ 13:52:10
Author: felixonmars
Revision: 1208210
upgpkg: agda 2.6.2-88: rebuild with resourcet 1.2.5
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-05-18 13:52:04 UTC (rev 1208209)
+++ PKGBUILD2022-05-18 13:52:10 UTC (rev 1208210)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-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)
Date: Sunday, May 15, 2022 @ 01:56:33
Author: felixonmars
Revision: 1205710
upgpkg: agda 2.6.2-87: rebuild with hashable 1.4.0.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-05-15 01:56:25 UTC (rev 1205709)
+++ PKGBUILD2022-05-15 01:56:33 UTC (rev 1205710)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-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)
Date: Saturday, May 14, 2022 @ 14:30:11
Author: felixonmars
Revision: 1204862
upgpkg: agda 2.6.2-86: rebuild with hashable 1.4.0.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-05-14 14:30:02 UTC (rev 1204861)
+++ PKGBUILD2022-05-14 14:30:11 UTC (rev 1204862)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-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)
Date: Friday, May 13, 2022 @ 14:49:50
Author: felixonmars
Revision: 1202080
upgpkg: agda 2.6.2-85: rebuild with random 1.2.1.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-05-13 14:49:42 UTC (rev 1202079)
+++ PKGBUILD2022-05-13 14:49:50 UTC (rev 1202080)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-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)
Date: Friday, May 13, 2022 @ 10:26:10
Author: felixonmars
Revision: 1201416
upgpkg: agda 2.6.2-84: rebuild with random 1.2.1.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-05-13 10:26:00 UTC (rev 1201415)
+++ PKGBUILD2022-05-13 10:26:10 UTC (rev 1201416)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-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)
Date: Thursday, May 12, 2022 @ 09:08:57
Author: felixonmars
Revision: 1198647
upgpkg: agda 2.6.2-83: rebuild with unordered-containers 0.2.19.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-05-12 09:08:50 UTC (rev 1198646)
+++ PKGBUILD2022-05-12 09:08:57 UTC (rev 1198647)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-pkgrel=82
+pkgrel=83
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)
Date: Tuesday, May 10, 2022 @ 12:57:37
Author: felixonmars
Revision: 1197841
upgpkg: agda 2.6.2-82: rebuild with zlib 0.6.3.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-05-10 12:57:29 UTC (rev 1197840)
+++ PKGBUILD2022-05-10 12:57:37 UTC (rev 1197841)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-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)
Date: Tuesday, May 10, 2022 @ 07:54:51
Author: felixonmars
Revision: 1196987
upgpkg: agda 2.6.2-81: rebuild with bifunctors 5.5.12
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-05-10 07:54:44 UTC (rev 1196986)
+++ PKGBUILD2022-05-10 07:54:51 UTC (rev 1196987)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-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)
Date: Saturday, April 23, 2022 @ 22:30:27
Author: felixonmars
Revision: 1188976
upgpkg: agda 2.6.2-79: rebuild with hashable 1.4.0.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-04-23 22:30:21 UTC (rev 1188975)
+++ PKGBUILD2022-04-23 22:30:27 UTC (rev 1188976)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-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)
Date: Sunday, April 10, 2022 @ 11:29:35
Author: felixonmars
Revision: 1184450
upgpkg: agda 2.6.2-78: rebuild with hspec 2.9.5, hspec-core 2.9.5,
hspec-discover 2.9.5
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-04-10 11:29:29 UTC (rev 1184449)
+++ PKGBUILD2022-04-10 11:29:35 UTC (rev 1184450)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-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)
Date: Wednesday, April 6, 2022 @ 21:00:51
Author: felixonmars
Revision: 1181891
upgpkg: agda 2.6.2-77: rebuild with unordered-containers 0.2.18.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-04-06 21:00:45 UTC (rev 1181890)
+++ PKGBUILD2022-04-06 21:00:51 UTC (rev 1181891)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-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)
Date: Friday, April 1, 2022 @ 06:06:05
Author: felixonmars
Revision: 1179285
upgpkg: agda 2.6.2-76: rebuild with hspec 2.9.4, hspec-core 2.9.4,
hspec-discover 2.9.4, hspec-meta 2.9.3
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-04-01 06:05:58 UTC (rev 1179284)
+++ PKGBUILD2022-04-01 06:06:05 UTC (rev 1179285)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-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)
Date: Thursday, March 24, 2022 @ 20:11:34
Author: felixonmars
Revision: 1175166
upgpkg: agda 2.6.2-75: rebuild with quickcheck-instances 0.3.27
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-03-24 20:11:26 UTC (rev 1175165)
+++ PKGBUILD2022-03-24 20:11:34 UTC (rev 1175166)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-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)
Date: Thursday, March 24, 2022 @ 02:24:30
Author: felixonmars
Revision: 1173416
upgpkg: agda 2.6.2-74: rebuild with hspec 2.9.3, hspec-core 2.9.3,
hspec-discover 2.9.3, hspec-meta 2.9.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-03-24 02:24:25 UTC (rev 1173415)
+++ PKGBUILD2022-03-24 02:24:30 UTC (rev 1173416)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-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)
Date: Sunday, March 20, 2022 @ 19:01:29
Author: felixonmars
Revision: 1164959
upgpkg: agda 2.6.2-72: rebuild with ghc-bignum-orphans 0.1.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-03-20 19:01:23 UTC (rev 1164958)
+++ PKGBUILD2022-03-20 19:01:29 UTC (rev 1164959)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-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)
Date: Saturday, March 19, 2022 @ 16:15:36
Author: felixonmars
Revision: 1161661
upgpkg: agda 2.6.2-71: rebuild with base-compat 0.12.1, base-compat-batteries
0.12.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-03-19 16:06:14 UTC (rev 1161660)
+++ PKGBUILD2022-03-19 16:15:36 UTC (rev 1161661)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-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)
Date: Friday, March 18, 2022 @ 17:25:55
Author: felixonmars
Revision: 1158735
upgpkg: agda 2.6.2-70: rebuild with clock 0.8.3
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-03-18 17:19:18 UTC (rev 1158734)
+++ PKGBUILD2022-03-18 17:25:55 UTC (rev 1158735)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-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)
Date: Tuesday, March 15, 2022 @ 10:50:40
Author: felixonmars
Revision: 1154171
upgpkg: agda 2.6.2-69: rebuild with unordered-containers 0.2.17.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-03-15 10:43:56 UTC (rev 1154170)
+++ PKGBUILD2022-03-15 10:50:40 UTC (rev 1154171)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-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)
Date: Monday, March 14, 2022 @ 13:04:25
Author: felixonmars
Revision: 1152681
upgpkg: agda 2.6.2-68: rebuild with hspec 2.9.1, hspec-core 2.9.1,
hspec-discover 2.9.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-03-14 13:04:25 UTC (rev 1152680)
+++ PKGBUILD2022-03-14 13:04:25 UTC (rev 1152681)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-pkgrel=67
+pkgrel=68
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)
Date: Friday, March 11, 2022 @ 12:55:17
Author: felixonmars
Revision: 1148256
upgpkg: agda 2.6.2-67: rebuild with ansi-terminal 0.11.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-03-11 12:45:15 UTC (rev 1148255)
+++ PKGBUILD2022-03-11 12:55:17 UTC (rev 1148256)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-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)
Date: Tuesday, March 8, 2022 @ 08:22:02
Author: felixonmars
Revision: 1145401
upgpkg: agda 2.6.2-66: rebuild with doctest 0.19.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-03-08 08:15:20 UTC (rev 1145400)
+++ PKGBUILD2022-03-08 08:22:02 UTC (rev 1145401)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-pkgrel=65
+pkgrel=66
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)
Date: Thursday, March 3, 2022 @ 23:49:23
Author: felixonmars
Revision: 1141469
upgpkg: agda 2.6.2-65: rebuild with hspec 2.9.0, hspec-core 2.9.0,
hspec-discover 2.9.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-03-03 23:42:53 UTC (rev 1141468)
+++ PKGBUILD2022-03-03 23:49:23 UTC (rev 1141469)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-pkgrel=64
+pkgrel=65
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)
Date: Monday, February 28, 2022 @ 08:04:23
Author: felixonmars
Revision: 1138217
upgpkg: agda 2.6.2-64: rebuild with regex-tdfa 1.3.1.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-02-28 07:57:42 UTC (rev 1138216)
+++ PKGBUILD2022-02-28 08:04:23 UTC (rev 1138217)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-pkgrel=63
+pkgrel=64
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)
Date: Monday, February 21, 2022 @ 00:12:26
Author: felixonmars
Revision: 1135504
upgpkg: agda 2.6.2-63: rebuild with hashable 1.4.0.0, quickcheck-instances
0.3.26.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-02-21 00:08:37 UTC (rev 1135503)
+++ PKGBUILD2022-02-21 00:12:26 UTC (rev 1135504)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-pkgrel=62
+pkgrel=63
pkgdesc="A dependently typed functional programming language and proof
assistant"
url="https://wiki.portal.chalmers.se/agda/;
license=("custom")
@@ -23,7 +23,7 @@
prepare() {
cd $_hkgname-$pkgver
sed -i '/fno-warn-overlapping-patterns/a \, "-dynamic"'
src/full/Agda/Compiler/MAlonzo/Compiler.hs
-uusi -u equivalence $_hkgname.cabal
+uusi -u equivalence -u hashable $_hkgname.cabal
}
build() {
[arch-commits] Commit in agda/trunk (PKGBUILD)
Date: Saturday, February 12, 2022 @ 14:57:54
Author: felixonmars
Revision: 1132816
upgpkg: agda 2.6.2-62: rebuild against stable glibc 2.33
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-02-12 14:57:43 UTC (rev 1132815)
+++ PKGBUILD2022-02-12 14:57:54 UTC (rev 1132816)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-pkgrel=61
+pkgrel=62
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)
Date: Friday, February 11, 2022 @ 04:17:20
Author: felixonmars
Revision: 1131704
upgpkg: agda 2.6.2-61: rebuild with unordered-containers 0.2.16.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-02-11 02:59:18 UTC (rev 1131703)
+++ PKGBUILD2022-02-11 04:17:20 UTC (rev 1131704)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-pkgrel=60
+pkgrel=61
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)
Date: Thursday, February 10, 2022 @ 20:17:22
Author: felixonmars
Revision: 1131364
upgpkg: agda 2.6.2-60: rebuild with equivalence 0.4
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-02-10 20:09:25 UTC (rev 1131363)
+++ PKGBUILD2022-02-10 20:17:22 UTC (rev 1131364)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-pkgrel=59
+pkgrel=60
pkgdesc="A dependently typed functional programming language and proof
assistant"
url="https://wiki.portal.chalmers.se/agda/;
license=("custom")
@@ -16,7 +16,7 @@
'haskell-split' 'haskell-strict' 'haskell-unordered-containers'
'haskell-uri-encode'
'haskell-zlib')
optdepends=('agda-stdlib: for standard library')
-makedepends=('alex' 'happy' 'ghc' 'haskell-filemanip')
+makedepends=('alex' 'happy' 'ghc' 'uusi' 'haskell-filemanip')
source=("https://hackage.haskell.org/packages/archive/$_hkgname/$pkgver/$_hkgname-$pkgver.tar.gz;)
sha512sums=('1be631c8fd2129df4b8eb97e7bbfc54838eccf745d402a9f769f9486e8f6a1f55eeab9d47dd6cd428136ea9a3800766a2c7180662b5a41a6c7f29ffadadc3627')
@@ -23,6 +23,7 @@
prepare() {
cd $_hkgname-$pkgver
sed -i '/fno-warn-overlapping-patterns/a \, "-dynamic"'
src/full/Agda/Compiler/MAlonzo/Compiler.hs
+uusi -u equivalence $_hkgname.cabal
}
build() {
[arch-commits] Commit in agda/trunk (PKGBUILD)
Date: Wednesday, February 9, 2022 @ 23:47:21
Author: felixonmars
Revision: 1130509
upgpkg: agda 2.6.2-59: rebuild with attoparsec 0.14.4
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-02-09 23:40:29 UTC (rev 1130508)
+++ PKGBUILD2022-02-09 23:47:21 UTC (rev 1130509)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-pkgrel=58
+pkgrel=59
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)
Date: Monday, February 7, 2022 @ 22:49:02
Author: felixonmars
Revision: 1128849
upgpkg: agda 2.6.2-58: rebuild with base-compat 0.12.0, base-compat-batteries
0.12.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-02-07 22:42:08 UTC (rev 1128848)
+++ PKGBUILD2022-02-07 22:49:02 UTC (rev 1128849)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-pkgrel=57
+pkgrel=58
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)
Date: Friday, February 4, 2022 @ 20:59:10
Author: felixonmars
Revision: 1126010
upgpkg: agda 2.6.2-57: rebuild with quickcheck-instances 0.3.26
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-02-04 20:55:58 UTC (rev 1126009)
+++ PKGBUILD2022-02-04 20:59:10 UTC (rev 1126010)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-pkgrel=56
+pkgrel=57
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)
Date: Friday, February 4, 2022 @ 00:07:12
Author: felixonmars
Revision: 1125035
upgpkg: agda 2.6.2-56: rebuild with Diff 0.4.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-02-04 00:00:29 UTC (rev 1125034)
+++ PKGBUILD2022-02-04 00:07:12 UTC (rev 1125035)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-pkgrel=55
+pkgrel=56
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)
Date: Wednesday, February 2, 2022 @ 23:14:32
Author: felixonmars
Revision: 1123537
upgpkg: agda 2.6.2-55: rebuild with base-orphans 0.8.6
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-02-02 23:07:14 UTC (rev 1123536)
+++ PKGBUILD2022-02-02 23:14:32 UTC (rev 1123537)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-pkgrel=54
+pkgrel=55
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)
Date: Friday, January 28, 2022 @ 18:54:51
Author: felixonmars
Revision: 1118429
upgpkg: agda 2.6.2-54: rebuild with async 2.2.4
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-01-28 18:48:06 UTC (rev 1118428)
+++ PKGBUILD2022-01-28 18:54:51 UTC (rev 1118429)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-pkgrel=53
+pkgrel=54
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)
Date: Tuesday, January 25, 2022 @ 09:01:23
Author: felixonmars
Revision: 1115428
upgpkg: agda 2.6.2-53: rebuild with hspec 2.8.5, hspec-core 2.8.5,
hspec-discover 2.8.5
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-01-25 08:57:59 UTC (rev 1115427)
+++ PKGBUILD2022-01-25 09:01:23 UTC (rev 1115428)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-pkgrel=52
+pkgrel=53
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)
Date: Friday, January 21, 2022 @ 19:50:37
Author: felixonmars
Revision: 1112511
upgpkg: agda 2.6.2-52: rebuild with ChasingBottoms 1.3.1.11
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-01-21 19:50:32 UTC (rev 1112510)
+++ PKGBUILD2022-01-21 19:50:37 UTC (rev 1112511)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-pkgrel=51
+pkgrel=52
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)
Date: Tuesday, January 18, 2022 @ 13:54:47
Author: felixonmars
Revision: 1108891
upgpkg: agda 2.6.2-51: rebuild with hashable 1.3.5.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-01-18 13:47:15 UTC (rev 1108890)
+++ PKGBUILD2022-01-18 13:54:47 UTC (rev 1108891)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-pkgrel=50
+pkgrel=51
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)
Date: Sunday, January 16, 2022 @ 22:31:10
Author: felixonmars
Revision: 1106579
upgpkg: agda 2.6.2-50: rebuild with attoparsec 0.14.3
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-01-16 22:24:33 UTC (rev 1106578)
+++ PKGBUILD2022-01-16 22:31:10 UTC (rev 1106579)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-pkgrel=49
+pkgrel=50
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)
Date: Saturday, January 15, 2022 @ 15:08:10
Author: felixonmars
Revision: 1104248
upgpkg: agda 2.6.2-49: rebuild with tasty-golden 2.3.5
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-01-15 15:01:29 UTC (rev 1104247)
+++ PKGBUILD2022-01-15 15:08:10 UTC (rev 1104248)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-pkgrel=48
+pkgrel=49
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)
Date: Friday, January 14, 2022 @ 14:15:55
Author: felixonmars
Revision: 1103254
upgpkg: agda 2.6.2-48: rebuild with unix-compat 0.5.4
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-01-14 14:13:38 UTC (rev 1103253)
+++ PKGBUILD2022-01-14 14:15:55 UTC (rev 1103254)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-pkgrel=47
+pkgrel=48
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)
Date: Tuesday, January 11, 2022 @ 23:01:33
Author: felixonmars
Revision: 1101227
upgpkg: agda 2.6.2-47: rebuild with ghc 9.0.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-01-11 23:01:24 UTC (rev 1101226)
+++ PKGBUILD2022-01-11 23:01:33 UTC (rev 1101227)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-pkgrel=46
+pkgrel=47
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)
Date: Monday, January 10, 2022 @ 16:26:59
Author: felixonmars
Revision: 1099403
add an upstream bug link
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |1 +
1 file changed, 1 insertion(+)
Modified: PKGBUILD
===
--- PKGBUILD2022-01-10 16:26:30 UTC (rev 1099402)
+++ PKGBUILD2022-01-10 16:26:59 UTC (rev 1099403)
@@ -29,6 +29,7 @@
cd $_hkgname-$pkgver
# -fllvm is disabled because ghc+llc hangs since LLVM 13
+# https://gitlab.haskell.org/ghc/ghc/-/issues/20559
runhaskell Setup configure -O --enable-shared --enable-executable-dynamic
--disable-library-vanilla \
--prefix=/usr --docdir="/usr/share/doc/${pkgname}"
--datasubdir="$pkgname" \
--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
--ghc-option=-fasm \
[arch-commits] Commit in agda/trunk (PKGBUILD)
Date: Sunday, January 9, 2022 @ 21:52:40
Author: felixonmars
Revision: 1098623
upgpkg: agda 2.6.2-46: rebuild with base16-bytestring 1.0.2.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-01-09 21:42:01 UTC (rev 1098622)
+++ PKGBUILD2022-01-09 21:52:40 UTC (rev 1098623)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-pkgrel=45
+pkgrel=46
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)
Date: Saturday, January 8, 2022 @ 02:29:16
Author: felixonmars
Revision: 1096893
upgpkg: agda 2.6.2-45: rebuild with hspec 2.8.4, hspec-core 2.8.4,
hspec-discover 2.8.4
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-01-08 02:18:24 UTC (rev 1096892)
+++ PKGBUILD2022-01-08 02:29:16 UTC (rev 1096893)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-pkgrel=44
+pkgrel=45
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)
Date: Thursday, January 6, 2022 @ 04:29:47
Author: felixonmars
Revision: 1094341
upgpkg: agda 2.6.2-44: rebuild with primitive 0.7.3.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-01-06 04:18:43 UTC (rev 1094340)
+++ PKGBUILD2022-01-06 04:29:47 UTC (rev 1094341)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-pkgrel=43
+pkgrel=44
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)
Date: Friday, December 31, 2021 @ 10:31:11
Author: felixonmars
Revision: 1090003
upgpkg: agda 2.6.2-43: rebuild with logging-facade 0.3.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2021-12-31 10:20:08 UTC (rev 1090002)
+++ PKGBUILD2021-12-31 10:31:11 UTC (rev 1090003)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-pkgrel=42
+pkgrel=43
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)
Date: Wednesday, December 29, 2021 @ 11:56:00
Author: felixonmars
Revision: 1087014
upgpkg: agda 2.6.2-42: rebuild with unordered-containers 0.2.15.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2021-12-29 11:44:47 UTC (rev 1087013)
+++ PKGBUILD2021-12-29 11:56:00 UTC (rev 1087014)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-pkgrel=41
+pkgrel=42
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)
Date: Tuesday, December 28, 2021 @ 05:20:05
Author: felixonmars
Revision: 1085117
upgpkg: agda 2.6.2-41: rebuild with tasty 1.4.2.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2021-12-28 05:09:12 UTC (rev 1085116)
+++ PKGBUILD2021-12-28 05:20:05 UTC (rev 1085117)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-pkgrel=40
+pkgrel=41
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)
Date: Tuesday, December 21, 2021 @ 01:29:34
Author: felixonmars
Revision: 1081307
upgpkg: agda 2.6.2-40: rebuild with silently 1.2.5.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2021-12-21 01:27:24 UTC (rev 1081306)
+++ PKGBUILD2021-12-21 01:29:34 UTC (rev 1081307)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-pkgrel=39
+pkgrel=40
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)
Date: Monday, December 20, 2021 @ 03:00:28
Author: felixonmars
Revision: 1079332
upgpkg: agda 2.6.2-39: rebuild with attoparsec 0.14.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2021-12-20 02:49:41 UTC (rev 1079331)
+++ PKGBUILD2021-12-20 03:00:28 UTC (rev 1079332)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-pkgrel=38
+pkgrel=39
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)
Date: Saturday, December 18, 2021 @ 21:47:55
Author: felixonmars
Revision: 1077819
upgpkg: agda 2.6.2-38: rebuild with tasty-quickcheck 0.10.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2021-12-18 21:44:14 UTC (rev 1077818)
+++ PKGBUILD2021-12-18 21:47:55 UTC (rev 1077819)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-pkgrel=37
+pkgrel=38
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)
Date: Thursday, December 16, 2021 @ 08:32:38
Author: felixonmars
Revision: 1074048
upgpkg: agda 2.6.2-37: rebuild with hashable 1.3.4.1
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2021-12-16 08:21:33 UTC (rev 1074047)
+++ PKGBUILD2021-12-16 08:32:38 UTC (rev 1074048)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-pkgrel=36
+pkgrel=37
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)
Date: Monday, December 13, 2021 @ 13:38:19
Author: felixonmars
Revision: 1071685
upgpkg: agda 2.6.2-36: rebuild with indexed-traversable 0.1.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2021-12-13 13:27:16 UTC (rev 1071684)
+++ PKGBUILD2021-12-13 13:38:19 UTC (rev 1071685)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-pkgrel=35
+pkgrel=36
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)
Date: Monday, November 29, 2021 @ 03:32:45
Author: felixonmars
Revision: 1056284
upgpkg: agda 2.6.2-35: rebuild with regex-base 0.94.0.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2021-11-29 03:31:52 UTC (rev 1056283)
+++ PKGBUILD2021-11-29 03:32:45 UTC (rev 1056284)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-pkgrel=34
+pkgrel=35
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)
Date: Thursday, November 18, 2021 @ 14:15:57
Author: felixonmars
Revision: 1052324
upgpkg: agda 2.6.2-34: rebuild with hashable 1.3.4.0
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2021-11-18 14:05:43 UTC (rev 1052323)
+++ PKGBUILD2021-11-18 14:15:57 UTC (rev 1052324)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-pkgrel=33
+pkgrel=34
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)
Date: Wednesday, November 17, 2021 @ 10:56:29
Author: felixonmars
Revision: 1049830
upgpkg: agda 2.6.2-33: rebuild with splitmix 0.1.0.4
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2021-11-17 10:54:00 UTC (rev 1049829)
+++ PKGBUILD2021-11-17 10:56:29 UTC (rev 1049830)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-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)
Date: Saturday, November 13, 2021 @ 19:24:22
Author: felixonmars
Revision: 1045922
upgpkg: agda 2.6.2-32: rebuild with vector-th-unbox 0.2.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2021-11-13 19:24:04 UTC (rev 1045921)
+++ PKGBUILD2021-11-13 19:24:22 UTC (rev 1045922)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-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)
Date: Friday, November 12, 2021 @ 08:25:47
Author: felixonmars
Revision: 1043371
upgpkg: agda 2.6.2-31: rebuild with doctest 0.18.2
Modified:
agda/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2021-11-12 08:14:34 UTC (rev 1043370)
+++ PKGBUILD2021-11-12 08:25:47 UTC (rev 1043371)
@@ -4,7 +4,7 @@
_hkgname=Agda
pkgname=agda
pkgver=2.6.2
-pkgrel=30
+pkgrel=31
pkgdesc="A dependently typed functional programming language and proof
assistant"
url="https://wiki.portal.chalmers.se/agda/;
license=("custom")
