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

2020-08-06 Thread Felix Yan via arch-commits
Date: Thursday, August 6, 2020 @ 07:08:39 Author: felixonmars Revision: 670571 upgpkg: cryptol 2.9.0-9: rebuild with hedgehog 1.0.3 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-05 Thread Felix Yan via arch-commits
Date: Wednesday, August 5, 2020 @ 16:23:36 Author: felixonmars Revision: 669647 upgpkg: cryptol 2.9.0-8: rebuild with unordered-containers 0.2.12.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-04 Thread Felix Yan via arch-commits
Date: Tuesday, August 4, 2020 @ 07:01:37 Author: felixonmars Revision: 668699 upgpkg: cryptol 2.9.0-7: rebuild with zlib 0.6.2.2 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-03 Thread Felix Yan via arch-commits
Date: Monday, August 3, 2020 @ 14:39:39 Author: felixonmars Revision: 668396 upgpkg: cryptol 2.9.0-6: rebuild with these 1.1.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-03 Thread Felix Yan via arch-commits
Date: Monday, August 3, 2020 @ 06:52:56 Author: felixonmars Revision: 668011 upgpkg: cryptol 2.9.0-5: rebuild with ghc-lib-parser-ex 8.10.0.15 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-02 Thread Felix Yan via arch-commits
Date: Sunday, August 2, 2020 @ 21:17:44 Author: felixonmars Revision: 667883 upgpkg: cryptol 2.9.0-4: rebuild with blaze-markup 0.8.2.7 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-02 Thread Felix Yan via arch-commits
Date: Sunday, August 2, 2020 @ 14:05:01 Author: felixonmars Revision: 667709 upgpkg: cryptol 2.9.0-3: rebuild with Glob 0.10.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-01 Thread Felix Yan via arch-commits
Date: Saturday, August 1, 2020 @ 15:43:30 Author: felixonmars Revision: 667502 upgpkg: cryptol 2.9.0-2: rebuild with QuickCheck 2.14.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-07-30 Thread Felix Yan via arch-commits
Date: Thursday, July 30, 2020 @ 20:28:51 Author: felixonmars Revision: 665980 upgpkg: cryptol 2.9.0-1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD | 27 ++- 1 file changed, 10 insertions(+), 17 deletions(-) Modified: PKGBUILD

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

2020-07-15 Thread Felix Yan via arch-commits
Date: Wednesday, July 15, 2020 @ 08:32:19 Author: felixonmars Revision: 663848 upgpkg: cryptol 2.8.0-157: rebuild with simple-smt 0.9.5 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-07-01 Thread Felix Yan via arch-commits
Date: Wednesday, July 1, 2020 @ 17:31:22 Author: felixonmars Revision: 657387 upgpkg: cryptol 2.8.0-156: rebuild with sbv 8.7 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-29 Thread Felix Yan via arch-commits
Date: Monday, June 29, 2020 @ 18:55:24 Author: felixonmars Revision: 656433 upgpkg: cryptol 2.8.0-155: rebuild with primitive 0.7.1.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-27 Thread Felix Yan via arch-commits
Date: Saturday, June 27, 2020 @ 07:40:42 Author: felixonmars Revision: 654640 upgpkg: cryptol 2.8.0-154: rebuild with ChasingBottoms 1.3.1.9 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-26 Thread Felix Yan via arch-commits
Date: Friday, June 26, 2020 @ 11:32:27 Author: felixonmars Revision: 653898 upgpkg: cryptol 2.8.0-152: rebuild with resourcet 1.2.4.2 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-24 Thread Felix Yan via arch-commits
Date: Thursday, June 25, 2020 @ 00:07:35 Author: felixonmars Revision: 652624 upgpkg: cryptol 2.8.0-151: rebuild with splitmix 0.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-20 Thread Felix Yan via arch-commits
Date: Saturday, June 20, 2020 @ 14:14:39 Author: felixonmars Revision: 648581 upgpkg: cryptol 2.8.0-150: rebuild with hlint 3.1.5 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-20 Thread Felix Yan via arch-commits
Date: Saturday, June 20, 2020 @ 12:50:33 Author: felixonmars Revision: 648402 upgpkg: cryptol 2.8.0-149: rebuild with base16-bytestring 0.1.1.7 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-19 Thread Felix Yan via arch-commits
Date: Friday, June 19, 2020 @ 21:48:47 Author: felixonmars Revision: 647952 upgpkg: cryptol 2.8.0-148: rebuild with foldl 1.4.7 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-18 Thread Felix Yan via arch-commits
Date: Thursday, June 18, 2020 @ 10:35:56 Author: felixonmars Revision: 646965 upgpkg: cryptol 2.8.0-147: rebuild with unordered-containers 0.2.11.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

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

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

2020-06-15 Thread Felix Yan via arch-commits
Date: Monday, June 15, 2020 @ 13:15:08 Author: felixonmars Revision: 645111 upgpkg: cryptol 2.8.0-145: rebuild with aeson 1.5.2.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-15 Thread Felix Yan via arch-commits
Date: Monday, June 15, 2020 @ 07:09:36 Author: felixonmars Revision: 644808 upgpkg: cryptol 2.8.0-144: rebuild with ghc-lib-parser-ex 8.10.0.14 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-14 Thread Felix Yan via arch-commits
Date: Sunday, June 14, 2020 @ 13:00:07 Author: felixonmars Revision: 644131 upgpkg: cryptol 2.8.0-143: rebuild with splitmix 0.0.5 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-13 Thread Felix Yan via arch-commits
Date: Saturday, June 13, 2020 @ 18:37:20 Author: felixonmars Revision: 642930 upgpkg: cryptol 2.8.0-142: rebuild with ghc-lib-parser-ex 8.10.0.13 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-10 Thread Felix Yan via arch-commits
Date: Wednesday, June 10, 2020 @ 17:16:33 Author: felixonmars Revision: 641820 upgpkg: cryptol 2.8.0-141: rebuild with hlint 3.1.4 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-10 Thread Felix Yan via arch-commits
Date: Wednesday, June 10, 2020 @ 14:26:53 Author: felixonmars Revision: 641500 upgpkg: cryptol 2.8.0-140: rebuild with doctest 0.17 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-09 Thread Felix Yan via arch-commits
Date: Tuesday, June 9, 2020 @ 19:52:18 Author: felixonmars Revision: 640901 upgpkg: cryptol 2.8.0-139: rebuild with ghc-lib-parser-ex 8.10.0.12 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-08 Thread Felix Yan via arch-commits
Date: Tuesday, June 9, 2020 @ 05:06:52 Author: felixonmars Revision: 640665 upgpkg: cryptol 2.8.0-138: rebuild with hlint 3.1.3 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-08 Thread Felix Yan via arch-commits
Date: Monday, June 8, 2020 @ 11:43:40 Author: felixonmars Revision: 640559 upgpkg: cryptol 2.8.0-137: rebuild with hlint 3.1.2 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-08 Thread Felix Yan via arch-commits
Date: Monday, June 8, 2020 @ 07:46:16 Author: felixonmars Revision: 640365 upgpkg: cryptol 2.8.0-136: rebuild with resourcet 1.2.4.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-07 Thread Felix Yan via arch-commits
Date: Sunday, June 7, 2020 @ 10:36:13 Author: felixonmars Revision: 639925 upgpkg: cryptol 2.8.0-135: rebuild with ghc-lib-parser-ex 8.10.0.11 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-07 Thread Felix Yan via arch-commits
Date: Sunday, June 7, 2020 @ 07:40:36 Author: felixonmars Revision: 639711 upgpkg: cryptol 2.8.0-134: rebuild with tasty-golden 2.3.4 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-05 Thread Felix Yan via arch-commits
Date: Saturday, June 6, 2020 @ 04:00:56 Author: felixonmars Revision: 639256 upgpkg: cryptol 2.8.0-133: rebuild with ghc-lib-parser-ex 8.10.0.10 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-04 Thread Felix Yan via arch-commits
Date: Thursday, June 4, 2020 @ 08:47:59 Author: felixonmars Revision: 638866 upgpkg: cryptol 2.8.0-132: rebuild with ghc-lib-parser-ex 8.10.0.9 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-03 Thread Felix Yan via arch-commits
Date: Wednesday, June 3, 2020 @ 16:48:16 Author: felixonmars Revision: 638332 upgpkg: cryptol 2.8.0-131: rebuild with ghc-lib-parser-ex 8.10.0.8 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-02 Thread Felix Yan via arch-commits
Date: Tuesday, June 2, 2020 @ 13:30:13 Author: felixonmars Revision: 638060 upgpkg: cryptol 2.8.0-130: rebuild with ghc-lib-parser-ex 8.10.0.7 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-06-01 Thread Felix Yan via arch-commits
Date: Monday, June 1, 2020 @ 16:35:11 Author: felixonmars Revision: 637861 upgpkg: cryptol 2.8.0-129: rebuild with hlint 3.1.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-05-31 Thread Felix Yan via arch-commits
Date: Sunday, May 31, 2020 @ 12:49:29 Author: felixonmars Revision: 637674 upgpkg: cryptol 2.8.0-128: rebuild with hlint 3.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-05-31 Thread Felix Yan via arch-commits
Date: Sunday, May 31, 2020 @ 07:21:44 Author: felixonmars Revision: 637610 upgpkg: cryptol 2.8.0-127: rebuild with extra 1.7.3 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-05-30 Thread Felix Yan via arch-commits
Date: Saturday, May 30, 2020 @ 16:31:08 Author: felixonmars Revision: 637461 upgpkg: cryptol 2.8.0-126: rebuild with ghc-lib-parser-ex 8.10.0.6 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-05-28 Thread Felix Yan via arch-commits
Date: Thursday, May 28, 2020 @ 21:20:36 Author: felixonmars Revision: 636752 upgpkg: cryptol 2.8.0-125: rebuild with aeson 1.5.1.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-05-27 Thread Felix Yan via arch-commits
Date: Wednesday, May 27, 2020 @ 09:51:36 Author: felixonmars Revision: 635863 upgpkg: cryptol 2.8.0-124: rebuild with hlint 3.0.4 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-05-26 Thread Felix Yan via arch-commits
Date: Wednesday, May 27, 2020 @ 00:56:40 Author: felixonmars Revision: 635613 upgpkg: cryptol 2.8.0-123: rebuild with quickcheck-instances 0.3.23 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-05-26 Thread Felix Yan via arch-commits
Date: Tuesday, May 26, 2020 @ 19:35:21 Author: felixonmars Revision: 635242 upgpkg: cryptol 2.8.0-122: rebuild with hlint 3.0.3 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-05-25 Thread Felix Yan via arch-commits
Date: Monday, May 25, 2020 @ 19:15:10 Author: felixonmars Revision: 634927 upgpkg: cryptol 2.8.0-121: rebuild with extra 1.7.2 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-05-25 Thread Felix Yan via arch-commits
Date: Monday, May 25, 2020 @ 16:11:36 Author: felixonmars Revision: 634632 upgpkg: cryptol 2.8.0-120: rebuild with aeson 1.5.0.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-05-25 Thread Felix Yan via arch-commits
Date: Monday, May 25, 2020 @ 06:48:20 Author: felixonmars Revision: 633894 upgpkg: cryptol 2.8.0-119: rebuild with safe 0.3.19 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-05-24 Thread Felix Yan via arch-commits
Date: Sunday, May 24, 2020 @ 18:12:43 Author: felixonmars Revision: 633578 upgpkg: cryptol 2.8.0-118: rebuild with hlint 3.0.2 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-05-24 Thread Felix Yan via arch-commits
Date: Sunday, May 24, 2020 @ 16:23:46 Author: felixonmars Revision: 632980 upgpkg: cryptol 2.8.0-117: rebuild with tasty 1.3.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-05-22 Thread Felix Yan via arch-commits
Date: Friday, May 22, 2020 @ 19:04:15 Author: felixonmars Revision: 631653 upgpkg: cryptol 2.8.0-116: rebuild with hlint 3.0.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-05-21 Thread Felix Yan via arch-commits
Date: Thursday, May 21, 2020 @ 16:57:17 Author: felixonmars Revision: 631333 upgpkg: cryptol 2.8.0-115: rebuild with unliftio 0.2.13 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-05-21 Thread Felix Yan via arch-commits
Date: Thursday, May 21, 2020 @ 07:25:17 Author: felixonmars Revision: 631060 upgpkg: cryptol 2.8.0-114: rebuild with hlint 3.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-05-20 Thread Felix Yan via arch-commits
Date: Wednesday, May 20, 2020 @ 17:44:36 Author: felixonmars Revision: 630909 upgpkg: cryptol 2.8.0-113: rebuild with ghc-lib-parser-ex 8.10.0.5 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-05-19 Thread Felix Yan via arch-commits
Date: Tuesday, May 19, 2020 @ 23:07:51 Author: felixonmars Revision: 630332 upgpkg: cryptol 2.8.0-112: rebuild with tasty-golden 2.3.3.3 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD

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

2020-05-18 Thread Felix Yan via arch-commits
Date: Monday, May 18, 2020 @ 18:49:42 Author: felixonmars Revision: 629630 upgpkg: cryptol 2.8.0-111: rebuild with file-embed 0.0.12.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-05-17 Thread Felix Yan via arch-commits
Date: Sunday, May 17, 2020 @ 22:53:35 Author: felixonmars Revision: 629112 upgpkg: cryptol 2.8.0-110: rebuild with math-functions 0.3.4.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-05-13 Thread Felix Yan via arch-commits
Date: Wednesday, May 13, 2020 @ 13:11:51 Author: felixonmars Revision: 627670 upgpkg: cryptol 2.8.0-109: rebuild with tasty 1.3 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-05-07 Thread Felix Yan via arch-commits
Date: Thursday, May 7, 2020 @ 14:15:49 Author: felixonmars Revision: 625401 upgpkg: cryptol 2.8.0-108: rebuild with yaml 0.11.4.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-05-07 Thread Felix Yan via arch-commits
Date: Thursday, May 7, 2020 @ 06:18:51 Author: felixonmars Revision: 625276 upgpkg: cryptol 2.8.0-107: rebuild with ghc-lib-parser-ex 8.10.0.4 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-05-02 Thread Felix Yan via arch-commits
Date: Sunday, May 3, 2020 @ 02:34:55 Author: felixonmars Revision: 624547 upgpkg: cryptol 2.8.0-106: rebuild with ghc-lib-parser-ex 8.10.0.3 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-05-01 Thread Felix Yan via arch-commits
Date: Friday, May 1, 2020 @ 18:57:03 Author: felixonmars Revision: 624184 upgpkg: cryptol 2.8.0-105: rebuild with ghc-lib-parser-ex 8.10.0.2 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-04-30 Thread Felix Yan via arch-commits
Date: Friday, May 1, 2020 @ 04:18:11 Author: felixonmars Revision: 623675 upgpkg: cryptol 2.8.0-104: rebuild with tasty-golden 2.3.3.2 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-04-25 Thread Felix Yan via arch-commits
Date: Saturday, April 25, 2020 @ 08:44:22 Author: felixonmars Revision: 619841 upgpkg: cryptol 2.8.0-103: 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: cryptol/trunk/PKGBUILD --+ PKGBUILD |7

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

2020-04-20 Thread Felix Yan via arch-commits
Date: Tuesday, April 21, 2020 @ 00:22:27 Author: felixonmars Revision: 617124 upgpkg: cryptol 2.8.0-102: rebuild with blaze-markup 0.8.2.5 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-04-19 Thread Felix Yan via arch-commits
Date: Monday, April 20, 2020 @ 00:27:59 Author: felixonmars Revision: 616815 upgpkg: cryptol 2.8.0-101: rebuild with resourcet 1.2.4 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-04-17 Thread Felix Yan via arch-commits
Date: Friday, April 17, 2020 @ 19:50:18 Author: felixonmars Revision: 615770 upgpkg: cryptol 2.8.0-100: rebuild with distributive 0.6.2 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-04-15 Thread Felix Yan via arch-commits
Date: Wednesday, April 15, 2020 @ 11:38:48 Author: felixonmars Revision: 614669 upgpkg: cryptol 2.8.0-99: rebuild with warp tasty-golden 2.3.3.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-04-08 Thread Evangelos Foutras via arch-commits
Date: Wednesday, April 8, 2020 @ 22:51:29 Author: foutrelis Revision: 612802 libffi 3.3 rebuild Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-04-04 Thread Felix Yan via arch-commits
Date: Saturday, April 4, 2020 @ 19:46:50 Author: felixonmars Revision: 611694 upgpkg: cryptol 2.8.0-97: rebuild with ghc-lib-parser-ex 8.8.6.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-04-03 Thread Felix Yan via arch-commits
Date: Friday, April 3, 2020 @ 20:27:20 Author: felixonmars Revision: 611219 upgpkg: cryptol 2.8.0-96: rebuild with cpphs 1.20.9.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-04-03 Thread Felix Yan via arch-commits
Date: Friday, April 3, 2020 @ 17:35:54 Author: felixonmars Revision: 610967 upgpkg: cryptol 2.8.0-95: rebuild with dlist 0.8.0.8 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-04-02 Thread Felix Yan via arch-commits
Date: Thursday, April 2, 2020 @ 12:10:09 Author: felixonmars Revision: 609555 upgpkg: cryptol 2.8.0-94: rebuild with QuickCheck 2.14 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-31 Thread Felix Yan via arch-commits
Date: Tuesday, March 31, 2020 @ 06:05:08 Author: felixonmars Revision: 607654 upgpkg: cryptol 2.8.0-93: rebuild with doctest 0.16.3 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-29 Thread Felix Yan via arch-commits
Date: Sunday, March 29, 2020 @ 23:25:49 Author: felixonmars Revision: 606644 upgpkg: cryptol 2.8.0-92: rebuild with ChasingBottoms 1.3.1.8 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-29 Thread Felix Yan via arch-commits
Date: Sunday, March 29, 2020 @ 13:00:20 Author: felixonmars Revision: 605909 upgpkg: cryptol 2.8.0-91: rebuild with blaze-markup 0.8.2.4 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-28 Thread Felix Yan via arch-commits
Date: Saturday, March 28, 2020 @ 22:11:12 Author: felixonmars Revision: 605599 upgpkg: cryptol 2.8.0-90: rebuild with attoparsec 0.13.2.4 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-26 Thread Felix Yan via arch-commits
Date: Thursday, March 26, 2020 @ 21:53:28 Author: felixonmars Revision: 604756 upgpkg: cryptol 2.8.0-89: rebuild with aeson 1.4.7.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-21 Thread Felix Yan via arch-commits
Date: Saturday, March 21, 2020 @ 12:49:08 Author: felixonmars Revision: 602567 upgpkg: cryptol 2.8.0-88: rebuild with haskell-src-exts 1.23.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-20 Thread Felix Yan via arch-commits
Date: Friday, March 20, 2020 @ 14:50:32 Author: felixonmars Revision: 601725 upgpkg: cryptol 2.8.0-87: rebuild with aeson 1.4.7.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-19 Thread Felix Yan via arch-commits
Date: Thursday, March 19, 2020 @ 21:50:05 Author: felixonmars Revision: 601250 upgpkg: cryptol 2.8.0-86: rebuild with conduit 1.3.2 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-19 Thread Felix Yan via arch-commits
Date: Thursday, March 19, 2020 @ 11:12:04 Author: felixonmars Revision: 600821 upgpkg: cryptol 2.8.0-85: rebuild with ghc-lib-parser-ex 8.8.5.8 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-18 Thread Felix Yan via arch-commits
Date: Wednesday, March 18, 2020 @ 18:57:01 Author: felixonmars Revision: 600648 upgpkg: cryptol 2.8.0-84: rebuild with ghc-lib-parser-ex 8.8.5.7 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-16 Thread Felix Yan via arch-commits
Date: Monday, March 16, 2020 @ 14:28:07 Author: felixonmars Revision: 599751 upgpkg: cryptol 2.8.0-83: rebuild with ghc-lib-parser-ex 8.8.5.6 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-15 Thread Felix Yan via arch-commits
Date: Monday, March 16, 2020 @ 02:57:17 Author: felixonmars Revision: 599049 upgpkg: cryptol 2.8.0-82: rebuild with hashable 1.3.0.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-14 Thread Felix Yan via arch-commits
Date: Sunday, March 15, 2020 @ 00:46:29 Author: felixonmars Revision: 597528 upgpkg: cryptol 2.8.0-81: rebuild with StateVar 1.2 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-14 Thread Felix Yan via arch-commits
Date: Saturday, March 14, 2020 @ 20:08:58 Author: felixonmars Revision: 597151 upgpkg: cryptol 2.8.0-80: rebuild with extra 1.7.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-14 Thread Felix Yan via arch-commits
Date: Saturday, March 14, 2020 @ 13:54:16 Author: felixonmars Revision: 596969 upgpkg: cryptol 2.8.0-79: rebuild with ghc-lib-parser-ex 8.8.5.5 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-14 Thread Felix Yan via arch-commits
Date: Saturday, March 14, 2020 @ 12:11:04 Author: felixonmars Revision: 596711 upgpkg: cryptol 2.8.0-78: rebuild with time-compat 1.9.3 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-13 Thread Felix Yan via arch-commits
Date: Friday, March 13, 2020 @ 10:10:15 Author: felixonmars Revision: 595740 upgpkg: cryptol 2.8.0-77: rebuild with extra 1.7 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-12 Thread Felix Yan via arch-commits
Date: Thursday, March 12, 2020 @ 19:27:55 Author: felixonmars Revision: 595522 upgpkg: cryptol 2.8.0-76: rebuild with ghc-lib-parser-ex 8.8.5.4 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-11 Thread Felix Yan via arch-commits
Date: Thursday, March 12, 2020 @ 03:55:31 Author: felixonmars Revision: 595038 upgpkg: cryptol 2.8.0-75: rebuild with generic-deriving 1.13.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-10 Thread Felix Yan via arch-commits
Date: Tuesday, March 10, 2020 @ 20:49:17 Author: felixonmars Revision: 593929 upgpkg: cryptol 2.8.0-74: rebuild with yaml 0.11.3.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-10 Thread Felix Yan via arch-commits
Date: Tuesday, March 10, 2020 @ 15:42:30 Author: felixonmars Revision: 593659 upgpkg: cryptol 2.8.0-73: rebuild with unliftio-core 0.2.0.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-08 Thread Felix Yan via arch-commits
Date: Sunday, March 8, 2020 @ 23:40:04 Author: felixonmars Revision: 592693 upgpkg: cryptol 2.8.0-72: rebuild with generic-deriving 1.13 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-08 Thread Felix Yan via arch-commits
Date: Sunday, March 8, 2020 @ 09:55:10 Author: felixonmars Revision: 591617 upgpkg: cryptol 2.8.0-71: rebuild with unliftio-core 0.2.0.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-06 Thread Felix Yan via arch-commits
Date: Friday, March 6, 2020 @ 13:37:49 Author: felixonmars Revision: 590979 upgpkg: cryptol 2.8.0-70: rebuild with ghc-lib-parser-ex 8.8.5.3 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-05 Thread Felix Yan via arch-commits
Date: Thursday, March 5, 2020 @ 15:19:47 Author: felixonmars Revision: 590750 upgpkg: cryptol 2.8.0-69: rebuild with extra 1.6.21 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-04 Thread Felix Yan via arch-commits
Date: Wednesday, March 4, 2020 @ 20:59:19 Author: felixonmars Revision: 590523 upgpkg: cryptol 2.8.0-68: rebuild with unliftio 0.2.12.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-03 Thread Felix Yan via arch-commits
Date: Tuesday, March 3, 2020 @ 20:36:09 Author: felixonmars Revision: 589839 upgpkg: cryptol 2.8.0-67: rebuild with ghc-lib-parser-ex 8.8.5.2 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-03-03 Thread Felix Yan via arch-commits
Date: Tuesday, March 3, 2020 @ 11:00:26 Author: felixonmars Revision: 589599 upgpkg: cryptol 2.8.0-66: rebuild with resourcet 1.2.3 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

<    1   2   3   4   5   6   >