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

2020-12-28 Thread Felix Yan via arch-commits
Date: Monday, December 28, 2020 @ 13:52:24 Author: felixonmars Revision: 794946 upgpkg: cryptol 2.10.0-25: rebuild with indexed-traversable 0.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-12-26 Thread Felix Yan via arch-commits
Date: Saturday, December 26, 2020 @ 23:19:21 Author: felixonmars Revision: 793216 upgpkg: cryptol 2.10.0-24: rebuild with hedgehog 1.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-12-25 Thread Felix Yan via arch-commits
Date: Saturday, December 26, 2020 @ 05:19:58 Author: felixonmars Revision: 791981 upgpkg: cryptol 2.10.0-23: rebuild with tasty-quickcheck 0.10.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-12-25 Thread Felix Yan via arch-commits
Date: Friday, December 25, 2020 @ 10:31:00 Author: felixonmars Revision: 790025 upgpkg: cryptol 2.10.0-22: rebuild with comonad 5.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-12-24 Thread Felix Yan via arch-commits
Date: Thursday, December 24, 2020 @ 15:03:32 Author: felixonmars Revision: 788214 upgpkg: cryptol 2.10.0-21: rebuild with base16-bytestring 1.0.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-12-24 Thread Felix Yan via arch-commits
Date: Thursday, December 24, 2020 @ 12:31:07 Author: felixonmars Revision: 787162 upgpkg: cryptol 2.10.0-20: rebuild with ghc 8.10.3 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-23 Thread Felix Yan via arch-commits
Date: Wednesday, December 23, 2020 @ 19:34:43 Author: felixonmars Revision: 785149 upgpkg: cryptol 2.10.0-19: rebuild with ghc-lib-parser-ex 8.10.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-12-23 Thread Felix Yan via arch-commits
Date: Wednesday, December 23, 2020 @ 18:46:50 Author: felixonmars Revision: 785079 upgpkg: cryptol 2.10.0-18: rebuild with extra 1.7.9 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-23 Thread Felix Yan via arch-commits
Date: Wednesday, December 23, 2020 @ 12:28:33 Author: felixonmars Revision: 784191 upgpkg: cryptol 2.10.0-17: rebuild with tasty-smallcheck 0.8.2 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-12-22 Thread Felix Yan via arch-commits
Date: Tuesday, December 22, 2020 @ 18:06:31 Author: felixonmars Revision: 782704 upgpkg: cryptol 2.10.0-16: rebuild with megaparsec 9.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-12-22 Thread Felix Yan via arch-commits
Date: Tuesday, December 22, 2020 @ 12:11:48 Author: felixonmars Revision: 781953 upgpkg: cryptol 2.10.0-15: rebuild with tasty-hunit 0.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-12-18 Thread Felix Yan via arch-commits
Date: Friday, December 18, 2020 @ 20:18:02 Author: felixonmars Revision: 779542 upgpkg: cryptol 2.10.0-14: rebuild with free 5.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-12-18 Thread Felix Yan via arch-commits
Date: Friday, December 18, 2020 @ 15:07:18 Author: felixonmars Revision: 778703 upgpkg: cryptol 2.10.0-13: rebuild with th-abstraction 0.4.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-12-16 Thread Felix Yan via arch-commits
Date: Wednesday, December 16, 2020 @ 12:32:41 Author: felixonmars Revision: 776658 upgpkg: cryptol 2.10.0-12: rebuild with megaparsec 9.0.0, hspec-megaparsec 2.2.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified:

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

2020-12-15 Thread Felix Yan via arch-commits
Date: Tuesday, December 15, 2020 @ 20:34:04 Author: felixonmars Revision: 776178 upgpkg: cryptol 2.10.0-11: rebuild with base16-bytestring 1.0.0.0, casa-types 0.0.2 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

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

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

2020-12-09 Thread Felix Yan via arch-commits
Date: Wednesday, December 9, 2020 @ 09:54:56 Author: felixonmars Revision: 772389 upgpkg: cryptol 2.10.0-9: rebuild with vector-algorithms 0.8.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-12-08 Thread Felix Yan via arch-commits
Date: Tuesday, December 8, 2020 @ 19:22:41 Author: felixonmars Revision: 772024 upgpkg: cryptol 2.10.0-8: rebuild with strict 0.4.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-12-04 Thread Felix Yan via arch-commits
Date: Saturday, December 5, 2020 @ 00:56:18 Author: felixonmars Revision: 770339 upgpkg: cryptol 2.10.0-7: rebuild with time-compat 1.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-12-04 Thread Felix Yan via arch-commits
Date: Friday, December 4, 2020 @ 08:39:57 Author: felixonmars Revision: 769894 upgpkg: cryptol 2.10.0-6: rebuild with hlint 3.2.3 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-30 Thread Felix Yan via arch-commits
Date: Monday, November 30, 2020 @ 21:49:11 Author: felixonmars Revision: 766773 upgpkg: cryptol 2.10.0-5: rebuild with network 3.1.2.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-28 Thread Felix Yan via arch-commits
Date: Saturday, November 28, 2020 @ 09:58:52 Author: felixonmars Revision: 765062 upgpkg: cryptol 2.10.0-4: rebuild with unbounded-delays 0.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-11-25 Thread Felix Yan via arch-commits
Date: Thursday, November 26, 2020 @ 04:17:41 Author: felixonmars Revision: 761421 upgpkg: cryptol 2.10.0-3: rebuild with conduit 1.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-11-23 Thread Felix Yan via arch-commits
Date: Monday, November 23, 2020 @ 17:36:10 Author: felixonmars Revision: 760040 upgpkg: cryptol 2.10.0-2: rebuild with optparse-applicative 0.16.1.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

[arch-commits] Commit in cryptol/trunk (PKGBUILD sbv-8.8.patch)

2020-11-21 Thread Felix Yan via arch-commits
Date: Saturday, November 21, 2020 @ 12:36:31 Author: felixonmars Revision: 758479 upgpkg: cryptol 2.10.0-1 Added: cryptol/trunk/sbv-8.8.patch Modified: cryptol/trunk/PKGBUILD ---+ PKGBUILD | 22 +++- sbv-8.8.patch | 101

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

2020-11-17 Thread Felix Yan via arch-commits
Date: Tuesday, November 17, 2020 @ 13:28:02 Author: felixonmars Revision: 756767 upgpkg: cryptol 2.9.1-44: rebuild with hlint 3.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-11-16 Thread Felix Yan via arch-commits
Date: Tuesday, November 17, 2020 @ 06:44:59 Author: felixonmars Revision: 756015 upgpkg: cryptol 2.9.1-43: rebuild with QuickCheck 2.14.2, quickcheck-instances 0.3.25.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2020-11-08 Thread Felix Yan via arch-commits
Date: Sunday, November 8, 2020 @ 11:41:13 Author: felixonmars Revision: 746507 upgpkg: cryptol 2.9.1-42: rebuild with uniplate 1.6.13 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-07 Thread Felix Yan via arch-commits
Date: Saturday, November 7, 2020 @ 14:47:20 Author: felixonmars Revision: 745820 upgpkg: cryptol 2.9.1-41: rebuild with integer-logarithms 1.0.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-11-06 Thread Felix Yan via arch-commits
Date: Friday, November 6, 2020 @ 19:15:32 Author: felixonmars Revision: 744525 upgpkg: cryptol 2.9.1-40: rebuild with splitmix 0.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-11-04 Thread Felix Yan via arch-commits
Date: Wednesday, November 4, 2020 @ 17:44:08 Author: felixonmars Revision: 742452 upgpkg: cryptol 2.9.1-39: rebuild with quickcheck-instances 0.3.25 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-04 Thread Felix Yan via arch-commits
Date: Wednesday, November 4, 2020 @ 14:20:09 Author: felixonmars Revision: 742046 upgpkg: cryptol 2.9.1-38: rebuild with time-compat 1.9.4 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-03 Thread Felix Yan via arch-commits
Date: Tuesday, November 3, 2020 @ 19:28:24 Author: felixonmars Revision: 741263 upgpkg: cryptol 2.9.1-37: rebuild with foldl 1.4.10 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-11-03 Thread Felix Yan via arch-commits
Date: Tuesday, November 3, 2020 @ 10:08:54 Author: felixonmars Revision: 740525 upgpkg: cryptol 2.9.1-36: rebuild with HUnit 1.6.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-10-31 Thread Felix Yan via arch-commits
Date: Sunday, November 1, 2020 @ 02:31:34 Author: felixonmars Revision: 738133 upgpkg: cryptol 2.9.1-35: rebuild with unliftio 0.2.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-10-28 Thread Felix Yan via arch-commits
Date: Wednesday, October 28, 2020 @ 11:11:40 Author: felixonmars Revision: 735425 upgpkg: cryptol 2.9.1-34: rebuild with optparse-applicative 0.16.0.0, optparse-generic 1.4.3, turtle 1.5.21 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1

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

2020-10-25 Thread Felix Yan via arch-commits
Date: Sunday, October 25, 2020 @ 23:54:18 Author: felixonmars Revision: 733736 upgpkg: cryptol 2.9.1-33: rebuild with free 5.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-10-25 Thread Felix Yan via arch-commits
Date: Sunday, October 25, 2020 @ 14:35:16 Author: felixonmars Revision: 732683 upgpkg: cryptol 2.9.1-32: rebuild with bifunctors 5.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-10-24 Thread Felix Yan via arch-commits
Date: Saturday, October 24, 2020 @ 09:48:33 Author: felixonmars Revision: 731142 upgpkg: cryptol 2.9.1-31: rebuild with generic-deriving 1.14 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-10-23 Thread Felix Yan via arch-commits
Date: Friday, October 23, 2020 @ 09:47:21 Author: felixonmars Revision: 730645 upgpkg: cryptol 2.9.1-30: rebuild with deriving-compat 0.5.10 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-10-22 Thread Felix Yan via arch-commits
Date: Thursday, October 22, 2020 @ 23:54:35 Author: felixonmars Revision: 730369 upgpkg: cryptol 2.9.1-29: rebuild with profunctors 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-10-22 Thread Felix Yan via arch-commits
Date: Thursday, October 22, 2020 @ 18:29:17 Author: felixonmars Revision: 729375 upgpkg: cryptol 2.9.1-28: rebuild with splitmix 0.1.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-10-19 Thread Felix Yan via arch-commits
Date: Monday, October 19, 2020 @ 21:28:43 Author: felixonmars Revision: 727349 upgpkg: cryptol 2.9.1-27: rebuild with conduit 1.3.3 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-10-18 Thread Felix Yan via arch-commits
Date: Sunday, October 18, 2020 @ 23:28:23 Author: felixonmars Revision: 726934 upgpkg: cryptol 2.9.1-26: rebuild with invariant 0.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-10-18 Thread Felix Yan via arch-commits
Date: Sunday, October 18, 2020 @ 13:19:33 Author: felixonmars Revision: 726009 upgpkg: cryptol 2.9.1-25: rebuild with th-abstraction 0.4.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-10-15 Thread Felix Yan via arch-commits
Date: Thursday, October 15, 2020 @ 17:43:53 Author: felixonmars Revision: 724214 upgpkg: cryptol 2.9.1-24: rebuild with hlint 3.2.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-10-14 Thread Felix Yan via arch-commits
Date: Wednesday, October 14, 2020 @ 21:19:45 Author: felixonmars Revision: 724001 upgpkg: cryptol 2.9.1-23: rebuild with tasty-ant-xml 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-10-10 Thread Felix Yan via arch-commits
Date: Saturday, October 10, 2020 @ 09:38:30 Author: felixonmars Revision: 723024 upgpkg: cryptol 2.9.1-22: rebuild with unordered-containers 0.2.13.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-10-07 Thread Felix Yan via arch-commits
Date: Wednesday, October 7, 2020 @ 19:31:10 Author: felixonmars Revision: 720899 upgpkg: cryptol 2.9.1-21: rebuild with base-compat 0.11.2, base-compat-batteries 0.11.2 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2020-10-05 Thread Felix Yan via arch-commits
Date: Monday, October 5, 2020 @ 22:13:18 Author: felixonmars Revision: 719192 upgpkg: cryptol 2.9.1-20: rebuild with kan-extensions 5.2.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-10-05 Thread Felix Yan via arch-commits
Date: Monday, October 5, 2020 @ 19:01:32 Author: felixonmars Revision: 718920 upgpkg: cryptol 2.9.1-19: rebuild with aeson 1.5.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-10-04 Thread Felix Yan via arch-commits
Date: Sunday, October 4, 2020 @ 18:14:14 Author: felixonmars Revision: 717828 upgpkg: cryptol 2.9.1-18: rebuild with transformers-compat 0.6.6 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-10-02 Thread Felix Yan via arch-commits
Date: Friday, October 2, 2020 @ 21:11:07 Author: felixonmars Revision: 715702 upgpkg: cryptol 2.9.1-17: rebuild with base-orphans 0.8.3 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-09-29 Thread Felix Yan via arch-commits
Date: Tuesday, September 29, 2020 @ 20:12:22 Author: felixonmars Revision: 713813 upgpkg: cryptol 2.9.1-16: rebuild with th-lift 0.8.2 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-09-28 Thread Felix Yan via arch-commits
Date: Monday, September 28, 2020 @ 21:13:31 Author: felixonmars Revision: 713380 upgpkg: cryptol 2.9.1-15: rebuild with foldl 1.4.9 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-09-24 Thread Felix Yan via arch-commits
Date: Thursday, September 24, 2020 @ 14:38:38 Author: felixonmars Revision: 711829 upgpkg: cryptol 2.9.1-14: rebuild with parameterized-utils 2.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-09-24 Thread Felix Yan via arch-commits
Date: Thursday, September 24, 2020 @ 14:22:06 Author: felixonmars Revision: 711816 upgpkg: cryptol 2.9.1-13: rebuild with FloatingHex 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-09-24 Thread Felix Yan via arch-commits
Date: Thursday, September 24, 2020 @ 13:32:58 Author: felixonmars Revision: 711750 upgpkg: cryptol 2.9.1-12: rebuild with file-embed 0.0.13.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-09-18 Thread Felix Yan via arch-commits
Date: Saturday, September 19, 2020 @ 01:34:03 Author: felixonmars Revision: 710835 upgpkg: cryptol 2.9.1-11: rebuild with hashtables 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-09-18 Thread Felix Yan via arch-commits
Date: Friday, September 18, 2020 @ 12:09:34 Author: felixonmars Revision: 710016 upgpkg: cryptol 2.9.1-10: rebuild with hspec 2.7.4, hspec-core 2.7.4, hspec-discover 2.7.4 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2020-09-16 Thread Felix Yan via arch-commits
Date: Wednesday, September 16, 2020 @ 16:03:49 Author: felixonmars Revision: 708135 upgpkg: cryptol 2.9.1-9: rebuild with extra 1.7.8 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-09-16 Thread Felix Yan via arch-commits
Date: Wednesday, September 16, 2020 @ 14:15:53 Author: felixonmars Revision: 708039 upgpkg: cryptol 2.9.1-8: rebuild with crackNum 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-09-16 Thread Felix Yan via arch-commits
Date: Wednesday, September 16, 2020 @ 11:03:37 Author: felixonmars Revision: 707390 upgpkg: cryptol 2.9.1-7: rebuild with quickcheck-classes-base 0.6.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-09-14 Thread Felix Yan via arch-commits
Date: Monday, September 14, 2020 @ 12:27:13 Author: felixonmars Revision: 705978 upgpkg: cryptol 2.9.1-6: switch to sbv8.7 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD

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

2020-09-13 Thread Felix Yan via arch-commits
Date: Sunday, September 13, 2020 @ 20:15:59 Author: felixonmars Revision: 705241 upgpkg: cryptol 2.9.1-5: rebuild with ansi-terminal 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-09-11 Thread Felix Yan via arch-commits
Date: Saturday, September 12, 2020 @ 02:05:35 Author: felixonmars Revision: 703078 upgpkg: cryptol 2.9.1-4: rebuild with mwc-random 0.15.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-09-08 Thread Felix Yan via arch-commits
Date: Tuesday, September 8, 2020 @ 23:29:47 Author: felixonmars Revision: 701434 upgpkg: cryptol 2.9.1-3: rebuild with hashtables 1.2.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-09-08 Thread Felix Yan via arch-commits
Date: Tuesday, September 8, 2020 @ 22:26:51 Author: felixonmars Revision: 701396 upgpkg: cryptol 2.9.1-2: rebuild with FloatingHex 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-09-08 Thread Felix Yan via arch-commits
Date: Tuesday, September 8, 2020 @ 21:14:53 Author: felixonmars Revision: 701330 upgpkg: cryptol 2.9.1-1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) Modified: PKGBUILD

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

2020-09-08 Thread Felix Yan via arch-commits
Date: Tuesday, September 8, 2020 @ 15:40:09 Author: felixonmars Revision: 701261 upgpkg: cryptol 2.9.0-40: rebuild with io-streams 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-09-07 Thread Felix Yan via arch-commits
Date: Tuesday, September 8, 2020 @ 00:59:14 Author: felixonmars Revision: 700588 upgpkg: cryptol 2.9.0-39: rebuild with hspec 2.7.3, hspec-core 2.7.3, hspec-discover 2.7.3 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2020-09-04 Thread Felix Yan via arch-commits
Date: Saturday, September 5, 2020 @ 01:55:39 Author: felixonmars Revision: 698821 upgpkg: cryptol 2.9.0-38: rebuild with tasty-expected-failure 0.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-09-03 Thread Felix Yan via arch-commits
Date: Friday, September 4, 2020 @ 00:38:06 Author: felixonmars Revision: 697832 upgpkg: cryptol 2.9.0-37: rebuild with mwc-random 0.15.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-09-01 Thread Felix Yan via arch-commits
Date: Tuesday, September 1, 2020 @ 22:19:46 Author: felixonmars Revision: 696051 upgpkg: cryptol 2.9.0-36: rebuild with aeson 1.5.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-09-01 Thread Felix Yan via arch-commits
Date: Tuesday, September 1, 2020 @ 15:24:10 Author: felixonmars Revision: 695589 upgpkg: cryptol 2.9.0-35: rebuild with conduit 1.3.2.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-09-01 Thread Felix Yan via arch-commits
Date: Tuesday, September 1, 2020 @ 10:32:32 Author: felixonmars Revision: 695352 upgpkg: cryptol 2.9.0-34: rebuild with bv-sized 1.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-08-31 Thread Felix Yan via arch-commits
Date: Monday, August 31, 2020 @ 20:32:20 Author: felixonmars Revision: 694403 upgpkg: cryptol 2.9.0-33: rebuild with happy 1.20.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-29 Thread Felix Yan via arch-commits
Date: Saturday, August 29, 2020 @ 22:12:55 Author: felixonmars Revision: 692287 upgpkg: cryptol 2.9.0-32: rebuild with extra 1.7.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-28 Thread Felix Yan via arch-commits
Date: Saturday, August 29, 2020 @ 03:55:55 Author: felixonmars Revision: 691526 upgpkg: cryptol 2.9.0-31: rebuild with logict 0.7.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-26 Thread Felix Yan via arch-commits
Date: Thursday, August 27, 2020 @ 00:06:17 Author: felixonmars Revision: 689208 upgpkg: cryptol 2.9.0-30: rebuild with random 1.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-08-22 Thread Felix Yan via arch-commits
Date: Saturday, August 22, 2020 @ 20:57:31 Author: felixonmars Revision: 686848 upgpkg: cryptol 2.9.0-29: rebuild with extra 1.7.6 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-21 Thread Felix Yan via arch-commits
Date: Friday, August 21, 2020 @ 14:28:20 Author: felixonmars Revision: 686063 upgpkg: cryptol 2.9.0-28: rebuild with dlist 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-08-20 Thread Felix Yan via arch-commits
Date: Thursday, August 20, 2020 @ 16:37:42 Author: felixonmars Revision: 685574 upgpkg: cryptol 2.9.0-27: rebuild with yaml 0.11.5.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-20 Thread Felix Yan via arch-commits
Date: Thursday, August 20, 2020 @ 08:12:20 Author: felixonmars Revision: 685290 upgpkg: cryptol 2.9.0-26: rebuild with tasty-expected-failure 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-08-18 Thread Felix Yan via arch-commits
Date: Tuesday, August 18, 2020 @ 14:34:58 Author: felixonmars Revision: 683954 upgpkg: cryptol 2.9.0-25: rebuild with ghc 8.10.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-16 Thread Felix Yan via arch-commits
Date: Sunday, August 16, 2020 @ 20:40:47 Author: felixonmars Revision: 681903 upgpkg: cryptol 2.9.0-24: rebuild with lifted-async 0.10.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-08-16 Thread Felix Yan via arch-commits
Date: Sunday, August 16, 2020 @ 09:44:35 Author: felixonmars Revision: 680899 upgpkg: cryptol 2.9.0-23: rebuild with math-functions 0.3.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-08-15 Thread Felix Yan via arch-commits
Date: Saturday, August 15, 2020 @ 09:43:03 Author: felixonmars Revision: 679668 upgpkg: cryptol 2.9.0-22: rebuild with ghc-lib-parser-ex 8.10.0.16 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-15 Thread Felix Yan via arch-commits
Date: Saturday, August 15, 2020 @ 07:51:30 Author: felixonmars Revision: 679486 upgpkg: cryptol 2.9.0-21: rebuild with aeson 1.5.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-08-14 Thread Felix Yan via arch-commits
Date: Friday, August 14, 2020 @ 08:25:33 Author: felixonmars Revision: 678514 upgpkg: cryptol 2.9.0-20: rebuild with hspec 2.7.2, hspec-core 2.7.2, hspec-discover 2.7.2 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2020-08-13 Thread Felix Yan via arch-commits
Date: Thursday, August 13, 2020 @ 07:49:18 Author: felixonmars Revision: 676978 upgpkg: cryptol 2.9.0-19: rebuild with quickcheck-instances 0.3.24 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-12 Thread Felix Yan via arch-commits
Date: Wednesday, August 12, 2020 @ 15:24:35 Author: felixonmars Revision: 676417 upgpkg: cryptol 2.9.0-18: rebuild with extra 1.7.5 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-12 Thread Felix Yan via arch-commits
Date: Wednesday, August 12, 2020 @ 09:36:13 Author: felixonmars Revision: 675715 upgpkg: cryptol 2.9.0-17: rebuild with splitmix 0.1.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-08-10 Thread Felix Yan via arch-commits
Date: Monday, August 10, 2020 @ 20:42:41 Author: felixonmars Revision: 674155 upgpkg: cryptol 2.9.0-16: rebuild with optics-th 0.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-08-09 Thread Felix Yan via arch-commits
Date: Monday, August 10, 2020 @ 03:57:52 Author: felixonmars Revision: 673327 upgpkg: cryptol 2.9.0-15: rebuild with strict 0.4 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD

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

2020-08-08 Thread Felix Yan via arch-commits
Date: Sunday, August 9, 2020 @ 04:54:44 Author: felixonmars Revision: 673024 upgpkg: cryptol 2.9.0-14: rebuild with network 3.1.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-08-08 Thread Felix Yan via arch-commits
Date: Saturday, August 8, 2020 @ 17:53:25 Author: felixonmars Revision: 672574 upgpkg: cryptol 2.9.0-13: rebuild with these 1.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-08 Thread Felix Yan via arch-commits
Date: Saturday, August 8, 2020 @ 09:36:05 Author: felixonmars Revision: 672040 upgpkg: cryptol 2.9.0-12: rebuild with lifted-async 0.10.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-07 Thread Felix Yan via arch-commits
Date: Friday, August 7, 2020 @ 21:28:18 Author: felixonmars Revision: 671777 upgpkg: cryptol 2.9.0-11: rebuild with extra 1.7.4 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-08-07 Thread Felix Yan via arch-commits
Date: Friday, August 7, 2020 @ 10:50:08 Author: felixonmars Revision: 671486 upgpkg: cryptol 2.9.0-10: rebuild with foldl 1.4.8 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

  1   2   3   4   5   6   >