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

2020-06-27 Thread Felix Yan via arch-commits
Date: Saturday, June 27, 2020 @ 05:46:16 Author: felixonmars Revision: 654502 upgpkg: agda 2.6.1-66: rebuild with ChasingBottoms 1.3.1.9 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-24 Thread Felix Yan via arch-commits
Date: Wednesday, June 24, 2020 @ 22:16:50 Author: felixonmars Revision: 652492 upgpkg: agda 2.6.1-63: rebuild with splitmix 0.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-22 Thread Felix Yan via arch-commits
Date: Monday, June 22, 2020 @ 15:10:31 Author: felixonmars Revision: 650591 upgpkg: agda 2.6.1-62: rebuild with smallcheck 1.2.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-21 Thread Felix Yan via arch-commits
Date: Sunday, June 21, 2020 @ 11:03:57 Author: felixonmars Revision: 649158 upgpkg: agda 2.6.1-61: rebuild with cryptonite 0.27 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-20 Thread Felix Yan via arch-commits
Date: Saturday, June 20, 2020 @ 11:35:29 Author: felixonmars Revision: 648306 upgpkg: agda 2.6.1-60: rebuild with base16-bytestring 0.1.1.7 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-19 Thread Felix Yan via arch-commits
Date: Friday, June 19, 2020 @ 20:21:33 Author: felixonmars Revision: 647848 upgpkg: agda 2.6.1-59: rebuild with foldl 1.4.7 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-18 Thread Felix Yan via arch-commits
Date: Thursday, June 18, 2020 @ 18:24:32 Author: felixonmars Revision: 647405 upgpkg: agda 2.6.1-58: rebuild with http-client 0.7.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-18 Thread Felix Yan via arch-commits
Date: Thursday, June 18, 2020 @ 08:52:09 Author: felixonmars Revision: 646835 upgpkg: agda 2.6.1-57: rebuild with unordered-containers 0.2.11.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-16 Thread Felix Yan via arch-commits
Date: Tuesday, June 16, 2020 @ 06:38:08 Author: felixonmars Revision: 645895 upgpkg: agda 2.6.1-56: rebuild with base-prelude 1.4 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-15 Thread Felix Yan via arch-commits
Date: Monday, June 15, 2020 @ 20:43:24 Author: felixonmars Revision: 645499 upgpkg: agda 2.6.1-55: rebuild with smallcheck 1.1.7 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-15 Thread Felix Yan via arch-commits
Date: Monday, June 15, 2020 @ 11:53:28 Author: felixonmars Revision: 644993 upgpkg: agda 2.6.1-54: rebuild with aeson 1.5.2.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-14 Thread Felix Yan via arch-commits
Date: Sunday, June 14, 2020 @ 11:05:24 Author: felixonmars Revision: 643999 upgpkg: agda 2.6.1-53: rebuild with splitmix 0.0.5 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-12 Thread Felix Yan via arch-commits
Date: Friday, June 12, 2020 @ 20:19:22 Author: felixonmars Revision: 642581 upgpkg: agda 2.6.1-52: rebuild with smallcheck 1.1.6 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-11 Thread Felix Yan via arch-commits
Date: Friday, June 12, 2020 @ 05:00:57 Author: felixonmars Revision: 642170 upgpkg: agda 2.6.1-51: rebuild with concurrent-output 1.10.12 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-10 Thread Felix Yan via arch-commits
Date: Wednesday, June 10, 2020 @ 11:47:52 Author: felixonmars Revision: 641363 upgpkg: agda 2.6.1-50: rebuild with doctest 0.17 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-08 Thread Felix Yan via arch-commits
Date: Monday, June 8, 2020 @ 05:59:57 Author: felixonmars Revision: 640251 upgpkg: agda 2.6.1-49: rebuild with resourcet 1.2.4.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-07 Thread Felix Yan via arch-commits
Date: Sunday, June 7, 2020 @ 06:12:57 Author: felixonmars Revision: 639617 upgpkg: agda 2.6.1-48: rebuild with tasty-golden 2.3.4 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-03 Thread Felix Yan via arch-commits
Date: Wednesday, June 3, 2020 @ 21:27:51 Author: felixonmars Revision: 638584 upgpkg: agda 2.6.1-47: rebuild with haskell-src-exts 1.23.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-05-29 Thread Felix Yan via arch-commits
Date: Friday, May 29, 2020 @ 14:58:48 Author: felixonmars Revision: 637105 upgpkg: agda 2.6.1-46: rebuild with http-client 0.7.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-05-28 Thread Felix Yan via arch-commits
Date: Thursday, May 28, 2020 @ 20:19:51 Author: felixonmars Revision: 636654 upgpkg: agda 2.6.1-45: rebuild with aeson 1.5.1.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-05-28 Thread Felix Yan via arch-commits
Date: Thursday, May 28, 2020 @ 14:04:36 Author: felixonmars Revision: 636321 upgpkg: agda 2.6.1-44: rebuild with warp 3.3.12 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-05-26 Thread Felix Yan via arch-commits
Date: Tuesday, May 26, 2020 @ 23:38:53 Author: felixonmars Revision: 635509 upgpkg: agda 2.6.1-43: rebuild with quickcheck-instances 0.3.23 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-05-25 Thread Felix Yan via arch-commits
Date: Monday, May 25, 2020 @ 14:37:52 Author: felixonmars Revision: 634400 upgpkg: agda 2.6.1-42: rebuild with aeson 1.5.0.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) Modified: PKGBUILD

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

2020-05-24 Thread Felix Yan via arch-commits
Date: Monday, May 25, 2020 @ 05:13:27 Author: felixonmars Revision: 633790 upgpkg: agda 2.6.1-41: rebuild with safe 0.3.19 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-05-24 Thread Felix Yan via arch-commits
Date: Sunday, May 24, 2020 @ 14:19:52 Author: felixonmars Revision: 632828 upgpkg: agda 2.6.1-40: rebuild with tasty 1.3.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-05-21 Thread Felix Yan via arch-commits
Date: Thursday, May 21, 2020 @ 13:19:51 Author: felixonmars Revision: 631205 upgpkg: agda 2.6.1-39: rebuild with unliftio 0.2.13 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-05-20 Thread Felix Yan via arch-commits
Date: Wednesday, May 20, 2020 @ 13:59:45 Author: felixonmars Revision: 630683 upgpkg: agda 2.6.1-38: rebuild with network-byte-order 0.1.5 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-05-19 Thread Felix Yan via arch-commits
Date: Tuesday, May 19, 2020 @ 21:44:04 Author: felixonmars Revision: 630232 upgpkg: agda 2.6.1-37: rebuild with tasty-golden 2.3.3.3 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD

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

2020-05-18 Thread Felix Yan via arch-commits
Date: Monday, May 18, 2020 @ 09:47:41 Author: felixonmars Revision: 629372 upgpkg: agda 2.6.1-36: rebuild with warp 3.3.11 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-05-17 Thread Felix Yan via arch-commits
Date: Sunday, May 17, 2020 @ 21:22:00 Author: felixonmars Revision: 628993 upgpkg: agda 2.6.1-35: rebuild with math-functions 0.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)

2020-05-13 Thread Felix Yan via arch-commits
Date: Wednesday, May 13, 2020 @ 08:41:57 Author: felixonmars Revision: 627505 upgpkg: agda 2.6.1-34: rebuild with tasty 1.3 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-04-30 Thread Felix Yan via arch-commits
Date: Friday, May 1, 2020 @ 03:05:01 Author: felixonmars Revision: 623587 upgpkg: agda 2.6.1-33: rebuild with tasty-golden 2.3.3.2 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-04-25 Thread Felix Yan via arch-commits
Date: Sunday, April 26, 2020 @ 03:01:39 Author: felixonmars Revision: 621276 upgpkg: agda 2.6.1-32: rebuild with base64-bytestring 1.1.0.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-04-25 Thread Felix Yan via arch-commits
Date: Saturday, April 25, 2020 @ 15:53:37 Author: felixonmars Revision: 620890 upgpkg: agda 2.6.1-31: rebuild with retry 0.8.1.2 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-04-24 Thread Felix Yan via arch-commits
Date: Friday, April 24, 2020 @ 20:58:31 Author: felixonmars Revision: 619572 upgpkg: agda 2.6.1-30: rebuild with ghc 8.10.1, protolude 0.3.0, repline 0.3.0.0, ghc-lib-parser-ex 8.10.0.1, th-desugar 1.11, singletons 2.7 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |4 ++-- 1

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

2020-04-20 Thread Felix Yan via arch-commits
Date: Tuesday, April 21, 2020 @ 00:18:56 Author: felixonmars Revision: 617122 upgpkg: agda 2.6.1-29: rebuild with blaze-markup 0.8.2.5 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-04-19 Thread Felix Yan via arch-commits
Date: Sunday, April 19, 2020 @ 23:08:48 Author: felixonmars Revision: 616711 upgpkg: agda 2.6.1-28: rebuild with resourcet 1.2.4 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-04-18 Thread Felix Yan via arch-commits
Date: Sunday, April 19, 2020 @ 02:54:24 Author: felixonmars Revision: 616215 upgpkg: agda 2.6.1-27: rebuild with entropy 0.4.1.6 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-04-17 Thread Felix Yan via arch-commits
Date: Friday, April 17, 2020 @ 18:25:22 Author: felixonmars Revision: 615639 upgpkg: agda 2.6.1-26: rebuild with distributive 0.6.2 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-04-15 Thread Felix Yan via arch-commits
Date: Wednesday, April 15, 2020 @ 10:10:11 Author: felixonmars Revision: 614558 upgpkg: agda 2.6.1-25: rebuild with warp tasty-golden 2.3.3.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-04-14 Thread Felix Yan via arch-commits
Date: Tuesday, April 14, 2020 @ 17:14:16 Author: felixonmars Revision: 614095 upgpkg: agda 2.6.1-24: rebuild with warp 3.3.10 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-04-13 Thread Felix Yan via arch-commits
Date: Monday, April 13, 2020 @ 21:07:39 Author: felixonmars Revision: 613739 upgpkg: agda 2.6.1-23: rebuild with retry 0.8.1.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-04-08 Thread Evangelos Foutras via arch-commits
Date: Thursday, April 9, 2020 @ 00:58:44 Author: foutrelis Revision: 612868 libffi 3.3 rebuild Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-04-06 Thread Felix Yan via arch-commits
Date: Tuesday, April 7, 2020 @ 01:10:13 Author: felixonmars Revision: 612239 upgpkg: agda 2.6.1-21: rebuild with vault 0.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)

2020-04-03 Thread Felix Yan via arch-commits
Date: Friday, April 3, 2020 @ 23:03:53 Author: felixonmars Revision: 611312 upgpkg: agda 2.6.1-20: rebuild with http2 2.0.4 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-04-03 Thread Felix Yan via arch-commits
Date: Friday, April 3, 2020 @ 20:11:55 Author: felixonmars Revision: 611205 upgpkg: agda 2.6.1-19: rebuild with cpphs 1.20.9.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-04-03 Thread Felix Yan via arch-commits
Date: Friday, April 3, 2020 @ 16:15:35 Author: felixonmars Revision: 610868 upgpkg: agda 2.6.1-18: rebuild with dlist 0.8.0.8 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-04-02 Thread Felix Yan via arch-commits
Date: Thursday, April 2, 2020 @ 21:56:58 Author: felixonmars Revision: 610358 upgpkg: agda 2.6.1-17: rebuild with lifted-async 0.10.0.6 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-04-02 Thread Felix Yan via arch-commits
Date: Thursday, April 2, 2020 @ 19:19:36 Author: felixonmars Revision: 610189 upgpkg: agda 2.6.1-16: rebuild with geniplate-mirror 0.7.7 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-04-02 Thread Felix Yan via arch-commits
Date: Thursday, April 2, 2020 @ 08:22:22 Author: felixonmars Revision: 609396 upgpkg: agda 2.6.1-15: rebuild with QuickCheck 2.14 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-30 Thread Felix Yan via arch-commits
Date: Tuesday, March 31, 2020 @ 04:26:19 Author: felixonmars Revision: 607530 upgpkg: agda 2.6.1-14: rebuild with doctest 0.16.3 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-29 Thread Felix Yan via arch-commits
Date: Sunday, March 29, 2020 @ 21:42:46 Author: felixonmars Revision: 606488 upgpkg: agda 2.6.1-13: rebuild with ChasingBottoms 1.3.1.8 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-29 Thread Felix Yan via arch-commits
Date: Sunday, March 29, 2020 @ 12:56:49 Author: felixonmars Revision: 605905 upgpkg: agda 2.6.1-12: rebuild with blaze-markup 0.8.2.4 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-28 Thread Felix Yan via arch-commits
Date: Saturday, March 28, 2020 @ 20:45:10 Author: felixonmars Revision: 605489 upgpkg: agda 2.6.1-11: rebuild with attoparsec 0.13.2.4 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-26 Thread Felix Yan via arch-commits
Date: Thursday, March 26, 2020 @ 20:48:39 Author: felixonmars Revision: 604654 upgpkg: agda 2.6.1-10: rebuild with aeson 1.4.7.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-25 Thread Felix Yan via arch-commits
Date: Wednesday, March 25, 2020 @ 13:28:10 Author: felixonmars Revision: 604101 upgpkg: agda 2.6.1-9: rebuild with asn1-types 0.3.4 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-21 Thread Felix Yan via arch-commits
Date: Saturday, March 21, 2020 @ 19:35:36 Author: felixonmars Revision: 603041 upgpkg: agda 2.6.1-8: rebuild with network 3.1.1.1, network-bsd 2.8.1.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-21 Thread Felix Yan via arch-commits
Date: Saturday, March 21, 2020 @ 11:43:22 Author: felixonmars Revision: 602497 upgpkg: agda 2.6.1-7: rebuild with haskell-src-exts 1.23.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-20 Thread Felix Yan via arch-commits
Date: Friday, March 20, 2020 @ 20:28:39 Author: felixonmars Revision: 602058 upgpkg: agda 2.6.1-6: rebuild with conduit-extra 1.3.5 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-20 Thread Felix Yan via arch-commits
Date: Friday, March 20, 2020 @ 13:36:31 Author: felixonmars Revision: 601621 upgpkg: agda 2.6.1-5: rebuild with aeson 1.4.7.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-19 Thread Felix Yan via arch-commits
Date: Thursday, March 19, 2020 @ 20:21:36 Author: felixonmars Revision: 601141 upgpkg: agda 2.6.1-4: rebuild with conduit 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)

2020-03-17 Thread Felix Yan via arch-commits
Date: Tuesday, March 17, 2020 @ 14:39:40 Author: felixonmars Revision: 600230 upgpkg: agda 2.6.1-3: rebuild with iproute 1.7.9 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-16 Thread Felix Yan via arch-commits
Date: Monday, March 16, 2020 @ 23:50:20 Author: felixonmars Revision: 599959 upgpkg: agda 2.6.1-2: rebuild with warp 3.3.9 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-16 Thread Felix Yan via arch-commits
Date: Monday, March 16, 2020 @ 13:41:11 Author: felixonmars Revision: 599721 upgpkg: agda 2.6.1-1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |7 +++ 1 file changed, 3 insertions(+), 4 deletions(-) Modified: PKGBUILD

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

2020-03-15 Thread Felix Yan via arch-commits
Date: Monday, March 16, 2020 @ 01:04:51 Author: felixonmars Revision: 598921 upgpkg: agda 2.6.0.1.20191219-46: rebuild with hashable 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)

2020-03-14 Thread Felix Yan via arch-commits
Date: Saturday, March 14, 2020 @ 23:16:29 Author: felixonmars Revision: 597412 upgpkg: agda 2.6.0.1.20191219-45: rebuild with StateVar 1.2 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-14 Thread Felix Yan via arch-commits
Date: Saturday, March 14, 2020 @ 11:03:57 Author: felixonmars Revision: 596597 upgpkg: agda 2.6.0.1.20191219-44: rebuild with time-compat 1.9.3 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-13 Thread Felix Yan via arch-commits
Date: Friday, March 13, 2020 @ 15:57:18 Author: felixonmars Revision: 596101 upgpkg: agda 2.6.0.1.20191219-43: rebuild with constraints 0.12 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-12 Thread Felix Yan via arch-commits
Date: Thursday, March 12, 2020 @ 17:20:41 Author: felixonmars Revision: 595318 upgpkg: agda 2.6.0.1.20191219-42: rebuild with criterion 1.5.6.2 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-11 Thread Felix Yan via arch-commits
Date: Thursday, March 12, 2020 @ 02:36:25 Author: felixonmars Revision: 594938 upgpkg: agda 2.6.0.1.20191219-41: rebuild with generic-deriving 1.13.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-11 Thread Felix Yan via arch-commits
Date: Wednesday, March 11, 2020 @ 16:31:59 Author: felixonmars Revision: 594383 upgpkg: agda 2.6.0.1.20191219-40: rebuild with network-byte-order 0.1.4.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-10 Thread Felix Yan via arch-commits
Date: Tuesday, March 10, 2020 @ 11:30:50 Author: felixonmars Revision: 593514 upgpkg: agda 2.6.0.1.20191219-39: rebuild with unliftio-core 0.2.0.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-09 Thread Felix Yan via arch-commits
Date: Monday, March 9, 2020 @ 17:15:04 Author: felixonmars Revision: 593130 upgpkg: agda 2.6.0.1.20191219-38: rebuild with http-client 0.6.4.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-08 Thread Felix Yan via arch-commits
Date: Sunday, March 8, 2020 @ 22:21:15 Author: felixonmars Revision: 592577 upgpkg: agda 2.6.0.1.20191219-37: rebuild with generic-deriving 1.13 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-08 Thread Felix Yan via arch-commits
Date: Sunday, March 8, 2020 @ 12:57:21 Author: felixonmars Revision: 591950 upgpkg: agda 2.6.0.1.20191219-36: rebuild with network-byte-order 0.1.3.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-08 Thread Felix Yan via arch-commits
Date: Sunday, March 8, 2020 @ 08:34:56 Author: felixonmars Revision: 591509 upgpkg: agda 2.6.0.1.20191219-35: rebuild with unliftio-core 0.2.0.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-04 Thread Felix Yan via arch-commits
Date: Wednesday, March 4, 2020 @ 19:34:16 Author: felixonmars Revision: 590435 upgpkg: agda 2.6.0.1.20191219-34: rebuild with unliftio 0.2.12.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-04 Thread Felix Yan via arch-commits
Date: Wednesday, March 4, 2020 @ 12:36:15 Author: felixonmars Revision: 590069 upgpkg: agda 2.6.0.1.20191219-33: rebuild with criterion 1.5.6.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-03 Thread Felix Yan via arch-commits
Date: Tuesday, March 3, 2020 @ 09:40:30 Author: felixonmars Revision: 589501 upgpkg: agda 2.6.0.1.20191219-32: rebuild with resourcet 1.2.3 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-02 Thread Felix Yan via arch-commits
Date: Monday, March 2, 2020 @ 17:40:51 Author: felixonmars Revision: 588565 upgpkg: agda 2.6.0.1.20191219-31: rebuild with primitive 0.7.0.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-02-29 Thread Felix Yan via arch-commits
Date: Saturday, February 29, 2020 @ 20:58:00 Author: felixonmars Revision: 587117 upgpkg: agda 2.6.0.1.20191219-30: rebuild with logict 0.7.0.2 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-02-27 Thread Felix Yan via arch-commits
Date: Thursday, February 27, 2020 @ 21:43:55 Author: felixonmars Revision: 584825 upgpkg: agda 2.6.0.1.20191219-29: rebuild with ghc 8.8.3 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-02-26 Thread Felix Yan via arch-commits
Date: Wednesday, February 26, 2020 @ 18:20:21 Author: felixonmars Revision: 583058 upgpkg: agda 2.6.0.1.20191219-28: rebuild with cpphs 1.20.9 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-02-26 Thread Felix Yan via arch-commits
Date: Wednesday, February 26, 2020 @ 10:59:29 Author: felixonmars Revision: 582266 upgpkg: agda 2.6.0.1.20191219-27: rebuild with splitmix 0.0.4 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-02-24 Thread Felix Yan via arch-commits
Date: Monday, February 24, 2020 @ 21:43:59 Author: felixonmars Revision: 580864 upgpkg: agda 2.6.0.1.20191219-26: rebuild with haskell-src-exts 1.22.0, haskell-src-meta 0.8.4 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2020-02-24 Thread Felix Yan via arch-commits
Date: Monday, February 24, 2020 @ 14:06:33 Author: felixonmars Revision: 580472 upgpkg: agda 2.6.0.1.20191219-25: rebuild with statistics 0.15.2.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-02-23 Thread Felix Yan via arch-commits
Date: Sunday, February 23, 2020 @ 21:19:43 Author: felixonmars Revision: 580017 upgpkg: agda 2.6.0.1.20191219-24: rebuild with split 0.2.3.4 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) Modified: PKGBUILD

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

2020-02-23 Thread Felix Yan via arch-commits
Date: Sunday, February 23, 2020 @ 08:16:55 Author: felixonmars Revision: 579436 upgpkg: agda 2.6.0.1.20191219-23: rebuild with logict 0.7.0.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-02-22 Thread Felix Yan via arch-commits
Date: Saturday, February 22, 2020 @ 20:54:33 Author: felixonmars Revision: 579107 upgpkg: agda 2.6.0.1.20191219-22: rebuild with network-byte-order 0.1.2.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-02-22 Thread Felix Yan via arch-commits
Date: Saturday, February 22, 2020 @ 17:15:29 Author: felixonmars Revision: 578840 upgpkg: agda 2.6.0.1.20191219-21: rebuild with lifted-async 0.10.0.5 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-02-22 Thread Felix Yan via arch-commits
Date: Saturday, February 22, 2020 @ 12:02:37 Author: felixonmars Revision: 578414 upgpkg: agda 2.6.0.1.20191219-20: rebuild with pretty-show 1.10 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-02-21 Thread Felix Yan via arch-commits
Date: Friday, February 21, 2020 @ 18:14:24 Author: felixonmars Revision: 577833 upgpkg: agda 2.6.0.1.20191219-19: rebuild with tasty-golden 2.3.3 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) Modified: PKGBUILD

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

2020-02-20 Thread Felix Yan via arch-commits
Date: Thursday, February 20, 2020 @ 08:53:25 Author: felixonmars Revision: 576993 upgpkg: agda 2.6.0.1.20191219-18: rebuild with logict 0.7.0.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-02-19 Thread Felix Yan via arch-commits
Date: Wednesday, February 19, 2020 @ 12:30:24 Author: felixonmars Revision: 576505 upgpkg: agda 2.6.0.1.20191219-17: rebuild with binary-orphans 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)

2020-02-18 Thread Felix Yan via arch-commits
Date: Wednesday, February 19, 2020 @ 07:24:53 Author: felixonmars Revision: 576250 upgpkg: agda 2.6.0.1.20191219-16: rebuild with network-uri 2.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)

2020-02-18 Thread Felix Yan via arch-commits
Date: Tuesday, February 18, 2020 @ 11:07:28 Author: felixonmars Revision: 575773 upgpkg: agda 2.6.0.1.20191219-15: rebuild with statistics 0.15.1.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-02-17 Thread Felix Yan via arch-commits
Date: Monday, February 17, 2020 @ 19:14:07 Author: felixonmars Revision: 574524 upgpkg: agda 2.6.0.1.20191219-14: rebuild with tasty-golden 2.3.2.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-02-17 Thread Felix Yan via arch-commits
Date: Monday, February 17, 2020 @ 10:51:24 Author: felixonmars Revision: 573939 upgpkg: agda 2.6.0.1.20191219-13: rebuild with profunctors 5.5.2 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-02-16 Thread Felix Yan via arch-commits
Date: Sunday, February 16, 2020 @ 20:28:55 Author: felixonmars Revision: 572834 upgpkg: agda 2.6.0.1.20191219-12: rebuild with ghc 8.8.2 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-02-13 Thread Felix Yan via arch-commits
Date: Thursday, February 13, 2020 @ 15:10:05 Author: felixonmars Revision: 570522 upgpkg: agda 2.6.0.1.20191219-11: rebuild with criterion 1.5.6.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

<    1   2   3   4   >