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

2022-09-10 Thread Felix Yan via arch-commits
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 =

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

2022-09-09 Thread Felix Yan via arch-commits
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 =

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

2022-09-08 Thread Felix Yan via arch-commits
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 =

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

2022-09-06 Thread Felix Yan via arch-commits
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(-) Mo

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

2022-09-03 Thread Felix Yan via arch-commits
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 ===

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

2022-08-31 Thread Felix Yan via arch-commits
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 ===

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

2022-08-29 Thread Felix Yan via arch-commits
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:

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

2022-08-29 Thread Felix Yan via arch-commits
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 =

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

2022-08-26 Thread Felix Yan via arch-commits
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 =

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

2022-08-26 Thread Felix Yan via arch-commits
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 =

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

2022-08-25 Thread Felix Yan via arch-commits
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

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

2022-08-24 Thread Felix Yan via arch-commits
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 ===

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

2022-08-21 Thread Felix Yan via arch-commits
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

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

2022-08-21 Thread Felix Yan via arch-commits
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 ==

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

2022-08-19 Thread Felix Yan via arch-commits
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 ===

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

2022-08-18 Thread Felix Yan via arch-commits
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 ===

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

2022-08-16 Thread Felix Yan via arch-commits
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

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

2022-08-12 Thread Felix Yan via arch-commits
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

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

2022-08-09 Thread Felix Yan via arch-commits
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

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

2022-08-08 Thread Felix Yan via arch-commits
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 ==

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

2022-07-31 Thread Felix Yan via arch-commits
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 ==

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

2022-07-25 Thread Felix Yan via arch-commits
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:

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

2022-07-23 Thread Felix Yan via arch-commits
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

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

2022-07-22 Thread Felix Yan via arch-commits
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

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

2022-07-19 Thread Felix Yan via arch-commits
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 =

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

2022-07-15 Thread Felix Yan via arch-commits
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

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

2022-07-12 Thread Felix Yan via arch-commits
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 ==

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

2022-07-07 Thread Felix Yan via arch-commits
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 ==

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

2022-07-06 Thread Felix Yan via arch-commits
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 ===

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

2022-07-05 Thread Felix Yan via arch-commits
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

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

2022-06-29 Thread Felix Yan via arch-commits
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

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

2022-06-11 Thread Felix Yan via arch-commits
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

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

2022-06-11 Thread Felix Yan via arch-commits
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 =

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

2022-06-10 Thread Felix Yan via arch-commits
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 =

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

2022-06-09 Thread Felix Yan via arch-commits
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 =

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

2022-06-06 Thread Felix Yan via arch-commits
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

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

2022-06-06 Thread Felix Yan via arch-commits
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

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

2022-06-05 Thread Felix Yan via arch-commits
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: PKG

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

2022-06-04 Thread Felix Yan via arch-commits
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 ===

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

2022-06-03 Thread Felix Yan via arch-commits
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 =

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

2022-05-30 Thread Felix Yan via arch-commits
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 ==

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

2022-05-28 Thread Felix Yan via arch-commits
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 ===

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

2022-05-28 Thread Felix Yan via arch-commits
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 ==

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

2022-05-18 Thread Felix Yan via arch-commits
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

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

2022-05-14 Thread Felix Yan via arch-commits
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 ==

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

2022-05-14 Thread Felix Yan via arch-commits
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

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

2022-05-13 Thread Felix Yan via arch-commits
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

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

2022-05-13 Thread Felix Yan via arch-commits
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

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

2022-05-12 Thread Felix Yan via arch-commits
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 ===

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

2022-05-10 Thread Felix Yan via arch-commits
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 =

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

2022-05-10 Thread Felix Yan via arch-commits
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

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

2022-04-23 Thread Felix Yan via arch-commits
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 ==

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

2022-04-10 Thread Felix Yan via arch-commits
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: P

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

2022-04-06 Thread Felix Yan via arch-commits
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 =

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

2022-03-31 Thread Felix Yan via arch-commits
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 deletio

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

2022-03-24 Thread Felix Yan via arch-commits
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 ===

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

2022-03-24 Thread Felix Yan via arch-commits
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 dele

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

2022-03-20 Thread Felix Yan via arch-commits
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

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

2022-03-19 Thread Felix Yan via arch-commits
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: PK

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

2022-03-18 Thread Felix Yan via arch-commits
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 =

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

2022-03-15 Thread Felix Yan via arch-commits
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 ==

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

2022-03-14 Thread Felix Yan via arch-commits
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: P

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

2022-03-11 Thread Felix Yan via arch-commits
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

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

2022-03-08 Thread Felix Yan via arch-commits
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 ==

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

2022-03-03 Thread Felix Yan via arch-commits
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:

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

2022-02-28 Thread Felix Yan via arch-commits
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 ===

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

2022-02-20 Thread Felix Yan via arch-commits
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

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

2022-02-12 Thread Felix Yan via arch-commits
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 ===

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

2022-02-10 Thread Felix Yan via arch-commits
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

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

2022-02-10 Thread Felix Yan via arch-commits
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 ===

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

2022-02-09 Thread Felix Yan via arch-commits
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 ==

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

2022-02-07 Thread Felix Yan via arch-commits
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: PK

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

2022-02-04 Thread Felix Yan via arch-commits
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 ===

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

2022-02-03 Thread Felix Yan via arch-commits
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

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

2022-02-02 Thread Felix Yan via arch-commits
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 =

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

2022-01-28 Thread Felix Yan via arch-commits
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 ===

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

2022-01-25 Thread Felix Yan via arch-commits
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

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

2022-01-21 Thread Felix Yan via arch-commits
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 ===

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

2022-01-18 Thread Felix Yan via arch-commits
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 =

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

2022-01-16 Thread Felix Yan via arch-commits
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 =

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

2022-01-15 Thread Felix Yan via arch-commits
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 ==

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

2022-01-14 Thread Felix Yan via arch-commits
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 =

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

2022-01-11 Thread Felix Yan via arch-commits
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

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

2022-01-10 Thread Felix Yan via arch-commits
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 === --

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

2022-01-09 Thread Felix Yan via arch-commits
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 ==

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

2022-01-07 Thread Felix Yan via arch-commits
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

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

2022-01-05 Thread Felix Yan via arch-commits
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

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

2021-12-31 Thread Felix Yan via arch-commits
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 =

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

2021-12-29 Thread Felix Yan via arch-commits
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 =

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

2021-12-28 Thread Felix Yan via arch-commits
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 ===

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

2021-12-20 Thread Felix Yan via arch-commits
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

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

2021-12-19 Thread Felix Yan via arch-commits
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

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

2021-12-18 Thread Felix Yan via arch-commits
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

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

2021-12-16 Thread Felix Yan via arch-commits
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 ===

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

2021-12-13 Thread Felix Yan via arch-commits
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

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

2021-11-28 Thread Felix Yan via arch-commits
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 ==

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

2021-11-18 Thread Felix Yan via arch-commits
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 ===

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

2021-11-17 Thread Felix Yan via arch-commits
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 ==

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

2021-11-13 Thread Felix Yan via arch-commits
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 ==

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

2021-11-12 Thread Felix Yan via arch-commits
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 ===

  1   2   3   >