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

2020-12-29 Thread Felix Yan via arch-commits
Date: Tuesday, December 29, 2020 @ 13:40:48 Author: felixonmars Revision: 797098 upgpkg: idris 1.3.3-138: rebuild with tagged 0.8.6.1 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-28 Thread Felix Yan via arch-commits
Date: Monday, December 28, 2020 @ 14:34:13 Author: felixonmars Revision: 794998 upgpkg: idris 1.3.3-137: rebuild with indexed-traversable 0.1.1 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-26 Thread Felix Yan via arch-commits
Date: Sunday, December 27, 2020 @ 01:06:10 Author: felixonmars Revision: 793297 upgpkg: idris 1.3.3-136: rebuild with hedgehog 1.0.4 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-26 Thread Felix Yan via arch-commits
Date: Saturday, December 26, 2020 @ 09:25:57 Author: felixonmars Revision: 792317 upgpkg: idris 1.3.3-135: rebuild with tasty-quickcheck 0.10.1.2 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-25 Thread Felix Yan via arch-commits
Date: Friday, December 25, 2020 @ 11:04:23 Author: felixonmars Revision: 790071 upgpkg: idris 1.3.3-134: rebuild with comonad 5.0.7 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-24 Thread Felix Yan via arch-commits
Date: Thursday, December 24, 2020 @ 17:11:41 Author: felixonmars Revision: 788354 upgpkg: idris 1.3.3-133: rebuild with base16-bytestring 1.0.1.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-24 Thread Felix Yan via arch-commits
Date: Thursday, December 24, 2020 @ 11:25:43 Author: felixonmars Revision: 787062 upgpkg: idris 1.3.3-132: rebuild with ghc 8.10.3 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-23 Thread Felix Yan via arch-commits
Date: Wednesday, December 23, 2020 @ 11:59:09 Author: felixonmars Revision: 784163 upgpkg: idris 1.3.3-131: rebuild with tasty-smallcheck 0.8.2 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-22 Thread Felix Yan via arch-commits
Date: Tuesday, December 22, 2020 @ 17:53:54 Author: felixonmars Revision: 782698 upgpkg: idris 1.3.3-130: rebuild with megaparsec 9.0.1 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-22 Thread Felix Yan via arch-commits
Date: Tuesday, December 22, 2020 @ 12:46:38 Author: felixonmars Revision: 781963 upgpkg: idris 1.3.3-129: rebuild with tasty-hunit 0.10.0.3 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-18 Thread Felix Yan via arch-commits
Date: Friday, December 18, 2020 @ 11:30:37 Author: felixonmars Revision: 778502 upgpkg: idris 1.3.3-128: rebuild with th-abstraction 0.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)

2020-12-16 Thread Felix Yan via arch-commits
Date: Wednesday, December 16, 2020 @ 19:13:01 Author: felixonmars Revision: 776899 upgpkg: idris 1.3.3-127: rebuild with microstache 1.0.1.2 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-16 Thread Felix Yan via arch-commits
Date: Wednesday, December 16, 2020 @ 12:16:41 Author: felixonmars Revision: 776652 upgpkg: idris 1.3.3-126: rebuild with megaparsec 9.0.0, hspec-megaparsec 2.2.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) Modified:

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

2020-12-15 Thread Felix Yan via arch-commits
Date: Tuesday, December 15, 2020 @ 22:35:09 Author: felixonmars Revision: 776281 upgpkg: idris 1.3.3-125: rebuild with base16-bytestring 1.0.0.0, casa-types 0.0.2 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified:

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

2020-12-15 Thread Felix Yan via arch-commits
Date: Tuesday, December 15, 2020 @ 10:33:03 Author: felixonmars Revision: 775930 upgpkg: idris 1.3.3-124: rebuild with wai-extra 3.1.4.1 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-14 Thread Felix Yan via arch-commits
Date: Monday, December 14, 2020 @ 14:37:56 Author: felixonmars Revision: 775037 upgpkg: idris 1.3.3-123: rebuild with base-orphans 0.8.5 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-09 Thread Felix Yan via arch-commits
Date: Wednesday, December 9, 2020 @ 13:48:59 Author: felixonmars Revision: 772662 upgpkg: idris 1.3.3-122: rebuild with vector-algorithms 0.8.0.4 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-07 Thread Felix Yan via arch-commits
Date: Monday, December 7, 2020 @ 23:22:53 Author: felixonmars Revision: 771724 upgpkg: idris 1.3.3-121: rebuild with strict 0.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)

2020-12-06 Thread Felix Yan via arch-commits
Date: Sunday, December 6, 2020 @ 19:53:24 Author: felixonmars Revision: 771151 upgpkg: idris 1.3.3-120: rebuild with wai-extra 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)

2020-12-05 Thread Felix Yan via arch-commits
Date: Saturday, December 5, 2020 @ 13:46:03 Author: felixonmars Revision: 770583 upgpkg: idris 1.3.3-119: rebuild with time-compat 1.9.5 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-03 Thread Felix Yan via arch-commits
Date: Thursday, December 3, 2020 @ 12:03:59 Author: felixonmars Revision: 769451 upgpkg: idris 1.3.3-118: rebuild with criterion 1.5.9.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-02 Thread Felix Yan via arch-commits
Date: Thursday, December 3, 2020 @ 00:44:44 Author: felixonmars Revision: 769397 upgpkg: idris 1.3.3-117: rebuild with criterion 1.5.9.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-30 Thread Felix Yan via arch-commits
Date: Tuesday, December 1, 2020 @ 00:04:37 Author: felixonmars Revision: 766887 upgpkg: idris 1.3.3-116: rebuild with network 3.1.2.1 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-28 Thread Felix Yan via arch-commits
Date: Saturday, November 28, 2020 @ 21:39:17 Author: felixonmars Revision: 766111 upgpkg: idris 1.3.3-115: rebuild with wai-extra 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)

2020-11-28 Thread Felix Yan via arch-commits
Date: Saturday, November 28, 2020 @ 14:00:03 Author: felixonmars Revision: 765248 upgpkg: idris 1.3.3-114: rebuild with unbounded-delays 0.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)

2020-11-26 Thread Felix Yan via arch-commits
Date: Thursday, November 26, 2020 @ 15:22:59 Author: felixonmars Revision: 763574 upgpkg: idris 1.3.3-113: rebuild with criterion 1.5.8.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-25 Thread Felix Yan via arch-commits
Date: Wednesday, November 25, 2020 @ 18:31:21 Author: felixonmars Revision: 761187 upgpkg: idris 1.3.3-112: rebuild with conduit 1.3.4 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-23 Thread Felix Yan via arch-commits
Date: Monday, November 23, 2020 @ 13:11:26 Author: felixonmars Revision: 759914 upgpkg: idris 1.3.3-111: rebuild with optparse-applicative 0.16.1.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-20 Thread Felix Yan via arch-commits
Date: Friday, November 20, 2020 @ 20:38:09 Author: felixonmars Revision: 758092 upgpkg: idris 1.3.3-110: rebuild with base64-bytestring 1.2.0.1 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-18 Thread Felix Yan via arch-commits
Date: Wednesday, November 18, 2020 @ 23:58:34 Author: felixonmars Revision: 757318 upgpkg: idris 1.3.3-109: rebuild with http-client 0.7.3 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-17 Thread Felix Yan via arch-commits
Date: Tuesday, November 17, 2020 @ 19:35:26 Author: felixonmars Revision: 756859 upgpkg: idris 1.3.3-108: rebuild with iproute 1.7.10 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-16 Thread Felix Yan via arch-commits
Date: Tuesday, November 17, 2020 @ 05:57:45 Author: felixonmars Revision: 755977 upgpkg: idris 1.3.3-107: rebuild with QuickCheck 2.14.2, quickcheck-instances 0.3.25.1 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2020-11-10 Thread Felix Yan via arch-commits
Date: Tuesday, November 10, 2020 @ 16:28:24 Author: felixonmars Revision: 749624 upgpkg: idris 1.3.3-106: rebuild with cryptonite +tests enabled Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-08 Thread Felix Yan via arch-commits
Date: Sunday, November 8, 2020 @ 16:42:06 Author: felixonmars Revision: 746679 upgpkg: idris 1.3.3-105: rebuild with wai-extra 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)

2020-11-08 Thread Felix Yan via arch-commits
Date: Sunday, November 8, 2020 @ 11:23:59 Author: felixonmars Revision: 746491 upgpkg: idris 1.3.3-104: rebuild with uniplate 1.6.13 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-07 Thread Felix Yan via arch-commits
Date: Sunday, November 8, 2020 @ 00:22:05 Author: felixonmars Revision: 746427 upgpkg: idris 1.3.3-103: rebuild with tasty-rerun 1.1.18 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-07 Thread Felix Yan via arch-commits
Date: Saturday, November 7, 2020 @ 18:59:23 Author: felixonmars Revision: 745929 upgpkg: idris 1.3.3-102: rebuild with integer-logarithms 1.0.3.1 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-06 Thread Felix Yan via arch-commits
Date: Friday, November 6, 2020 @ 20:56:48 Author: felixonmars Revision: 744573 upgpkg: idris 1.3.3-101: rebuild with splitmix 0.1.0.3 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-04 Thread Felix Yan via arch-commits
Date: Wednesday, November 4, 2020 @ 19:41:05 Author: felixonmars Revision: 742566 upgpkg: idris 1.3.3-100: rebuild with quickcheck-instances 0.3.25 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-04 Thread Felix Yan via arch-commits
Date: Wednesday, November 4, 2020 @ 11:29:52 Author: felixonmars Revision: 741908 upgpkg: idris 1.3.3-99: rebuild with time-compat 1.9.4 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-03 Thread Felix Yan via arch-commits
Date: Tuesday, November 3, 2020 @ 20:46:36 Author: felixonmars Revision: 741352 upgpkg: idris 1.3.3-98: rebuild with foldl 1.4.10 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-03 Thread Felix Yan via arch-commits
Date: Tuesday, November 3, 2020 @ 08:54:22 Author: felixonmars Revision: 740443 upgpkg: idris 1.3.3-97: rebuild with HUnit 1.6.1.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-01 Thread Felix Yan via arch-commits
Date: Sunday, November 1, 2020 @ 10:51:15 Author: felixonmars Revision: 738826 upgpkg: idris 1.3.3-96: rebuild with hinotify 0.4.1 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-10-31 Thread Felix Yan via arch-commits
Date: Sunday, November 1, 2020 @ 01:55:26 Author: felixonmars Revision: 738083 upgpkg: idris 1.3.3-95: rebuild with unliftio 0.2.13.1 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-10-28 Thread Felix Yan via arch-commits
Date: Wednesday, October 28, 2020 @ 23:38:49 Author: felixonmars Revision: 736441 upgpkg: idris 1.3.3-94: rebuild with shelly 1.9.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-10-28 Thread Felix Yan via arch-commits
Date: Wednesday, October 28, 2020 @ 20:09:28 Author: felixonmars Revision: 735669 upgpkg: idris 1.3.3-93: rebuild with optparse-applicative 0.16.0.0, optparse-generic 1.4.3, turtle 1.5.21 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |6 +++--- 1 file changed, 3

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

2020-10-25 Thread Felix Yan via arch-commits
Date: Sunday, October 25, 2020 @ 21:14:20 Author: felixonmars Revision: 733003 upgpkg: idris 1.3.3-92: rebuild with bifunctors 5.5.8 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-10-23 Thread Felix Yan via arch-commits
Date: Friday, October 23, 2020 @ 21:50:13 Author: felixonmars Revision: 730919 upgpkg: idris 1.3.3-91: rebuild with generic-deriving 1.14 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-10-22 Thread Felix Yan via arch-commits
Date: Thursday, October 22, 2020 @ 21:25:21 Author: felixonmars Revision: 730159 upgpkg: idris 1.3.3-90: rebuild with profunctors 5.6 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-10-22 Thread Felix Yan via arch-commits
Date: Thursday, October 22, 2020 @ 18:44:47 Author: felixonmars Revision: 729382 upgpkg: idris 1.3.3-89: rebuild with splitmix 0.1.0.2 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-10-19 Thread Felix Yan via arch-commits
Date: Monday, October 19, 2020 @ 21:48:12 Author: felixonmars Revision: 727359 upgpkg: idris 1.3.3-88: rebuild with conduit 1.3.3 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-10-18 Thread Felix Yan via arch-commits
Date: Sunday, October 18, 2020 @ 13:38:54 Author: felixonmars Revision: 726015 upgpkg: idris 1.3.3-87: rebuild with th-abstraction 0.4.0.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-10-10 Thread Felix Yan via arch-commits
Date: Saturday, October 10, 2020 @ 09:54:18 Author: felixonmars Revision: 723044 upgpkg: idris 1.3.3-86: rebuild with unordered-containers 0.2.13.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-10-09 Thread Felix Yan via arch-commits
Date: Friday, October 9, 2020 @ 09:56:55 Author: felixonmars Revision: 722328 upgpkg: idris 1.3.3-85: rebuild with http-date 0.0.10 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-10-08 Thread Felix Yan via arch-commits
Date: Thursday, October 8, 2020 @ 21:01:35 Author: felixonmars Revision: 722000 upgpkg: idris 1.3.3-84: rebuild with criterion 1.5.7.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-10-07 Thread Felix Yan via arch-commits
Date: Wednesday, October 7, 2020 @ 19:46:23 Author: felixonmars Revision: 720907 upgpkg: idris 1.3.3-83: rebuild with base-compat 0.11.2, base-compat-batteries 0.11.2 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2020-10-06 Thread Felix Yan via arch-commits
Date: Tuesday, October 6, 2020 @ 18:07:56 Author: felixonmars Revision: 719427 upgpkg: idris 1.3.3-82: rebuild with wai-extra 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)

2020-10-05 Thread Felix Yan via arch-commits
Date: Monday, October 5, 2020 @ 19:17:25 Author: felixonmars Revision: 718930 upgpkg: idris 1.3.3-81: rebuild with aeson 1.5.4.1 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-10-04 Thread Felix Yan via arch-commits
Date: Sunday, October 4, 2020 @ 18:30:21 Author: felixonmars Revision: 717834 upgpkg: idris 1.3.3-80: rebuild with transformers-compat 0.6.6 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-10-02 Thread Felix Yan via arch-commits
Date: Friday, October 2, 2020 @ 21:26:35 Author: felixonmars Revision: 715714 upgpkg: idris 1.3.3-79: rebuild with base-orphans 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)

2020-09-28 Thread Felix Yan via arch-commits
Date: Tuesday, September 29, 2020 @ 01:15:43 Author: felixonmars Revision: 713646 upgpkg: idris 1.3.3-78: rebuild with fast-logger 3.0.2 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-09-28 Thread Felix Yan via arch-commits
Date: Monday, September 28, 2020 @ 21:29:23 Author: felixonmars Revision: 713388 upgpkg: idris 1.3.3-77: rebuild with foldl 1.4.9 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-09-28 Thread Felix Yan via arch-commits
Date: Monday, September 28, 2020 @ 13:20:29 Author: felixonmars Revision: 712998 upgpkg: idris 1.3.3-76: rebuild with network-byte-order 0.1.6 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-09-27 Thread Felix Yan via arch-commits
Date: Sunday, September 27, 2020 @ 15:32:53 Author: felixonmars Revision: 712696 upgpkg: idris 1.3.3-75: rebuild with wai-extra 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)

2020-09-25 Thread Felix Yan via arch-commits
Date: Friday, September 25, 2020 @ 18:43:04 Author: felixonmars Revision: 712196 upgpkg: idris 1.3.3-74: rebuild with http-date 0.0.9 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-09-21 Thread Felix Yan via arch-commits
Date: Monday, September 21, 2020 @ 20:20:38 Author: felixonmars Revision: 711312 upgpkg: idris 1.3.3-73: rebuild with wai-extra 3.0.32 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-09-20 Thread Felix Yan via arch-commits
Date: Sunday, September 20, 2020 @ 10:46:12 Author: felixonmars Revision: 711015 upgpkg: idris 1.3.3-72: rebuild with wai-extra 3.0.31 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-09-18 Thread Felix Yan via arch-commits
Date: Friday, September 18, 2020 @ 12:26:02 Author: felixonmars Revision: 710022 upgpkg: idris 1.3.3-71: rebuild with hspec 2.7.4, hspec-core 2.7.4, hspec-discover 2.7.4 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2020-09-17 Thread Felix Yan via arch-commits
Date: Thursday, September 17, 2020 @ 10:36:21 Author: felixonmars Revision: 708622 upgpkg: idris 1.3.3-70: rebuild with wai-extra 3.0.30 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-09-16 Thread Felix Yan via arch-commits
Date: Wednesday, September 16, 2020 @ 21:53:17 Author: felixonmars Revision: 708382 upgpkg: idris 1.3.3-69: rebuild with HTTP 4000.3.15 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-09-16 Thread Felix Yan via arch-commits
Date: Wednesday, September 16, 2020 @ 11:19:21 Author: felixonmars Revision: 707398 upgpkg: idris 1.3.3-68: rebuild with quickcheck-classes-base 0.6.1.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-09-13 Thread Felix Yan via arch-commits
Date: Sunday, September 13, 2020 @ 20:34:41 Author: felixonmars Revision: 705256 upgpkg: idris 1.3.3-67: rebuild with ansi-terminal 0.11 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD

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

2020-09-11 Thread Felix Yan via arch-commits
Date: Saturday, September 12, 2020 @ 02:28:17 Author: felixonmars Revision: 703084 upgpkg: idris 1.3.3-66: rebuild with mwc-random 0.15.0.1 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-09-07 Thread Felix Yan via arch-commits
Date: Tuesday, September 8, 2020 @ 01:20:54 Author: felixonmars Revision: 700594 upgpkg: idris 1.3.3-65: rebuild with hspec 2.7.3, hspec-core 2.7.3, hspec-discover 2.7.3 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2020-09-04 Thread Felix Yan via arch-commits
Date: Saturday, September 5, 2020 @ 02:50:14 Author: felixonmars Revision: 698857 upgpkg: idris 1.3.3-64: rebuild with tasty-expected-failure 0.12.1 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-09-03 Thread Felix Yan via arch-commits
Date: Friday, September 4, 2020 @ 00:58:40 Author: felixonmars Revision: 697838 upgpkg: idris 1.3.3-63: rebuild with mwc-random 0.15.0.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-09-01 Thread Felix Yan via arch-commits
Date: Tuesday, September 1, 2020 @ 22:40:06 Author: felixonmars Revision: 696057 upgpkg: idris 1.3.3-62: rebuild with aeson 1.5.4.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-09-01 Thread Felix Yan via arch-commits
Date: Tuesday, September 1, 2020 @ 15:45:18 Author: felixonmars Revision: 695595 upgpkg: idris 1.3.3-61: rebuild with conduit 1.3.2.1 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-31 Thread Felix Yan via arch-commits
Date: Monday, August 31, 2020 @ 20:53:20 Author: felixonmars Revision: 694411 upgpkg: idris 1.3.3-60: rebuild with happy 1.20.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-28 Thread Felix Yan via arch-commits
Date: Saturday, August 29, 2020 @ 04:17:35 Author: felixonmars Revision: 691532 upgpkg: idris 1.3.3-59: rebuild with logict 0.7.0.3 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-26 Thread Felix Yan via arch-commits
Date: Thursday, August 27, 2020 @ 00:25:19 Author: felixonmars Revision: 689214 upgpkg: idris 1.3.3-58: rebuild with random 1.2.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-23 Thread Felix Yan via arch-commits
Date: Monday, August 24, 2020 @ 02:41:42 Author: felixonmars Revision: 687497 upgpkg: idris 1.3.3-57: rebuild with http-client 0.7.2.1 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-23 Thread Felix Yan via arch-commits
Date: Sunday, August 23, 2020 @ 19:53:46 Author: felixonmars Revision: 687203 upgpkg: idris 1.3.3-56: rebuild with base64-bytestring 1.2.0.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD

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

2020-08-21 Thread Felix Yan via arch-commits
Date: Friday, August 21, 2020 @ 22:11:16 Author: felixonmars Revision: 686517 upgpkg: idris 1.3.3-55: rebuild with http-client 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)

2020-08-21 Thread Felix Yan via arch-commits
Date: Friday, August 21, 2020 @ 14:49:23 Author: felixonmars Revision: 686071 upgpkg: idris 1.3.3-54: rebuild with dlist 1.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-20 Thread Felix Yan via arch-commits
Date: Thursday, August 20, 2020 @ 09:14:11 Author: felixonmars Revision: 685336 upgpkg: idris 1.3.3-53: rebuild with tasty-expected-failure 0.12 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-18 Thread Felix Yan via arch-commits
Date: Tuesday, August 18, 2020 @ 14:59:58 Author: felixonmars Revision: 683962 upgpkg: idris 1.3.3-52: rebuild with ghc 8.10.2 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-16 Thread Felix Yan via arch-commits
Date: Sunday, August 16, 2020 @ 21:29:41 Author: felixonmars Revision: 681943 upgpkg: idris 1.3.3-51: rebuild with lifted-async 0.10.1.2 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-16 Thread Felix Yan via arch-commits
Date: Sunday, August 16, 2020 @ 10:06:42 Author: felixonmars Revision: 680905 upgpkg: idris 1.3.3-50: rebuild with math-functions 0.3.4.1 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-15 Thread Felix Yan via arch-commits
Date: Saturday, August 15, 2020 @ 08:15:21 Author: felixonmars Revision: 679492 upgpkg: idris 1.3.3-49: rebuild with aeson 1.5.3.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-14 Thread Felix Yan via arch-commits
Date: Friday, August 14, 2020 @ 08:44:22 Author: felixonmars Revision: 678520 upgpkg: idris 1.3.3-48: rebuild with hspec 2.7.2, hspec-core 2.7.2, hspec-discover 2.7.2 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2020-08-13 Thread Felix Yan via arch-commits
Date: Thursday, August 13, 2020 @ 08:08:01 Author: felixonmars Revision: 676984 upgpkg: idris 1.3.3-47: rebuild with quickcheck-instances 0.3.24 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-12 Thread Felix Yan via arch-commits
Date: Wednesday, August 12, 2020 @ 10:08:29 Author: felixonmars Revision: 675727 upgpkg: idris 1.3.3-46: rebuild with splitmix 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)

2020-08-10 Thread Felix Yan via arch-commits
Date: Monday, August 10, 2020 @ 21:04:18 Author: felixonmars Revision: 674165 upgpkg: idris 1.3.3-45: rebuild with optics-th 0.3.0.1 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-10 Thread Felix Yan via arch-commits
Date: Monday, August 10, 2020 @ 11:44:19 Author: felixonmars Revision: 673627 upgpkg: idris 1.3.3-44: rebuild with streaming-commons 0.2.2.1 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-09 Thread Felix Yan via arch-commits
Date: Sunday, August 9, 2020 @ 10:34:48 Author: felixonmars Revision: 673106 upgpkg: idris 1.3.3-43: rebuild with network 3.1.2.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD

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

2020-08-08 Thread Felix Yan via arch-commits
Date: Saturday, August 8, 2020 @ 18:14:02 Author: felixonmars Revision: 672580 upgpkg: idris 1.3.3-42: rebuild with these 1.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)

2020-08-08 Thread Felix Yan via arch-commits
Date: Saturday, August 8, 2020 @ 10:30:18 Author: felixonmars Revision: 672078 upgpkg: idris 1.3.3-41: rebuild with lifted-async 0.10.1.1 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-07 Thread Felix Yan via arch-commits
Date: Friday, August 7, 2020 @ 11:17:08 Author: felixonmars Revision: 671494 upgpkg: idris 1.3.3-40: rebuild with foldl 1.4.8 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-06 Thread Felix Yan via arch-commits
Date: Thursday, August 6, 2020 @ 15:39:07 Author: felixonmars Revision: 671039 upgpkg: idris 1.3.3-39: rebuild with streaming-commons 0.2.2.0 Modified: idris/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

  1   2   3   4   5   6   7   8   >