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

2020-03-02 Thread Felix Yan via arch-commits
Date: Monday, March 2, 2020 @ 19:14:41 Author: felixonmars Revision: 588696 upgpkg: cryptol 2.8.0-65: rebuild with primitive 0.7.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-02-29 Thread Felix Yan via arch-commits
Date: Saturday, February 29, 2020 @ 22:14:54 Author: felixonmars Revision: 587205 upgpkg: cryptol 2.8.0-64: rebuild with logict 0.7.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-02-29 Thread Felix Yan via arch-commits
Date: Saturday, February 29, 2020 @ 11:31:39 Author: felixonmars Revision: 586834 upgpkg: cryptol 2.8.0-63: rebuild with filepattern 0.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-02-28 Thread Felix Yan via arch-commits
Date: Friday, February 28, 2020 @ 21:05:44 Author: felixonmars Revision: 586693 upgpkg: cryptol 2.8.0-62: rebuild with file-embed 0.0.11.2 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-02-28 Thread Felix Yan via arch-commits
Date: Friday, February 28, 2020 @ 13:58:42 Author: felixonmars Revision: 585850 upgpkg: cryptol 2.8.0-61: rebuild with ghc-lib-parser-ex 8.8.5.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-02-28 Thread Felix Yan via arch-commits
Date: Friday, February 28, 2020 @ 08:05:50 Author: felixonmars Revision: 584954 upgpkg: cryptol 2.8.0-60: rebuild with ghc 8.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-02-26 Thread Felix Yan via arch-commits
Date: Wednesday, February 26, 2020 @ 18:38:56 Author: felixonmars Revision: 583068 upgpkg: cryptol 2.8.0-59: rebuild with cpphs 1.20.9 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-02-26 Thread Felix Yan via arch-commits
Date: Wednesday, February 26, 2020 @ 15:52:26 Author: felixonmars Revision: 582982 upgpkg: cryptol 2.8.0-58: rebuild with ghc-lib-parser-ex 8.8.5.0, hlint 2.2.11 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified:

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

2020-02-26 Thread Felix Yan via arch-commits
Date: Wednesday, February 26, 2020 @ 12:49:08 Author: felixonmars Revision: 582407 upgpkg: cryptol 2.8.0-57: rebuild with splitmix 0.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-02-25 Thread Felix Yan via arch-commits
Date: Tuesday, February 25, 2020 @ 10:24:19 Author: felixonmars Revision: 580976 upgpkg: cryptol 2.8.0-56: rebuild with haskell-src-exts 1.22.0, haskell-src-meta 0.8.4 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2020-02-23 Thread Felix Yan via arch-commits
Date: Sunday, February 23, 2020 @ 22:40:26 Author: felixonmars Revision: 580122 upgpkg: cryptol 2.8.0-55: rebuild with split 0.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-02-23 Thread Felix Yan via arch-commits
Date: Sunday, February 23, 2020 @ 11:13:26 Author: felixonmars Revision: 579687 upgpkg: cryptol 2.8.0-54: rebuild with ghc-lib-parser-ex 8.8.4.0, hlint 2.2.10 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified:

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

2020-02-23 Thread Felix Yan via arch-commits
Date: Sunday, February 23, 2020 @ 09:24:52 Author: felixonmars Revision: 579512 upgpkg: cryptol 2.8.0-53: rebuild with logict 0.7.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-02-22 Thread Felix Yan via arch-commits
Date: Saturday, February 22, 2020 @ 13:15:53 Author: felixonmars Revision: 578506 upgpkg: cryptol 2.8.0-52: rebuild with pretty-show 1.10 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-02-21 Thread Felix Yan via arch-commits
Date: Saturday, February 22, 2020 @ 06:52:33 Author: felixonmars Revision: 578194 upgpkg: cryptol 2.8.0-51: rebuild with ghc-lib-parser-ex 8.8.3.0, hlint 2.2.8 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified:

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

2020-02-21 Thread Felix Yan via arch-commits
Date: Saturday, February 22, 2020 @ 03:47:14 Author: felixonmars Revision: 577948 upgpkg: cryptol 2.8.0-50: rebuild with tasty-golden 2.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-02-21 Thread Felix Yan via arch-commits
Date: Friday, February 21, 2020 @ 13:47:24 Author: felixonmars Revision: 577538 upgpkg: cryptol 2.8.0-49: rebuild with hlint 2.2.8 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) Modified: PKGBUILD

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

2020-02-20 Thread Felix Yan via arch-commits
Date: Thursday, February 20, 2020 @ 18:40:44 Author: felixonmars Revision: 577305 upgpkg: cryptol 2.8.0-48: rebuild with hlint 2.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-02-20 Thread Felix Yan via arch-commits
Date: Thursday, February 20, 2020 @ 11:29:16 Author: felixonmars Revision: 577094 upgpkg: cryptol 2.8.0-47: rebuild with logict 0.7.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-02-19 Thread Felix Yan via arch-commits
Date: Wednesday, February 19, 2020 @ 10:11:39 Author: felixonmars Revision: 576415 upgpkg: cryptol 2.8.0-46: rebuild with hlint 2.2.6 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-02-17 Thread Felix Yan via arch-commits
Date: Tuesday, February 18, 2020 @ 00:13:46 Author: felixonmars Revision: 575632 upgpkg: cryptol 2.8.0-45: rebuild with extra 1.6.20 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-02-17 Thread Felix Yan via arch-commits
Date: Monday, February 17, 2020 @ 22:36:15 Author: felixonmars Revision: 574824 upgpkg: cryptol 2.8.0-44: rebuild with hlint 2.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-02-17 Thread Felix Yan via arch-commits
Date: Monday, February 17, 2020 @ 20:47:18 Author: felixonmars Revision: 574615 upgpkg: cryptol 2.8.0-43: rebuild with tasty-golden 2.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-02-17 Thread Felix Yan via arch-commits
Date: Monday, February 17, 2020 @ 12:32:33 Author: felixonmars Revision: 574039 upgpkg: cryptol 2.8.0-42: rebuild with profunctors 5.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-02-16 Thread Felix Yan via arch-commits
Date: Sunday, February 16, 2020 @ 19:12:48 Author: felixonmars Revision: 572779 upgpkg: cryptol 2.8.0-41: rebuild with ghc 8.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-02-14 Thread Felix Yan via arch-commits
Date: Friday, February 14, 2020 @ 14:35:44 Author: felixonmars Revision: 571066 upgpkg: cryptol 2.8.0-40: rebuild with hlint 2.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-02-14 Thread Felix Yan via arch-commits
Date: Friday, February 14, 2020 @ 12:56:53 Author: felixonmars Revision: 571006 upgpkg: cryptol 2.8.0-39: rebuild with sbv 8.6 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-02-13 Thread Felix Yan via arch-commits
Date: Thursday, February 13, 2020 @ 12:05:05 Author: felixonmars Revision: 570140 upgpkg: cryptol 2.8.0-38: rebuild with doctest 0.16.2 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-02-12 Thread Felix Yan via arch-commits
Date: Wednesday, February 12, 2020 @ 18:06:31 Author: felixonmars Revision: 569571 upgpkg: cryptol 2.8.0-37: rebuild with extra 1.6.19 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-02-11 Thread Felix Yan via arch-commits
Date: Wednesday, February 12, 2020 @ 06:14:17 Author: felixonmars Revision: 568308 upgpkg: cryptol 2.8.0-36: rebuild with hlint 2.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-02-11 Thread Felix Yan via arch-commits
Date: Tuesday, February 11, 2020 @ 21:57:47 Author: felixonmars Revision: 568132 upgpkg: cryptol 2.8.0-35: rebuild with haskell-lexer 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-02-11 Thread Felix Yan via arch-commits
Date: Tuesday, February 11, 2020 @ 14:15:20 Author: felixonmars Revision: 567218 upgpkg: cryptol 2.8.0-34: rebuild with ansi-terminal 0.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-02-10 Thread Felix Yan via arch-commits
Date: Monday, February 10, 2020 @ 12:34:49 Author: felixonmars Revision: 565868 upgpkg: cryptol 2.8.0-33: rebuild with tasty-quickcheck 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-02-08 Thread Felix Yan via arch-commits
Date: Saturday, February 8, 2020 @ 21:18:18 Author: felixonmars Revision: 565008 upgpkg: cryptol 2.8.0-32: rebuild with th-abstraction 0.3.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-02-08 Thread Felix Yan via arch-commits
Date: Saturday, February 8, 2020 @ 14:52:00 Author: felixonmars Revision: 564614 upgpkg: cryptol 2.8.0-31: rebuild with libyaml 0.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-02-08 Thread Felix Yan via arch-commits
Date: Saturday, February 8, 2020 @ 12:26:03 Author: felixonmars Revision: 564076 upgpkg: cryptol 2.8.0-30: rebuild with vector 0.12.1.2, store 0.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-02-02 Thread Felix Yan via arch-commits
Date: Sunday, February 2, 2020 @ 17:45:15 Author: felixonmars Revision: 561754 upgpkg: cryptol 2.8.0-29: rebuild with math-functions 0.3.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-02-01 Thread Felix Yan via arch-commits
Date: Sunday, February 2, 2020 @ 07:55:00 Author: felixonmars Revision: 561380 upgpkg: cryptol 2.8.0-28: rebuild with bifunctors 5.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-01-30 Thread Felix Yan via arch-commits
Date: Friday, January 31, 2020 @ 01:14:40 Author: felixonmars Revision: 560535 upgpkg: cryptol 2.8.0-27: rebuild with cabal-doctest 1.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-01-29 Thread Felix Yan via arch-commits
Date: Thursday, January 30, 2020 @ 01:37:54 Author: felixonmars Revision: 559442 upgpkg: cryptol 2.8.0-26: rebuild with base-compat 0.11.1, base-compat-batteries 0.11.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2020-01-28 Thread Felix Yan via arch-commits
Date: Tuesday, January 28, 2020 @ 12:11:33 Author: felixonmars Revision: 557729 upgpkg: cryptol 2.8.0-25: rebuild with base-orphans 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-01-27 Thread Felix Yan via arch-commits
Date: Monday, January 27, 2020 @ 18:18:58 Author: felixonmars Revision: 556261 upgpkg: cryptol 2.8.0-24: rebuild with doctest 0.16.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2020-01-13 Thread Felix Yan via arch-commits
Date: Tuesday, January 14, 2020 @ 05:57:09 Author: felixonmars Revision: 552470 upgpkg: cryptol 2.8.0-23: rebuild with ghc 8.8.1, cabal-doctest 1.0.7, polyparse 1.13, primitive 0.7.0.0, regex-base 0.94.0.0, regex-pcre 0.95.0.0, regex-posix 0.96.0.0, regex-tdfa 1.3.1.0, easytest 0.3,

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

2020-01-04 Thread Felix Yan via arch-commits
Date: Sunday, January 5, 2020 @ 04:07:56 Author: felixonmars Revision: 548809 upgpkg: cryptol 2.8.0-22: rebuild with ansi-terminal 0.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-01-03 Thread Felix Yan via arch-commits
Date: Friday, January 3, 2020 @ 09:10:58 Author: felixonmars Revision: 547090 upgpkg: cryptol 2.8.0-21: rebuild with ansi-terminal 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)

2019-12-30 Thread Felix Yan via arch-commits
Date: Monday, December 30, 2019 @ 20:20:12 Author: felixonmars Revision: 544967 upgpkg: cryptol 2.8.0-20: rebuild with exceptions 0.10.4 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-12-27 Thread Felix Yan via arch-commits
Date: Friday, December 27, 2019 @ 23:39:12 Author: felixonmars Revision: 543452 upgpkg: cryptol 2.8.0-19: rebuild with mono-traversable 1.0.15.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-12-26 Thread Felix Yan via arch-commits
Date: Thursday, December 26, 2019 @ 18:21:10 Author: felixonmars Revision: 542792 upgpkg: cryptol 2.8.0-18: rebuild with semigroupoids 5.3.4 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-12-26 Thread Felix Yan via arch-commits
Date: Thursday, December 26, 2019 @ 13:00:08 Author: felixonmars Revision: 542464 upgpkg: cryptol 2.8.0-17: rebuild with mono-traversable 1.0.15.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-12-25 Thread Felix Yan via arch-commits
Date: Thursday, December 26, 2019 @ 01:01:18 Author: felixonmars Revision: 541712 upgpkg: cryptol 2.8.0-16: rebuild with tasty-hunit 0.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)

2019-12-24 Thread Felix Yan via arch-commits
Date: Tuesday, December 24, 2019 @ 17:52:16 Author: felixonmars Revision: 539988 upgpkg: cryptol 2.8.0-15: rebuild with pandoc 2.8, pandoc-types 1.20, doctemplates 0.7.1, HsYAML 0.2.1.0, haddock-library 1.8.0, texmath 0.12, base-compat 0.11.0, base-compat-batteries 0.11.0,

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

2019-12-18 Thread Felix Yan via arch-commits
Date: Wednesday, December 18, 2019 @ 22:02:42 Author: felixonmars Revision: 538239 upgpkg: cryptol 2.8.0-14 rebuild with conduit 1.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)

2019-12-12 Thread Felix Yan via arch-commits
Date: Thursday, December 12, 2019 @ 19:35:35 Author: felixonmars Revision: 537434 upgpkg: cryptol 2.8.0-13 rebuild with sbv 8.5 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-12-11 Thread Felix Yan via arch-commits
Date: Thursday, December 12, 2019 @ 04:18:53 Author: felixonmars Revision: 537185 upgpkg: cryptol 2.8.0-12 rebuild with profunctors 5.5.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-12-06 Thread Felix Yan via arch-commits
Date: Friday, December 6, 2019 @ 20:36:19 Author: felixonmars Revision: 536081 upgpkg: cryptol 2.8.0-11 rebuild with safe 0.3.18 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-12-05 Thread Felix Yan via arch-commits
Date: Thursday, December 5, 2019 @ 12:31:39 Author: felixonmars Revision: 535582 upgpkg: cryptol 2.8.0-10 rebuild with vector-algorithms 0.8.0.3 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-12-02 Thread Felix Yan via arch-commits
Date: Monday, December 2, 2019 @ 22:27:12 Author: felixonmars Revision: 534891 upgpkg: cryptol 2.8.0-9 rebuild with comonad 5.0.6 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-11-27 Thread Felix Yan via arch-commits
Date: Wednesday, November 27, 2019 @ 09:09:36 Author: felixonmars Revision: 533980 upgpkg: cryptol 2.8.0-8 rebuild with bifunctors 5.5.6 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-11-24 Thread Felix Yan via arch-commits
Date: Monday, November 25, 2019 @ 04:50:59 Author: felixonmars Revision: 533174 upgpkg: cryptol 2.8.0-7 rebuild with sbv 8.4 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-11-24 Thread Felix Yan via arch-commits
Date: Sunday, November 24, 2019 @ 13:28:22 Author: felixonmars Revision: 533006 upgpkg: cryptol 2.8.0-6 rebuild with libyaml 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)

2019-11-23 Thread Felix Yan via arch-commits
Date: Sunday, November 24, 2019 @ 07:31:05 Author: felixonmars Revision: 532639 upgpkg: cryptol 2.8.0-5 rebuild ChasingBottoms 1.3.1.7 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-11-21 Thread Felix Yan via arch-commits
Date: Thursday, November 21, 2019 @ 23:55:16 Author: felixonmars Revision: 531511 upgpkg: cryptol 2.8.0-4 rebuild with pcre-light 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)

2019-11-20 Thread Felix Yan via arch-commits
Date: Wednesday, November 20, 2019 @ 08:15:16 Author: felixonmars Revision: 530716 upgpkg: cryptol 2.8.0-3 rebuild with Diff 0.4.0, aeson 1.4.6.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-11-17 Thread Felix Yan via arch-commits
Date: Sunday, November 17, 2019 @ 16:47:42 Author: felixonmars Revision: 530052 upgpkg: cryptol 2.8.0-2 rebuild with blaze-markup 0.8.2.3 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-11-16 Thread Felix Yan via arch-commits
Date: Saturday, November 16, 2019 @ 15:52:15 Author: felixonmars Revision: 529530 upgpkg: cryptol 2.8.0-1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) Modified: PKGBUILD

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

2019-11-15 Thread Felix Yan via arch-commits
Date: Friday, November 15, 2019 @ 10:41:12 Author: felixonmars Revision: 529122 upgpkg: cryptol 2.7.0-47 rebuild with yaml 0.11.2.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-11-15 Thread Felix Yan via arch-commits
Date: Friday, November 15, 2019 @ 08:27:28 Author: felixonmars Revision: 528956 upgpkg: cryptol 2.7.0-46 rebuild with vector-builder 0.3.8 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-10-20 Thread Felix Yan via arch-commits
Date: Sunday, October 20, 2019 @ 08:52:23 Author: felixonmars Revision: 517668 upgpkg: cryptol 2.7.0-45 rebuild with blaze-html 0.9.1.2 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-10-20 Thread Felix Yan via arch-commits
Date: Sunday, October 20, 2019 @ 06:03:34 Author: felixonmars Revision: 517623 upgpkg: cryptol 2.7.0-44 rebuild with monadLib 3.10 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-10-18 Thread Felix Yan via arch-commits
Date: Friday, October 18, 2019 @ 22:39:01 Author: felixonmars Revision: 517231 upgpkg: cryptol 2.7.0-43 rebuild with distributive 0.6.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-10-13 Thread Felix Yan via arch-commits
Date: Monday, October 14, 2019 @ 05:24:13 Author: felixonmars Revision: 515534 upgpkg: cryptol 2.7.0-42 rebuild with vector-th-unbox 0.2.1.7 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-10-11 Thread Jelle van der Waa via arch-commits
Date: Friday, October 11, 2019 @ 20:49:26 Author: jelle Revision: 515185 upgpkg: cryptol 2.7.0-41 Enable PIE for cryptol binary Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD

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

2019-10-11 Thread Felix Yan via arch-commits
Date: Friday, October 11, 2019 @ 15:14:27 Author: felixonmars Revision: 514913 upgpkg: cryptol 2.7.0-40 rebuild with mono-traversable 1.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)

2019-10-07 Thread Felix Yan via arch-commits
Date: Monday, October 7, 2019 @ 17:34:51 Author: felixonmars Revision: 513943 upgpkg: cryptol 2.7.0-39 rebuild with haskell-src-exts 1.21.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-10-06 Thread Felix Yan via arch-commits
Date: Sunday, October 6, 2019 @ 14:40:49 Author: felixonmars Revision: 513410 upgpkg: cryptol 2.7.0-38 rebuild with happy 1.19.12 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-09-12 Thread Felix Yan via arch-commits
Date: Thursday, September 12, 2019 @ 23:35:57 Author: felixonmars Revision: 510022 upgpkg: cryptol 2.7.0-37 rebuild with math-functions 0.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)

2019-09-08 Thread Felix Yan via arch-commits
Date: Sunday, September 8, 2019 @ 07:30:02 Author: felixonmars Revision: 508835 upgpkg: cryptol 2.7.0-36 rebuild with profunctors 5.5 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-09-03 Thread Felix Yan via arch-commits
Date: Tuesday, September 3, 2019 @ 09:38:16 Author: felixonmars Revision: 507351 upgpkg: cryptol 2.7.0-35 rebuild with exceptions 0.10.3 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-09-01 Thread Felix Yan via arch-commits
Date: Sunday, September 1, 2019 @ 12:00:53 Author: felixonmars Revision: 506106 upgpkg: cryptol 2.7.0-34 rebuild with attoparsec 0.13.2.3 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-08-29 Thread Felix Yan via arch-commits
Date: Thursday, August 29, 2019 @ 19:17:28 Author: felixonmars Revision: 505024 upgpkg: cryptol 2.7.0-33 rebuild with yaml 0.11.1.2 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-08-29 Thread Felix Yan via arch-commits
Date: Thursday, August 29, 2019 @ 10:25:05 Author: felixonmars Revision: 504742 upgpkg: cryptol 2.7.0-32 rebuild with semigroupoids 5.3.3 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-08-28 Thread Felix Yan via arch-commits
Date: Wednesday, August 28, 2019 @ 16:46:31 Author: felixonmars Revision: 504319 upgpkg: cryptol 2.7.0-31 rebuild with spdx 1.0.0.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-08-28 Thread Felix Yan via arch-commits
Date: Wednesday, August 28, 2019 @ 11:28:46 Author: felixonmars Revision: 503848 upgpkg: cryptol 2.7.0-30 rebuild with bifunctors 5.5.5, th-abstraction 0.3.1.0, th-lift 0.8.0.1, th-lift-instances 0.1.14, hedgehog 1.0, tasty-hedgehog 1.0.0.1 Modified: cryptol/trunk/PKGBUILD --+

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

2019-08-27 Thread Felix Yan via arch-commits
Date: Tuesday, August 27, 2019 @ 13:10:47 Author: felixonmars Revision: 502804 upgpkg: cryptol 2.7.0-29 rebuild with call-stack 0.2.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-08-23 Thread Felix Yan via arch-commits
Date: Friday, August 23, 2019 @ 18:26:48 Author: felixonmars Revision: 501377 upgpkg: cryptol 2.7.0-28 rebuild with extra 1.6.18 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-08-23 Thread Felix Yan via arch-commits
Date: Friday, August 23, 2019 @ 09:50:33 Author: felixonmars Revision: 501279 upgpkg: cryptol 2.7.0-27 rebuild with yaml 0.11.1.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-08-23 Thread Felix Yan via arch-commits
Date: Friday, August 23, 2019 @ 06:23:14 Author: felixonmars Revision: 500981 upgpkg: cryptol 2.7.0-26 rebuild with ghc-paths 0.1.0.12 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-08-14 Thread Felix Yan via arch-commits
Date: Thursday, August 15, 2019 @ 05:39:50 Author: felixonmars Revision: 499414 upgpkg: cryptol 2.7.0-25 rebuild with mono-traversable 1.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)

2019-08-06 Thread Felix Yan via arch-commits
Date: Tuesday, August 6, 2019 @ 16:59:19 Author: felixonmars Revision: 497892 upgpkg: cryptol 2.7.0-24 rebuild with dlist 0.8.0.7 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-08-01 Thread Felix Yan via arch-commits
Date: Friday, August 2, 2019 @ 04:48:34 Author: felixonmars Revision: 496487 upgpkg: cryptol 2.7.0-23 rebuild with splitmix 0.0.3 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-07-29 Thread Felix Yan via arch-commits
Date: Tuesday, July 30, 2019 @ 03:16:46 Author: felixonmars Revision: 494881 upgpkg: cryptol 2.7.0-22 rebuild with quickcheck-instances 0.3.22 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-07-28 Thread Felix Yan via arch-commits
Date: Sunday, July 28, 2019 @ 18:40:15 Author: felixonmars Revision: 493905 upgpkg: cryptol 2.7.0-21 rebuild with silently 1.2.5.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-07-18 Thread Felix Yan via arch-commits
Date: Thursday, July 18, 2019 @ 20:08:56 Author: felixonmars Revision: 491919 upgpkg: cryptol 2.7.0-20 rebuild with ChasingBottoms 1.3.1.6 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-07-18 Thread Felix Yan via arch-commits
Date: Thursday, July 18, 2019 @ 06:41:39 Author: felixonmars Revision: 491001 upgpkg: cryptol 2.7.0-19 rebuild with QuickCheck 2.13.2 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-07-12 Thread Felix Yan via arch-commits
Date: Friday, July 12, 2019 @ 11:34:48 Author: felixonmars Revision: 489098 upgpkg: cryptol 2.7.0-18 rebuild with unliftio 0.2.12 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-07-01 Thread Felix Yan via arch-commits
Date: Monday, July 1, 2019 @ 15:52:02 Author: felixonmars Revision: 487131 upgpkg: cryptol 2.7.0-17 rebuild with tasty 1.2.3 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-06-29 Thread Felix Yan via arch-commits
Date: Sunday, June 30, 2019 @ 02:57:37 Author: felixonmars Revision: 485989 upgpkg: cryptol 2.7.0-16 rebuild with yaml 0.11.1.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-06-27 Thread Felix Yan via arch-commits
Date: Friday, June 28, 2019 @ 05:14:52 Author: felixonmars Revision: 485328 upgpkg: cryptol 2.7.0-15 rebuild with syb 0.7.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-06-26 Thread Felix Yan via arch-commits
Date: Wednesday, June 26, 2019 @ 11:29:09 Author: felixonmars Revision: 48 upgpkg: cryptol 2.7.0-14 rebuild with aeson 1.4.4.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-06-22 Thread Felix Yan via arch-commits
Date: Sunday, June 23, 2019 @ 05:17:29 Author: felixonmars Revision: 482993 upgpkg: cryptol 2.7.0-13 rebuild with happy 1.19.11 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

<    1   2   3   4   5   6   >