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

2020-12-29 Thread Felix Yan via arch-commits
Date: Tuesday, December 29, 2020 @ 12:47:19 Author: felixonmars Revision: 797006 upgpkg: agda 2.6.1.2-27: rebuild with tagged 0.8.6.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-28 Thread Felix Yan via arch-commits
Date: Monday, December 28, 2020 @ 12:59:36 Author: felixonmars Revision: 794854 upgpkg: agda 2.6.1.2-26: rebuild with indexed-traversable 0.1.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-26 Thread Felix Yan via arch-commits
Date: Saturday, December 26, 2020 @ 21:43:30 Author: felixonmars Revision: 793066 upgpkg: agda 2.6.1.2-25: rebuild with hedgehog 1.0.4 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-25 Thread Felix Yan via arch-commits
Date: Saturday, December 26, 2020 @ 07:19:39 Author: felixonmars Revision: 792171 upgpkg: agda 2.6.1.2-24: rebuild with tasty-quickcheck 0.10.1.2 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-24 Thread Felix Yan via arch-commits
Date: Friday, December 25, 2020 @ 07:03:04 Author: felixonmars Revision: 789645 upgpkg: agda 2.6.1.2-23: rebuild with comonad 5.0.7 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-24 Thread Felix Yan via arch-commits
Date: Thursday, December 24, 2020 @ 16:56:54 Author: felixonmars Revision: 788346 upgpkg: agda 2.6.1.2-22: rebuild with base16-bytestring 1.0.1.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-24 Thread Felix Yan via arch-commits
Date: Thursday, December 24, 2020 @ 11:11:25 Author: felixonmars Revision: 787058 upgpkg: agda 2.6.1.2-21: rebuild with ghc 8.10.3 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |9 ++--- 1 file changed, 6 insertions(+), 3 deletions(-) Modified: PKGBUILD

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

2020-12-23 Thread Felix Yan via arch-commits
Date: Wednesday, December 23, 2020 @ 10:23:16 Author: felixonmars Revision: 784043 upgpkg: agda 2.6.1.2-20: rebuild with tasty-smallcheck 0.8.2 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-21 Thread Felix Yan via arch-commits
Date: Tuesday, December 22, 2020 @ 01:16:59 Author: felixonmars Revision: 781713 upgpkg: agda 2.6.1.2-19: rebuild with tasty-hunit 0.10.0.3 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-18 Thread Felix Yan via arch-commits
Date: Friday, December 18, 2020 @ 09:58:41 Author: felixonmars Revision: 778412 upgpkg: agda 2.6.1.2-18: rebuild with th-abstraction 0.4.1.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-16 Thread Felix Yan via arch-commits
Date: Wednesday, December 16, 2020 @ 20:01:25 Author: felixonmars Revision: 776937 upgpkg: agda 2.6.1.2-17: rebuild with microstache 1.0.1.2 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-15 Thread Felix Yan via arch-commits
Date: Tuesday, December 15, 2020 @ 21:40:19 Author: felixonmars Revision: 776231 upgpkg: agda 2.6.1.2-16: rebuild with base16-bytestring 1.0.0.0, casa-types 0.0.2 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified:

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

2020-12-13 Thread Felix Yan via arch-commits
Date: Monday, December 14, 2020 @ 04:27:53 Author: felixonmars Revision: 774819 upgpkg: agda 2.6.1.2-15: rebuild with base-orphans 0.8.5 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-09 Thread Felix Yan via arch-commits
Date: Wednesday, December 9, 2020 @ 13:22:54 Author: felixonmars Revision: 772650 upgpkg: agda 2.6.1.2-14: rebuild with vector-algorithms 0.8.0.4 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-08 Thread Felix Yan via arch-commits
Date: Tuesday, December 8, 2020 @ 08:29:54 Author: felixonmars Revision: 771756 upgpkg: agda 2.6.1.2-13: rebuild with strict 0.4.0.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-04 Thread Felix Yan via arch-commits
Date: Saturday, December 5, 2020 @ 02:24:12 Author: felixonmars Revision: 770401 upgpkg: agda 2.6.1.2-12: rebuild with time-compat 1.9.5 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-03 Thread Felix Yan via arch-commits
Date: Thursday, December 3, 2020 @ 14:58:01 Author: felixonmars Revision: 769579 upgpkg: agda 2.6.1.2-11: rebuild with criterion 1.5.9.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-28 Thread Felix Yan via arch-commits
Date: Saturday, November 28, 2020 @ 12:16:00 Author: felixonmars Revision: 765202 upgpkg: agda 2.6.1.2-10: rebuild with unbounded-delays 0.1.1.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-26 Thread Felix Yan via arch-commits
Date: Thursday, November 26, 2020 @ 16:05:49 Author: felixonmars Revision: 763592 upgpkg: agda 2.6.1.2-9: rebuild with criterion 1.5.8.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-25 Thread Felix Yan via arch-commits
Date: Wednesday, November 25, 2020 @ 19:13:40 Author: felixonmars Revision: 761211 upgpkg: agda 2.6.1.2-8: rebuild with conduit 1.3.4 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-23 Thread Felix Yan via arch-commits
Date: Monday, November 23, 2020 @ 11:14:46 Author: felixonmars Revision: 759870 upgpkg: agda 2.6.1.2-7: rebuild with optparse-applicative 0.16.1.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-20 Thread Felix Yan via arch-commits
Date: Friday, November 20, 2020 @ 20:14:53 Author: felixonmars Revision: 758080 upgpkg: agda 2.6.1.2-6: rebuild with base64-bytestring 1.2.0.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-18 Thread Felix Yan via arch-commits
Date: Wednesday, November 18, 2020 @ 23:25:54 Author: felixonmars Revision: 757298 upgpkg: agda 2.6.1.2-5: rebuild with http-client 0.7.3 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-17 Thread Felix Yan via arch-commits
Date: Tuesday, November 17, 2020 @ 20:09:45 Author: felixonmars Revision: 756865 upgpkg: agda 2.6.1.2-4: rebuild with iproute 1.7.10 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-16 Thread Felix Yan via arch-commits
Date: Tuesday, November 17, 2020 @ 05:09:55 Author: felixonmars Revision: 755943 upgpkg: agda 2.6.1.2-3: rebuild with QuickCheck 2.14.2, quickcheck-instances 0.3.25.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified:

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

2020-11-10 Thread Felix Yan via arch-commits
Date: Tuesday, November 10, 2020 @ 16:02:41 Author: felixonmars Revision: 749612 upgpkg: agda 2.6.1.2-2: rebuild with cryptonite +tests enabled Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-09 Thread Felix Yan via arch-commits
Date: Tuesday, November 10, 2020 @ 07:33:23 Author: felixonmars Revision: 749413 upgpkg: agda 2.6.1.2-1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD | 25 - 1 file changed, 8 insertions(+), 17 deletions(-) Modified: PKGBUILD

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

2020-11-07 Thread Felix Yan via arch-commits
Date: Saturday, November 7, 2020 @ 19:43:52 Author: felixonmars Revision: 745954 upgpkg: agda 2.6.1.1-33: rebuild with integer-logarithms 1.0.3.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-06 Thread Felix Yan via arch-commits
Date: Friday, November 6, 2020 @ 22:02:07 Author: felixonmars Revision: 744626 upgpkg: agda 2.6.1.1-32: rebuild with splitmix 0.1.0.3 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-04 Thread Felix Yan via arch-commits
Date: Wednesday, November 4, 2020 @ 20:23:20 Author: felixonmars Revision: 742588 upgpkg: agda 2.6.1.1-31: rebuild with quickcheck-instances 0.3.25 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-04 Thread Felix Yan via arch-commits
Date: Wednesday, November 4, 2020 @ 10:56:39 Author: felixonmars Revision: 741887 upgpkg: agda 2.6.1.1-30: rebuild with time-compat 1.9.4 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-03 Thread Felix Yan via arch-commits
Date: Tuesday, November 3, 2020 @ 21:34:06 Author: felixonmars Revision: 741370 upgpkg: agda 2.6.1.1-29: rebuild with foldl 1.4.10 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-03 Thread Felix Yan via arch-commits
Date: Tuesday, November 3, 2020 @ 09:27:47 Author: felixonmars Revision: 740483 upgpkg: agda 2.6.1.1-28: rebuild with HUnit 1.6.1.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-10-31 Thread Felix Yan via arch-commits
Date: Sunday, November 1, 2020 @ 01:40:28 Author: felixonmars Revision: 738079 upgpkg: agda 2.6.1.1-27: rebuild with unliftio 0.2.13.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-10-28 Thread Felix Yan via arch-commits
Date: Wednesday, October 28, 2020 @ 15:19:55 Author: felixonmars Revision: 735513 upgpkg: agda 2.6.1.1-26: rebuild with optparse-applicative 0.16.0.0, optparse-generic 1.4.3, turtle 1.5.21 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2020-10-25 Thread Felix Yan via arch-commits
Date: Sunday, October 25, 2020 @ 18:45:09 Author: felixonmars Revision: 732863 upgpkg: agda 2.6.1.1-25: rebuild with bifunctors 5.5.8 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-10-23 Thread Felix Yan via arch-commits
Date: Friday, October 23, 2020 @ 22:24:20 Author: felixonmars Revision: 730949 upgpkg: agda 2.6.1.1-24: rebuild with generic-deriving 1.14 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-10-22 Thread Felix Yan via arch-commits
Date: Thursday, October 22, 2020 @ 20:57:32 Author: felixonmars Revision: 730129 upgpkg: agda 2.6.1.1-23: rebuild with profunctors 5.6 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-10-22 Thread Felix Yan via arch-commits
Date: Thursday, October 22, 2020 @ 14:14:29 Author: felixonmars Revision: 729146 upgpkg: agda 2.6.1.1-22: rebuild with splitmix 0.1.0.2 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-10-19 Thread Felix Yan via arch-commits
Date: Monday, October 19, 2020 @ 17:27:23 Author: felixonmars Revision: 727196 upgpkg: agda 2.6.1.1-21: rebuild with conduit 1.3.3 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-10-18 Thread Felix Yan via arch-commits
Date: Sunday, October 18, 2020 @ 16:30:21 Author: felixonmars Revision: 726744 upgpkg: agda 2.6.1.1-20: rebuild with uri-encode 1.5.0.7 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-10-18 Thread Felix Yan via arch-commits
Date: Sunday, October 18, 2020 @ 10:34:36 Author: felixonmars Revision: 725875 upgpkg: agda 2.6.1.1-19: rebuild with th-abstraction 0.4.0.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-10-10 Thread Felix Yan via arch-commits
Date: Saturday, October 10, 2020 @ 07:41:25 Author: felixonmars Revision: 722871 upgpkg: agda 2.6.1.1-18: rebuild with unordered-containers 0.2.13.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-10-08 Thread Felix Yan via arch-commits
Date: Friday, October 9, 2020 @ 00:44:49 Author: felixonmars Revision: 722230 upgpkg: agda 2.6.1.1-17: rebuild with http-date 0.0.10 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-10-08 Thread Felix Yan via arch-commits
Date: Thursday, October 8, 2020 @ 19:45:55 Author: felixonmars Revision: 721922 upgpkg: agda 2.6.1.1-16: rebuild with criterion 1.5.7.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-10-07 Thread Felix Yan via arch-commits
Date: Wednesday, October 7, 2020 @ 17:59:36 Author: felixonmars Revision: 720773 upgpkg: agda 2.6.1.1-15: rebuild with base-compat 0.11.2, base-compat-batteries 0.11.2 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2020-10-05 Thread Felix Yan via arch-commits
Date: Monday, October 5, 2020 @ 17:26:56 Author: felixonmars Revision: 718767 upgpkg: agda 2.6.1.1-14: rebuild with aeson 1.5.4.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-10-04 Thread Felix Yan via arch-commits
Date: Sunday, October 4, 2020 @ 16:30:48 Author: felixonmars Revision: 717708 upgpkg: agda 2.6.1.1-13: rebuild with transformers-compat 0.6.6 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-10-02 Thread Felix Yan via arch-commits
Date: Friday, October 2, 2020 @ 19:34:43 Author: felixonmars Revision: 715532 upgpkg: agda 2.6.1.1-12: rebuild with base-orphans 0.8.3 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-09-28 Thread Felix Yan via arch-commits
Date: Monday, September 28, 2020 @ 19:21:47 Author: felixonmars Revision: 713264 upgpkg: agda 2.6.1.1-11: rebuild with foldl 1.4.9 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-09-28 Thread Felix Yan via arch-commits
Date: Monday, September 28, 2020 @ 11:58:25 Author: felixonmars Revision: 712916 upgpkg: agda 2.6.1.1-10: rebuild with network-byte-order 0.1.6 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-09-25 Thread Felix Yan via arch-commits
Date: Friday, September 25, 2020 @ 17:25:25 Author: felixonmars Revision: 712127 upgpkg: agda 2.6.1.1-9: rebuild with http-date 0.0.9 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-09-18 Thread Felix Yan via arch-commits
Date: Saturday, September 19, 2020 @ 01:12:03 Author: felixonmars Revision: 710807 upgpkg: agda 2.6.1.1-8: rebuild with hashtables 1.2.4.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-09-18 Thread Felix Yan via arch-commits
Date: Friday, September 18, 2020 @ 10:15:31 Author: felixonmars Revision: 709870 upgpkg: agda 2.6.1.1-7: rebuild with hspec 2.7.4, hspec-core 2.7.4, hspec-discover 2.7.4 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2020-09-16 Thread Felix Yan via arch-commits
Date: Wednesday, September 16, 2020 @ 20:47:24 Author: felixonmars Revision: 708310 upgpkg: agda 2.6.1.1-6: rebuild with HTTP 4000.3.15 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-09-16 Thread Felix Yan via arch-commits
Date: Wednesday, September 16, 2020 @ 07:34:52 Author: felixonmars Revision: 707233 upgpkg: agda 2.6.1.1-5: rebuild with quickcheck-classes-base 0.6.1.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-09-13 Thread Felix Yan via arch-commits
Date: Sunday, September 13, 2020 @ 08:01:59 Author: felixonmars Revision: 704981 upgpkg: agda 2.6.1.1-4: rebuild with ansi-terminal 0.11 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-09-11 Thread Felix Yan via arch-commits
Date: Saturday, September 12, 2020 @ 00:02:20 Author: felixonmars Revision: 702943 upgpkg: agda 2.6.1.1-3: rebuild with mwc-random 0.15.0.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-09-08 Thread Felix Yan via arch-commits
Date: Tuesday, September 8, 2020 @ 23:03:09 Author: felixonmars Revision: 701406 upgpkg: agda 2.6.1.1-2: rebuild with hashtables 1.2.4.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-09-08 Thread Felix Yan via arch-commits
Date: Tuesday, September 8, 2020 @ 21:47:44 Author: felixonmars Revision: 701368 upgpkg: agda 2.6.1.1-1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD | 13 + 1 file changed, 5 insertions(+), 8 deletions(-) Modified: PKGBUILD

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

2020-09-07 Thread Felix Yan via arch-commits
Date: Monday, September 7, 2020 @ 22:52:32 Author: felixonmars Revision: 700460 upgpkg: agda 2.6.1-105: rebuild with hspec 2.7.3, hspec-core 2.7.3, hspec-discover 2.7.3 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2020-09-04 Thread Felix Yan via arch-commits
Date: Saturday, September 5, 2020 @ 00:38:28 Author: felixonmars Revision: 698759 upgpkg: agda 2.6.1-104: rebuild with tasty-expected-failure 0.12.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-09-03 Thread Felix Yan via arch-commits
Date: Thursday, September 3, 2020 @ 22:09:11 Author: felixonmars Revision: 697700 upgpkg: agda 2.6.1-103: rebuild with mwc-random 0.15.0.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-09-01 Thread Felix Yan via arch-commits
Date: Tuesday, September 1, 2020 @ 20:21:35 Author: felixonmars Revision: 695919 upgpkg: agda 2.6.1-102: rebuild with aeson 1.5.4.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-09-01 Thread Felix Yan via arch-commits
Date: Tuesday, September 1, 2020 @ 13:09:08 Author: felixonmars Revision: 695481 upgpkg: agda 2.6.1-101: rebuild with conduit 1.3.2.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-31 Thread Felix Yan via arch-commits
Date: Monday, August 31, 2020 @ 16:19:19 Author: felixonmars Revision: 694257 upgpkg: agda 2.6.1-100: rebuild with happy 1.20.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-28 Thread Felix Yan via arch-commits
Date: Saturday, August 29, 2020 @ 00:52:41 Author: felixonmars Revision: 691374 upgpkg: agda 2.6.1-99: rebuild with logict 0.7.0.3 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-26 Thread Felix Yan via arch-commits
Date: Wednesday, August 26, 2020 @ 19:18:50 Author: felixonmars Revision: 689014 upgpkg: agda 2.6.1-98: rebuild with random 1.2.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-23 Thread Felix Yan via arch-commits
Date: Monday, August 24, 2020 @ 00:26:57 Author: felixonmars Revision: 687435 upgpkg: agda 2.6.1-97: rebuild with http-client 0.7.2.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-23 Thread Felix Yan via arch-commits
Date: Sunday, August 23, 2020 @ 10:36:28 Author: felixonmars Revision: 687062 upgpkg: agda 2.6.1-96: rebuild with base64-bytestring 1.2.0.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-21 Thread Felix Yan via arch-commits
Date: Friday, August 21, 2020 @ 20:33:54 Author: felixonmars Revision: 686453 upgpkg: agda 2.6.1-95: rebuild with http-client 0.7.2 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-21 Thread Felix Yan via arch-commits
Date: Friday, August 21, 2020 @ 12:27:05 Author: felixonmars Revision: 685947 upgpkg: agda 2.6.1-94: rebuild with dlist 1.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-19 Thread Felix Yan via arch-commits
Date: Wednesday, August 19, 2020 @ 21:01:26 Author: felixonmars Revision: 685212 upgpkg: agda 2.6.1-93: rebuild with tasty-expected-failure 0.12 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-18 Thread Felix Yan via arch-commits
Date: Tuesday, August 18, 2020 @ 10:50:35 Author: felixonmars Revision: 683806 upgpkg: agda 2.6.1-92: rebuild with ghc 8.10.2 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |9 ++--- 1 file changed, 6 insertions(+), 3 deletions(-) Modified: PKGBUILD

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

2020-08-16 Thread Felix Yan via arch-commits
Date: Sunday, August 16, 2020 @ 19:59:40 Author: felixonmars Revision: 681871 upgpkg: agda 2.6.1-91: rebuild with lifted-async 0.10.1.2 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-16 Thread Felix Yan via arch-commits
Date: Sunday, August 16, 2020 @ 07:35:16 Author: felixonmars Revision: 680762 upgpkg: agda 2.6.1-90: rebuild with math-functions 0.3.4.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-14 Thread Felix Yan via arch-commits
Date: Saturday, August 15, 2020 @ 05:59:02 Author: felixonmars Revision: 679381 upgpkg: agda 2.6.1-89: rebuild with aeson 1.5.3.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |9 ++--- 1 file changed, 6 insertions(+), 3 deletions(-) Modified: PKGBUILD

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

2020-08-14 Thread Felix Yan via arch-commits
Date: Friday, August 14, 2020 @ 06:46:09 Author: felixonmars Revision: 678315 upgpkg: agda 2.6.1-88: rebuild with hspec 2.7.2, hspec-core 2.7.2, hspec-discover 2.7.2 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified:

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

2020-08-13 Thread Felix Yan via arch-commits
Date: Thursday, August 13, 2020 @ 06:32:31 Author: felixonmars Revision: 676872 upgpkg: agda 2.6.1-87: rebuild with quickcheck-instances 0.3.24 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-12 Thread Felix Yan via arch-commits
Date: Wednesday, August 12, 2020 @ 07:20:32 Author: felixonmars Revision: 675581 upgpkg: agda 2.6.1-86: rebuild with splitmix 0.1.0.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-10 Thread Felix Yan via arch-commits
Date: Monday, August 10, 2020 @ 19:28:58 Author: felixonmars Revision: 674069 upgpkg: agda 2.6.1-85: rebuild with optics-th 0.3.0.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-10 Thread Felix Yan via arch-commits
Date: Monday, August 10, 2020 @ 10:36:15 Author: felixonmars Revision: 673534 upgpkg: agda 2.6.1-84: rebuild with streaming-commons 0.2.2.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-09 Thread Felix Yan via arch-commits
Date: Sunday, August 9, 2020 @ 19:36:07 Author: felixonmars Revision: 673319 upgpkg: agda 2.6.1-83: rebuild with strict 0.4 Modified: agda/trunk/PKGBUILD --+ PKGBUILD | 11 +++ 1 file changed, 7 insertions(+), 4 deletions(-) Modified: PKGBUILD

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

2020-08-09 Thread Felix Yan via arch-commits
Date: Sunday, August 9, 2020 @ 18:00:41 Author: felixonmars Revision: 673302 upgpkg: agda 2.6.1-82: rebuild with uri-encode 1.5.0.6 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-08 Thread Felix Yan via arch-commits
Date: Sunday, August 9, 2020 @ 04:16:31 Author: felixonmars Revision: 672978 upgpkg: agda 2.6.1-81: rebuild with network 3.1.2.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-08 Thread Felix Yan via arch-commits
Date: Saturday, August 8, 2020 @ 16:24:20 Author: felixonmars Revision: 672462 upgpkg: agda 2.6.1-80: rebuild with these 1.1.1.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-08 Thread Felix Yan via arch-commits
Date: Saturday, August 8, 2020 @ 08:56:44 Author: felixonmars Revision: 671986 upgpkg: agda 2.6.1-79: rebuild with lifted-async 0.10.1.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-07 Thread Felix Yan via arch-commits
Date: Friday, August 7, 2020 @ 08:44:13 Author: felixonmars Revision: 671359 upgpkg: agda 2.6.1-78: rebuild with foldl 1.4.8 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-06 Thread Felix Yan via arch-commits
Date: Thursday, August 6, 2020 @ 14:11:02 Author: felixonmars Revision: 670935 upgpkg: agda 2.6.1-77: rebuild with streaming-commons 0.2.2.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-06 Thread Felix Yan via arch-commits
Date: Thursday, August 6, 2020 @ 06:28:57 Author: felixonmars Revision: 670533 upgpkg: agda 2.6.1-76: rebuild with hedgehog 1.0.3 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-05 Thread Felix Yan via arch-commits
Date: Wednesday, August 5, 2020 @ 14:36:54 Author: felixonmars Revision: 669515 upgpkg: agda 2.6.1-75: rebuild with unordered-containers 0.2.12.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-04 Thread Felix Yan via arch-commits
Date: Tuesday, August 4, 2020 @ 14:46:48 Author: felixonmars Revision: 668844 upgpkg: agda 2.6.1-74: rebuild with http2 2.0.5 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-03 Thread Felix Yan via arch-commits
Date: Monday, August 3, 2020 @ 22:23:47 Author: felixonmars Revision: 668589 upgpkg: agda 2.6.1-73: rebuild with zlib 0.6.2.2 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-03 Thread Felix Yan via arch-commits
Date: Monday, August 3, 2020 @ 13:14:37 Author: felixonmars Revision: 668286 upgpkg: agda 2.6.1-72: rebuild with these 1.1.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-02 Thread Felix Yan via arch-commits
Date: Sunday, August 2, 2020 @ 21:14:09 Author: felixonmars Revision: 667879 upgpkg: agda 2.6.1-71: rebuild with blaze-markup 0.8.2.7 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-02 Thread Felix Yan via arch-commits
Date: Sunday, August 2, 2020 @ 15:37:28 Author: felixonmars Revision: 667747 upgpkg: agda 2.6.1-70: rebuild with Glob 0.10.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-01 Thread Felix Yan via arch-commits
Date: Saturday, August 1, 2020 @ 09:57:20 Author: felixonmars Revision: 667358 upgpkg: agda 2.6.1-69: rebuild with QuickCheck 2.14.1 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-07-31 Thread Felix Yan via arch-commits
Date: Friday, July 31, 2020 @ 07:01:00 Author: felixonmars Revision: 666046 upgpkg: agda 2.6.1-68: add symlink to avoid wring into /usr Modified: agda/trunk/PKGBUILD --+ PKGBUILD | 11 +++ 1 file changed, 7 insertions(+), 4 deletions(-) Modified: PKGBUILD

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

2020-06-29 Thread Felix Yan via arch-commits
Date: Monday, June 29, 2020 @ 13:23:13 Author: felixonmars Revision: 656278 upgpkg: agda 2.6.1-67: rebuild with primitive 0.7.1.0 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-27 Thread Felix Yan via arch-commits
Date: Friday, June 26, 2020 @ 02:40:05 Author: felixonmars Revision: 653349 upgpkg: agda 2.6.1-64: rebuild with warp 3.3.13 Modified: agda/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

  1   2   3   4   >