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

2022-09-10 Thread Felix Yan via arch-commits
Date: Saturday, September 10, 2022 @ 16:12:51 Author: felixonmars Revision: 1299687 upgpkg: idris 1.3.4-31: rebuild with generic-deriving 1.14.2 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

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

2022-09-09 Thread Felix Yan via arch-commits
Date: Saturday, September 10, 2022 @ 02:40:32 Author: felixonmars Revision: 1298031 upgpkg: idris 1.3.4-30: rebuild with hedgehog 1.1.2 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

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

2022-09-09 Thread Felix Yan via arch-commits
Date: Friday, September 9, 2022 @ 17:55:21 Author: felixonmars Revision: 1297327 upgpkg: idris 1.3.4-29: rebuild with megaparsec 9.2.2 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2022-09-09 Thread Felix Yan via arch-commits
Date: Friday, September 9, 2022 @ 09:37:21 Author: felixonmars Revision: 1297081 upgpkg: idris 1.3.4-28: rebuild with unix-time 0.4.8 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2022-09-08 Thread Felix Yan via arch-commits
Date: Thursday, September 8, 2022 @ 11:47:18 Author: felixonmars Revision: 1296559 upgpkg: idris 1.3.4-27: rebuild with extra 1.7.12 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

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

2022-09-06 Thread Felix Yan via arch-commits
Date: Tuesday, September 6, 2022 @ 19:54:42 Author: felixonmars Revision: 1294794 upgpkg: idris 1.3.4-26: rebuild with hspec 2.10.0, hspec-core 2.10.0, hspec-discover 2.10.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Mo

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

2022-09-03 Thread Felix Yan via arch-commits
Date: Saturday, September 3, 2022 @ 11:07:48 Author: felixonmars Revision: 1291639 upgpkg: idris 1.3.4-25: rebuild with tasty-hedgehog 1.3.0.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2022-09-02 Thread Felix Yan via arch-commits
Date: Friday, September 2, 2022 @ 07:43:04 Author: felixonmars Revision: 1290642 upgpkg: idris 1.3.4-24: rebuild with retry 0.9.3.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

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

2022-08-31 Thread Felix Yan via arch-commits
Date: Wednesday, August 31, 2022 @ 20:41:44 Author: felixonmars Revision: 1289442 upgpkg: idris 1.3.4-23: rebuild with th-compat 0.1.4 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2022-08-29 Thread Felix Yan via arch-commits
Date: Tuesday, August 30, 2022 @ 00:42:21 Author: felixonmars Revision: 1287304 upgpkg: idris 1.3.4-22: rebuild with base-compat 0.12.2, base-compat-batteries 0.12.2 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified:

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

2022-08-29 Thread Felix Yan via arch-commits
Date: Monday, August 29, 2022 @ 14:33:53 Author: felixonmars Revision: 1285258 upgpkg: idris 1.3.4-21: rebuild with regex-tdfa 1.3.2 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

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

2022-08-26 Thread Felix Yan via arch-commits
Date: Friday, August 26, 2022 @ 17:12:10 Author: felixonmars Revision: 1283313 upgpkg: idris 1.3.4-20: rebuild with silently 1.2.5.3 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

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

2022-08-26 Thread Felix Yan via arch-commits
Date: Friday, August 26, 2022 @ 07:32:40 Author: felixonmars Revision: 1281044 upgpkg: idris 1.3.4-19: rebuild with extra 1.7.11 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

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

2022-08-25 Thread Felix Yan via arch-commits
Date: Thursday, August 25, 2022 @ 19:12:30 Author: felixonmars Revision: 1280056 upgpkg: idris 1.3.4-18: rebuild with quickcheck-instances 0.3.28 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2022-08-25 Thread Felix Yan via arch-commits
Date: Thursday, August 25, 2022 @ 07:33:23 Author: felixonmars Revision: 1278271 upgpkg: idris 1.3.4-17: rebuild with hashable 1.4.1.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2022-08-23 Thread Felix Yan via arch-commits
Date: Tuesday, August 23, 2022 @ 11:30:56 Author: felixonmars Revision: 1275142 upgpkg: idris 1.3.4-16: rebuild with basement 0.0.15, foundation 0.0.29 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

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

2022-08-23 Thread Felix Yan via arch-commits
Date: Tuesday, August 23, 2022 @ 10:27:31 Author: felixonmars Revision: 1274959 upgpkg: idris 1.3.4-15: rebuild with libffi 0.2 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD ==

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

2022-08-21 Thread Felix Yan via arch-commits
Date: Sunday, August 21, 2022 @ 17:50:47 Author: felixonmars Revision: 1273192 upgpkg: idris 1.3.4-14: rebuild with split 0.2.3.5 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2022-08-21 Thread Felix Yan via arch-commits
Date: Sunday, August 21, 2022 @ 07:48:28 Author: felixonmars Revision: 1271757 upgpkg: idris 1.3.4-13: rebuild with ChasingBottoms 1.3.1.12 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

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

2022-08-19 Thread Felix Yan via arch-commits
Date: Friday, August 19, 2022 @ 12:49:58 Author: felixonmars Revision: 1270052 upgpkg: idris 1.3.4-12: rebuild with base-orphans 0.8.7 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2022-08-19 Thread Felix Yan via arch-commits
Date: Friday, August 19, 2022 @ 08:42:36 Author: felixonmars Revision: 1269666 upgpkg: idris 1.3.4-11: rebuild with base-orphans 0.8.7 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2022-08-18 Thread Felix Yan via arch-commits
Date: Thursday, August 18, 2022 @ 15:56:34 Author: felixonmars Revision: 1267520 upgpkg: idris 1.3.4-10: rebuild with lifted-async 0.10.2.3 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

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

2022-08-12 Thread Felix Yan via arch-commits
Date: Friday, August 12, 2022 @ 17:39:18 Author: felixonmars Revision: 1265599 upgpkg: idris 1.3.4-9: rebuild with regex-tdfa 1.3.1.5 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2022-08-09 Thread Felix Yan via arch-commits
Date: Tuesday, August 9, 2022 @ 17:42:46 Author: felixonmars Revision: 1264254 upgpkg: idris 1.3.4-8: rebuild with th-abstraction 0.4.4.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2022-08-08 Thread Felix Yan via arch-commits
Date: Monday, August 8, 2022 @ 19:28:31 Author: felixonmars Revision: 1262167 upgpkg: idris 1.3.4-7: rebuild with tasty 1.4.2.3 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

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

2022-07-31 Thread Felix Yan via arch-commits
Date: Sunday, July 31, 2022 @ 18:34:09 Author: felixonmars Revision: 1259401 upgpkg: idris 1.3.4-6: rebuild with regex-tdfa 1.3.1.4 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

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

2022-07-25 Thread Felix Yan via arch-commits
Date: Monday, July 25, 2022 @ 10:57:13 Author: felixonmars Revision: 1257572 upgpkg: idris 1.3.4-5: rebuild with inspection-testing 0.5, tasty-inspection-testing 0.2 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified:

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

2022-07-19 Thread Felix Yan via arch-commits
Date: Tuesday, July 19, 2022 @ 10:26:35 Author: felixonmars Revision: 1254600 upgpkg: idris 1.3.4-4: rebuild with regex-tdfa 1.3.1.3 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

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

2022-07-15 Thread Felix Yan via arch-commits
Date: Saturday, July 16, 2022 @ 04:17:37 Author: felixonmars Revision: 1253629 upgpkg: idris 1.3.4-3: rebuild with constraints 0.13.4 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2022-07-12 Thread Felix Yan via arch-commits
Date: Tuesday, July 12, 2022 @ 20:35:46 Author: felixonmars Revision: 1251386 upgpkg: idris 1.3.4-2: rebuild with tasty 1.4.2.2 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

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

2022-07-09 Thread Felix Yan via arch-commits
Date: Saturday, July 9, 2022 @ 18:13:52 Author: felixonmars Revision: 1249224 upgpkg: idris 1.3.4-1 Modified: idris/trunk/PKGBUILD --+ PKGBUILD | 14 +- 1 file changed, 5 insertions(+), 9 deletions(-) Modified: PKGBUILD

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

2022-07-06 Thread Felix Yan via arch-commits
Date: Wednesday, July 6, 2022 @ 23:56:36 Author: felixonmars Revision: 1247310 upgpkg: idris 1.3.3-394: rebuild with resourcet 1.2.6 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

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

2022-07-05 Thread Felix Yan via arch-commits
Date: Tuesday, July 5, 2022 @ 21:12:10 Author: felixonmars Revision: 1245728 upgpkg: idris 1.3.3-393: rebuild with ansi-terminal 0.11.3 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

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

2022-06-29 Thread Felix Yan via arch-commits
Date: Thursday, June 30, 2022 @ 00:20:58 Author: felixonmars Revision: 1241896 upgpkg: idris 1.3.3-392: rebuild with transformers-compat 0.7.2 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2022-06-12 Thread Felix Yan via arch-commits
Date: Sunday, June 12, 2022 @ 17:22:51 Author: felixonmars Revision: 1237112 upgpkg: idris 1.3.3-391: rebuild with retry 0.9.2.1 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

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

2022-06-11 Thread Felix Yan via arch-commits
Date: Sunday, June 12, 2022 @ 05:40:20 Author: felixonmars Revision: 1235872 upgpkg: idris 1.3.3-390: rebuild with inspection-testing 0.4.6.1 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2022-06-11 Thread Felix Yan via arch-commits
Date: Saturday, June 11, 2022 @ 13:29:18 Author: felixonmars Revision: 1233632 upgpkg: idris 1.3.3-389: rebuild with typed-process 0.2.10.1 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

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

2022-06-10 Thread Felix Yan via arch-commits
Date: Friday, June 10, 2022 @ 23:40:21 Author: felixonmars Revision: 1231908 upgpkg: idris 1.3.3-388: rebuild with ansi-terminal 0.11.2 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

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

2022-06-09 Thread Felix Yan via arch-commits
Date: Thursday, June 9, 2022 @ 21:20:35 Author: felixonmars Revision: 1229907 upgpkg: idris 1.3.3-387: rebuild with unix-compat 0.6 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

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

2022-06-09 Thread Felix Yan via arch-commits
Date: Thursday, June 9, 2022 @ 13:18:13 Author: felixonmars Revision: 1229645 upgpkg: idris 1.3.3-386: rebuild with wai-extra 3.1.12.1 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2022-06-07 Thread Felix Yan via arch-commits
Date: Tuesday, June 7, 2022 @ 07:23:41 Author: felixonmars Revision: 1227846 upgpkg: idris 1.3.3-385: rebuild with concurrent-output 1.10.16 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

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

2022-06-05 Thread Felix Yan via arch-commits
Date: Monday, June 6, 2022 @ 06:00:47 Author: felixonmars Revision: 1224466 upgpkg: idris 1.3.3-383: rebuild with hspec 2.9.7, hspec-core 2.9.7, hspec-discover 2.9.7 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified:

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

2022-06-04 Thread Felix Yan via arch-commits
Date: Saturday, June 4, 2022 @ 19:38:06 Author: felixonmars Revision: 123 upgpkg: idris 1.3.3-382: rebuild with typed-process 0.2.9.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2022-06-04 Thread Felix Yan via arch-commits
Date: Saturday, June 4, 2022 @ 09:48:51 Author: felixonmars Revision: 1220785 upgpkg: idris 1.3.3-381: rebuild with primitive 0.7.4.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2022-06-03 Thread Felix Yan via arch-commits
Date: Friday, June 3, 2022 @ 12:18:37 Author: felixonmars Revision: 1220496 upgpkg: idris 1.3.3-380: rebuild with primitive 0.7.4.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

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

2022-05-30 Thread Felix Yan via arch-commits
Date: Monday, May 30, 2022 @ 12:20:53 Author: felixonmars Revision: 1216391 upgpkg: idris 1.3.3-379: rebuild with tasty-inspection-testing 0.1.0.1 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2022-05-28 Thread Felix Yan via arch-commits
Date: Saturday, May 28, 2022 @ 17:38:13 Author: felixonmars Revision: 1212631 upgpkg: idris 1.3.3-378: rebuild with doctest 0.20.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2022-05-27 Thread Felix Yan via arch-commits
Date: Friday, May 27, 2022 @ 16:53:49 Author: felixonmars Revision: 1210804 upgpkg: idris 1.3.3-377: rebuild with wai-extra 3.1.12 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2022-05-18 Thread Felix Yan via arch-commits
Date: Wednesday, May 18, 2022 @ 12:46:48 Author: felixonmars Revision: 1207862 upgpkg: idris 1.3.3-375: rebuild with megaparsec 9.2.1 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2022-05-14 Thread Felix Yan via arch-commits
Date: Sunday, May 15, 2022 @ 03:17:39 Author: felixonmars Revision: 1205950 upgpkg: idris 1.3.3-374: rebuild with hashable 1.4.0.2 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2022-05-14 Thread Felix Yan via arch-commits
Date: Saturday, May 14, 2022 @ 15:21:19 Author: felixonmars Revision: 1205132 upgpkg: idris 1.3.3-373: rebuild with hashable 1.4.0.2 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

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

2022-05-13 Thread Felix Yan via arch-commits
Date: Saturday, May 14, 2022 @ 02:12:02 Author: felixonmars Revision: 1203106 upgpkg: idris 1.3.3-372: rebuild with wai-extra 3.1.11 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

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

2022-05-13 Thread Felix Yan via arch-commits
Date: Friday, May 13, 2022 @ 14:51:26 Author: felixonmars Revision: 1202084 upgpkg: idris 1.3.3-371: rebuild with random 1.2.1.1 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

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

2022-05-13 Thread Felix Yan via arch-commits
Date: Friday, May 13, 2022 @ 11:11:02 Author: felixonmars Revision: 1201667 upgpkg: idris 1.3.3-370: rebuild with random 1.2.1.1 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

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

2022-05-12 Thread Felix Yan via arch-commits
Date: Thursday, May 12, 2022 @ 09:57:40 Author: felixonmars Revision: 1198917 upgpkg: idris 1.3.3-369: rebuild with unordered-containers 0.2.19.1 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2022-05-10 Thread Felix Yan via arch-commits
Date: Tuesday, May 10, 2022 @ 13:12:48 Author: felixonmars Revision: 1197935 upgpkg: idris 1.3.3-368: rebuild with zlib 0.6.3.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

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

2022-05-10 Thread Felix Yan via arch-commits
Date: Tuesday, May 10, 2022 @ 08:47:54 Author: felixonmars Revision: 1197341 upgpkg: idris 1.3.3-367: rebuild with bifunctors 5.5.12 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

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

2022-05-04 Thread Felix Yan via arch-commits
Date: Wednesday, May 4, 2022 @ 20:52:20 Author: felixonmars Revision: 1194495 upgpkg: idris 1.3.3-366: rebuild with hspec 2.9.6, hspec-core 2.9.6, hspec-discover 2.9.6 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified

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

2022-05-04 Thread Antonio Rojas via arch-commits
Date: Wednesday, May 4, 2022 @ 08:56:10 Author: arojas Revision: 1192752 -ffat-lto-objects Modified: idris/trunk/PKGBUILD --+ PKGBUILD |3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) Modified: PKGBUILD =

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

2022-04-27 Thread Felix Yan via arch-commits
Date: Thursday, April 28, 2022 @ 01:01:43 Author: felixonmars Revision: 1191415 upgpkg: idris 1.3.3-364: rebuild with wai-extra 3.1.10 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2022-04-23 Thread Felix Yan via arch-commits
Date: Saturday, April 23, 2022 @ 23:10:41 Author: felixonmars Revision: 1189258 upgpkg: idris 1.3.3-363: rebuild with hashable 1.4.0.1 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2022-04-10 Thread Felix Yan via arch-commits
Date: Sunday, April 10, 2022 @ 12:13:50 Author: felixonmars Revision: 1184754 upgpkg: idris 1.3.3-362: rebuild with hspec 2.9.5, hspec-core 2.9.5, hspec-discover 2.9.5 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified

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

2022-04-06 Thread Felix Yan via arch-commits
Date: Wednesday, April 6, 2022 @ 22:27:55 Author: felixonmars Revision: 1182311 upgpkg: idris 1.3.3-361: rebuild with unordered-containers 0.2.18.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

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

2022-04-01 Thread Felix Yan via arch-commits
Date: Friday, April 1, 2022 @ 12:28:09 Author: felixonmars Revision: 1179689 upgpkg: idris 1.3.3-360: rebuild with hspec 2.9.4, hspec-core 2.9.4, hspec-discover 2.9.4, hspec-meta 2.9.3 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 dele

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

2022-03-24 Thread Felix Yan via arch-commits
Date: Friday, March 25, 2022 @ 00:26:25 Author: felixonmars Revision: 1176118 upgpkg: idris 1.3.3-359: rebuild with tasty-hedgehog 1.2.0.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2022-03-24 Thread Felix Yan via arch-commits
Date: Thursday, March 24, 2022 @ 21:20:28 Author: felixonmars Revision: 1175498 upgpkg: idris 1.3.3-358: rebuild with quickcheck-instances 0.3.27 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2022-03-24 Thread Felix Yan via arch-commits
Date: Thursday, March 24, 2022 @ 14:47:56 Author: felixonmars Revision: 1174728 upgpkg: idris 1.3.3-357: rebuild with shelly 1.10.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

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

2022-03-24 Thread Felix Yan via arch-commits
Date: Thursday, March 24, 2022 @ 03:31:14 Author: felixonmars Revision: 1173774 upgpkg: idris 1.3.3-356: rebuild with hspec 2.9.3, hspec-core 2.9.3, hspec-discover 2.9.3, hspec-meta 2.9.2 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 d

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

2022-03-23 Thread Felix Yan via arch-commits
Date: Wednesday, March 23, 2022 @ 18:19:39 Author: felixonmars Revision: 1171797 upgpkg: idris 1.3.3-355: rebuild with hedgehog 1.1.1 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2022-03-22 Thread Felix Yan via arch-commits
Date: Wednesday, March 23, 2022 @ 00:09:51 Author: felixonmars Revision: 1170970 upgpkg: idris 1.3.3-354: rebuild with terminal-size 0.3.3 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2022-03-22 Thread Felix Yan via arch-commits
Date: Tuesday, March 22, 2022 @ 22:15:39 Author: felixonmars Revision: 1170658 upgpkg: idris 1.3.3-353: rebuild with fast-logger 3.1.1 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2022-03-21 Thread Felix Yan via arch-commits
Date: Monday, March 21, 2022 @ 21:51:21 Author: felixonmars Revision: 1168568 upgpkg: idris 1.3.3-351: rebuild with hspec 2.9.2, hspec-core 2.9.2, hspec-discover 2.9.2, hspec-meta 2.9.0.1 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 d

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

2022-03-21 Thread Felix Yan via arch-commits
Date: Tuesday, March 22, 2022 @ 01:51:33 Author: felixonmars Revision: 1169748 upgpkg: idris 1.3.3-352: rebuild with hedgehog 1.1 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2022-03-20 Thread Felix Yan via arch-commits
Date: Monday, March 21, 2022 @ 02:53:05 Author: felixonmars Revision: 1166567 upgpkg: idris 1.3.3-350: rebuil with memory 0.17.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD =

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

2022-03-20 Thread Felix Yan via arch-commits
Date: Sunday, March 20, 2022 @ 13:15:23 Author: felixonmars Revision: 1163566 upgpkg: idris 1.3.3-348: rebuild with wai-logger 2.4.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

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

2022-03-19 Thread Felix Yan via arch-commits
Date: Sunday, March 20, 2022 @ 01:17:45 Author: felixonmars Revision: 1163220 upgpkg: idris 1.3.3-347: rebuild with retry 0.9.2.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2022-03-19 Thread Felix Yan via arch-commits
Date: Saturday, March 19, 2022 @ 22:03:35 Author: felixonmars Revision: 1162051 upgpkg: idris 1.3.3-346: rebuild with base-compat 0.12.1, base-compat-batteries 0.12.1 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified:

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

2022-03-18 Thread Felix Yan via arch-commits
Date: Friday, March 18, 2022 @ 20:53:05 Author: felixonmars Revision: 1159136 upgpkg: idris 1.3.3-345: rebuild with clock 0.8.3 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

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

2022-03-17 Thread Felix Yan via arch-commits
Date: Thursday, March 17, 2022 @ 21:56:07 Author: felixonmars Revision: 1157173 upgpkg: idris 1.3.3-344: rebuild with constraints 0.13.3 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

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

2022-03-17 Thread Felix Yan via arch-commits
Date: Thursday, March 17, 2022 @ 18:55:49 Author: felixonmars Revision: 1156822 upgpkg: idris 1.3.3-343: rebuild with fingertree 0.1.5.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

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

2022-03-16 Thread Felix Yan via arch-commits
Date: Thursday, March 17, 2022 @ 04:44:52 Author: felixonmars Revision: 1156449 upgpkg: idris 1.3.3-342: rebuild with concurrent-output 1.10.15 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

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

2022-03-16 Thread Felix Yan via arch-commits
Date: Wednesday, March 16, 2022 @ 21:12:33 Author: felixonmars Revision: 1155960 upgpkg: idris 1.3.3-341: rebuild with cryptonite 0.30 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2022-03-16 Thread Felix Yan via arch-commits
Date: Wednesday, March 16, 2022 @ 17:32:16 Author: felixonmars Revision: 1155539 upgpkg: idris 1.3.3-340: rebuild with basement 0.0.14, foundation 0.0.28 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2022-03-15 Thread Felix Yan via arch-commits
Date: Tuesday, March 15, 2022 @ 20:57:44 Author: felixonmars Revision: 1155169 upgpkg: idris 1.3.3-339: rebuild with zip-archive 0.4.2.1 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

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

2022-03-15 Thread Felix Yan via arch-commits
Date: Tuesday, March 15, 2022 @ 13:35:58 Author: felixonmars Revision: 1154451 upgpkg: idris 1.3.3-338: rebuild with unordered-containers 0.2.17.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2022-03-14 Thread Felix Yan via arch-commits
Date: Monday, March 14, 2022 @ 16:18:24 Author: felixonmars Revision: 1153033 upgpkg: idris 1.3.3-337: rebuild with hspec 2.9.1, hspec-core 2.9.1, hspec-discover 2.9.1 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified

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

2022-03-13 Thread Felix Yan via arch-commits
Date: Sunday, March 13, 2022 @ 10:46:42 Author: felixonmars Revision: 1150739 upgpkg: idris 1.3.3-336: rebuild with fast-logger 3.1.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2022-03-11 Thread Felix Yan via arch-commits
Date: Saturday, March 12, 2022 @ 02:05:41 Author: felixonmars Revision: 1149748 upgpkg: idris 1.3.3-335: rebuild with zip-archive 0.4.2 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ==

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

2022-03-11 Thread Felix Yan via arch-commits
Date: Friday, March 11, 2022 @ 21:33:24 Author: felixonmars Revision: 1148775 upgpkg: idris 1.3.3-334: rebuild with ansi-terminal 0.11.1 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

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

2022-03-10 Thread Felix Yan via arch-commits
Date: Thursday, March 10, 2022 @ 19:02:15 Author: felixonmars Revision: 1146088 upgpkg: idris 1.3.3-333: rebuild with doctest 0.19.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

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

2022-03-04 Thread Felix Yan via arch-commits
Date: Friday, March 4, 2022 @ 22:29:23 Author: felixonmars Revision: 1141973 upgpkg: idris 1.3.3-332: rebuild with hspec 2.9.0, hspec-core 2.9.0, hspec-discover 2.9.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified:

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

2022-03-01 Thread Felix Yan via arch-commits
Date: Tuesday, March 1, 2022 @ 21:25:51 Author: felixonmars Revision: 1139139 upgpkg: idris 1.3.3-331: rebuild with streaming-commons 0.2.2.4 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2022-02-28 Thread Felix Yan via arch-commits
Date: Monday, February 28, 2022 @ 18:49:22 Author: felixonmars Revision: 1138599 upgpkg: idris 1.3.3-330: rebuild with basement 0.0.13, foundation 0.0.27 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2022-02-28 Thread Felix Yan via arch-commits
Date: Monday, February 28, 2022 @ 08:30:39 Author: felixonmars Revision: 1138233 upgpkg: idris 1.3.3-329: rebuild with regex-tdfa 1.3.1.2 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2022-02-22 Thread Felix Yan via arch-commits
Date: Tuesday, February 22, 2022 @ 18:27:28 Author: felixonmars Revision: 1135998 upgpkg: idris 1.3.3-328: rebuild with hashable 1.4.0.0, quickcheck-instances 0.3.26.1 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified

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

2022-02-12 Thread Felix Yan via arch-commits
Date: Saturday, February 12, 2022 @ 15:17:35 Author: felixonmars Revision: 1132865 upgpkg: idris 1.3.3-327: rebuild against stable glibc 2.33 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2022-02-11 Thread Felix Yan via arch-commits
Date: Friday, February 11, 2022 @ 15:14:55 Author: felixonmars Revision: 1131984 upgpkg: idris 1.3.3-326: rebuild with unordered-containers 0.2.16.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =

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

2022-02-09 Thread Felix Yan via arch-commits
Date: Thursday, February 10, 2022 @ 02:50:26 Author: felixonmars Revision: 1130832 upgpkg: idris 1.3.3-325: rebuild with attoparsec 0.14.4 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD ===

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

2022-02-08 Thread Felix Yan via arch-commits
Date: Tuesday, February 8, 2022 @ 19:40:45 Author: felixonmars Revision: 1129346 upgpkg: idris 1.3.3-324: rebuild with base-compat 0.12.0, base-compat-batteries 0.12.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified

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

2022-02-04 Thread Felix Yan via arch-commits
Date: Friday, February 4, 2022 @ 23:54:13 Author: felixonmars Revision: 1126336 upgpkg: idris 1.3.3-323: rebuild with quickcheck-instances 0.3.26 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

  1   2   3   >