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

2019-06-14 Thread Felix Yan via arch-commits
Date: Friday, June 14, 2019 @ 11:01:53 Author: felixonmars Revision: 481420 upgpkg: cryptol 2.7.0-12 rebuild with sbv 8.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-12 Thread Felix Yan via arch-commits
Date: Wednesday, June 12, 2019 @ 12:37:49 Author: felixonmars Revision: 480789 upgpkg: cryptol 2.7.0-11 rebuild with unliftio 0.2.11 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-06-10 Thread Felix Yan via arch-commits
Date: Monday, June 10, 2019 @ 07:46:31 Author: felixonmars Revision: 479239 upgpkg: cryptol 2.7.0-10 rebuild with async 2.2.2 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-06-05 Thread Felix Yan via arch-commits
Date: Wednesday, June 5, 2019 @ 16:52:14 Author: felixonmars Revision: 477211 upgpkg: cryptol 2.7.0-9 rebuild with contravariant 1.5.2 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-06-01 Thread Felix Yan via arch-commits
Date: Saturday, June 1, 2019 @ 08:10:00 Author: felixonmars Revision: 476286 upgpkg: cryptol 2.7.0-8 rebuild with extra 1.6.17 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-05-30 Thread Felix Yan via arch-commits
Date: Thursday, May 30, 2019 @ 22:31:54 Author: felixonmars Revision: 475368 upgpkg: cryptol 2.7.0-7 rebuild with ansi-terminal 0.9.1, ansi-wl-pprint 0.6.9, concurrent-output 1.10.10 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2019-05-29 Thread Felix Yan via arch-commits
Date: Wednesday, May 29, 2019 @ 08:55:17 Author: felixonmars Revision: 473869 upgpkg: cryptol 2.7.0-6 rebuild with clock 0.8 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-05-28 Thread Felix Yan via arch-commits
Date: Tuesday, May 28, 2019 @ 08:31:35 Author: felixonmars Revision: 472282 upgpkg: cryptol 2.7.0-5 rebuild with QuickCheck 2.13.1, hspec-core 2.7.1, hspec-discover 2.7.1, hspec 2.7.1, time-compat 1.9.2.2, quickcheck-instances 0.3.21, http-api-data 0.4.1 Modified:

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

2019-05-27 Thread Antonio Rojas via arch-commits
Date: Monday, May 27, 2019 @ 20:57:56 Author: arojas Revision: 472052 https Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === ---

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

2019-05-26 Thread Felix Yan via arch-commits
Date: Monday, May 27, 2019 @ 04:28:03 Author: felixonmars Revision: 470913 upgpkg: cryptol 2.7.0-4 rebuild with extra 1.6.16 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-05-24 Thread Felix Yan via arch-commits
Date: Friday, May 24, 2019 @ 13:13:34 Author: felixonmars Revision: 469610 upgpkg: cryptol 2.7.0-3 rebuild with haskell-src-exts-util 0.2.5 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-05-22 Thread Felix Yan via arch-commits
Date: Wednesday, May 22, 2019 @ 23:27:32 Author: felixonmars Revision: 468887 upgpkg: cryptol 2.7.0-2 rebuild with tasty-quickcheck 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-05-22 Thread Felix Yan via arch-commits
Date: Wednesday, May 22, 2019 @ 08:14:12 Author: felixonmars Revision: 468314 upgpkg: cryptol 2.7.0-1 rebuild with cryptol 2.7.0, sbv 8.2 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD | 21 - 1 file changed, 8 insertions(+), 13 deletions(-) Modified:

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

2019-05-12 Thread Felix Yan via arch-commits
Date: Sunday, May 12, 2019 @ 16:04:12 Author: felixonmars Revision: 466643 upgpkg: cryptol 2.6.0-108 rebuild with transformers-compat 0.6.5 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-05-11 Thread Felix Yan via arch-commits
Date: Saturday, May 11, 2019 @ 22:26:14 Author: felixonmars Revision: 465674 upgpkg: cryptol 2.6.0-107 rebuild with profunctors 5.4 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-05-10 Thread Felix Yan via arch-commits
Date: Friday, May 10, 2019 @ 21:12:07 Author: felixonmars Revision: 465017 upgpkg: cryptol 2.6.0-106 rebuild with happy 1.19.10 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-05-09 Thread Felix Yan via arch-commits
Date: Thursday, May 9, 2019 @ 08:04:00 Author: felixonmars Revision: 463982 upgpkg: cryptol 2.6.0-105 rebuild with exceptions 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)

2019-05-08 Thread Felix Yan via arch-commits
Date: Wednesday, May 8, 2019 @ 14:39:40 Author: felixonmars Revision: 463017 upgpkg: cryptol 2.6.0-104 rebuild with case-insensitive 1.2.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-05-07 Thread Felix Yan via arch-commits
Date: Tuesday, May 7, 2019 @ 19:52:18 Author: felixonmars Revision: 462462 upgpkg: cryptol 2.6.0-103 rebuild with contravariant 1.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-05-06 Thread Felix Yan via arch-commits
Date: Monday, May 6, 2019 @ 19:34:46 Author: felixonmars Revision: 461414 upgpkg: cryptol 2.6.0-102 rebuild with colour 2.3.5 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-05-06 Thread Felix Yan via arch-commits
Date: Monday, May 6, 2019 @ 06:49:12 Author: felixonmars Revision: 460474 upgpkg: cryptol 2.6.0-101 rebuild with logict 0.6.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-05-04 Thread Felix Yan via arch-commits
Date: Saturday, May 4, 2019 @ 18:22:59 Author: felixonmars Revision: 459119 upgpkg: cryptol 2.6.0-100 rebuild with comonad 5.0.5 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-05-03 Thread Felix Yan via arch-commits
Date: Friday, May 3, 2019 @ 06:58:44 Author: felixonmars Revision: 458349 upgpkg: cryptol 2.6.0-99 rebuild with vector 0.12.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-05-01 Thread Felix Yan via arch-commits
Date: Wednesday, May 1, 2019 @ 20:23:45 Author: felixonmars Revision: 457477 upgpkg: cryptol 2.6.0-98 rebuild with aeson 1.4.3.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-04-30 Thread Felix Yan via arch-commits
Date: Tuesday, April 30, 2019 @ 19:18:49 Author: felixonmars Revision: 457050 upgpkg: cryptol 2.6.0-97 rebuild with bifunctors 5.5.4 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-04-29 Thread Felix Yan via arch-commits
Date: Monday, April 29, 2019 @ 15:58:00 Author: felixonmars Revision: 456294 upgpkg: cryptol 2.6.0-96 rebuild with generic-deriving 1.12.4 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-04-29 Thread Felix Yan via arch-commits
Date: Monday, April 29, 2019 @ 08:34:27 Author: felixonmars Revision: 455307 upgpkg: cryptol 2.6.0-95 rebuild with ghc 8.6.5 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-04-24 Thread Felix Yan via arch-commits
Date: Wednesday, April 24, 2019 @ 13:13:14 Author: felixonmars Revision: 453332 upgpkg: cryptol 2.6.0-94 rebuild with extra 1.6.15 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-04-21 Thread Felix Yan via arch-commits
Date: Sunday, April 21, 2019 @ 10:00:00 Author: felixonmars Revision: 452616 upgpkg: cryptol 2.6.0-93 rebuild with integer-logarithms 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)

2019-04-04 Thread Felix Yan via arch-commits
Date: Thursday, April 4, 2019 @ 13:18:29 Author: felixonmars Revision: 449189 upgpkg: cryptol 2.6.0-92 rebuild with transformers-compat 0.6.4 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-04-02 Thread Felix Yan via arch-commits
Date: Tuesday, April 2, 2019 @ 17:34:08 Author: felixonmars Revision: 447831 upgpkg: cryptol 2.6.0-91 rebuild with transformers-compat 0.6.3 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-03-31 Thread Felix Yan via arch-commits
Date: Sunday, March 31, 2019 @ 09:18:39 Author: felixonmars Revision: 446594 upgpkg: cryptol 2.6.0-90 rebuild with dlist 0.8.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-03-28 Thread Felix Yan via arch-commits
Date: Thursday, March 28, 2019 @ 19:44:59 Author: felixonmars Revision: 445604 upgpkg: cryptol 2.6.0-89 rebuild with base-orphans 0.8.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-03-27 Thread Felix Yan via arch-commits
Date: Wednesday, March 27, 2019 @ 15:39:37 Author: felixonmars Revision: 444501 upgpkg: cryptol 2.6.0-88 rebuild with exceptions 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-03-15 Thread Felix Yan via arch-commits
Date: Friday, March 15, 2019 @ 18:29:28 Author: felixonmars Revision: 442009 upgpkg: cryptol 2.6.0-87 rebuild with conduit 1.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)

2019-03-11 Thread Felix Yan via arch-commits
Date: Monday, March 11, 2019 @ 19:14:24 Author: felixonmars Revision: 439840 upgpkg: cryptol 2.6.0-86 rebuild with ghc 8.6.4 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-02-27 Thread Felix Yan via arch-commits
Date: Wednesday, February 27, 2019 @ 18:10:38 Author: felixonmars Revision: 436575 upgpkg: cryptol 2.6.0-85 rebuild with th-abstraction 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)

2019-02-16 Thread Felix Yan via arch-commits
Date: Saturday, February 16, 2019 @ 20:58:53 Author: felixonmars Revision: 433833 upgpkg: cryptol 2.6.0-84 rebuild with hashable-time 0.2.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-02-16 Thread Felix Yan via arch-commits
Date: Saturday, February 16, 2019 @ 15:30:58 Author: felixonmars Revision: 433494 upgpkg: cryptol 2.6.0-83 rebuild with simple-smt 0.9.4 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-02-15 Thread Felix Yan via arch-commits
Date: Friday, February 15, 2019 @ 20:39:13 Author: felixonmars Revision: 433030 upgpkg: cryptol 2.6.0-82 rebuild with tasty 1.2, tasty-rerun 1.1.14 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-02-12 Thread Felix Yan via arch-commits
Date: Tuesday, February 12, 2019 @ 11:22:24 Author: felixonmars Revision: 431900 upgpkg: cryptol 2.6.0-81 rebuild with libyaml 0.1.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-02-10 Thread Felix Yan via arch-commits
Date: Sunday, February 10, 2019 @ 12:41:15 Author: felixonmars Revision: 431422 upgpkg: cryptol 2.6.0-80 rebuild with generic-deriving 1.12.3 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-02-07 Thread Felix Yan via arch-commits
Date: Thursday, February 7, 2019 @ 19:45:57 Author: felixonmars Revision: 430332 upgpkg: cryptol 2.6.0-79 rebuild with vector-builder 0.3.7.2 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-02-03 Thread Felix Yan via arch-commits
Date: Sunday, February 3, 2019 @ 08:45:10 Author: felixonmars Revision: 429366 upgpkg: cryptol 2.6.0-78 rebuild with mono-traversable 1.0.11.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-01-31 Thread Felix Yan via arch-commits
Date: Thursday, January 31, 2019 @ 23:51:46 Author: felixonmars Revision: 428953 upgpkg: cryptol 2.6.0-77 rebuild with haskell-src-exts 1.21.0, hlint 2.1.14 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified:

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

2019-01-24 Thread Felix Yan via arch-commits
Date: Thursday, January 24, 2019 @ 10:36:36 Author: felixonmars Revision: 427481 upgpkg: cryptol 2.6.0-76 rebuild with monadLib 3.9 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-01-21 Thread Felix Yan via arch-commits
Date: Monday, January 21, 2019 @ 16:42:28 Author: felixonmars Revision: 426220 upgpkg: cryptol 2.6.0-75 rebuild with QuickCheck 2.12.6.1, servant 0.15, servant-server 0.15, servant-swagger 1.1.7, hspec-discover 2.7.0, hspec-meta 2.6.0, hspec-core 2.7.0, hspec 2.7.0, hspec-contrib 0.5.1

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

2019-01-20 Thread Felix Yan via arch-commits
Date: Sunday, January 20, 2019 @ 14:44:58 Author: felixonmars Revision: 425233 upgpkg: cryptol 2.6.0-74 rebuild with pretty-show 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)

2019-01-20 Thread Felix Yan via arch-commits
Date: Sunday, January 20, 2019 @ 10:21:40 Author: felixonmars Revision: 425026 upgpkg: cryptol 2.6.0-73 rebuild with monadLib 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-01-19 Thread Felix Yan via arch-commits
Date: Saturday, January 19, 2019 @ 12:57:28 Author: felixonmars Revision: 424609 upgpkg: cryptol 2.6.0-72 rebuild with unordered-containers 0.2.10.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2019-01-10 Thread Felix Yan via arch-commits
Date: Thursday, January 10, 2019 @ 18:13:43 Author: felixonmars Revision: 422012 upgpkg: cryptol 2.6.0-71 rebuild with semigroupoids 5.3.2 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-12-30 Thread Felix Yan via arch-commits
Date: Sunday, December 30, 2018 @ 23:10:57 Author: felixonmars Revision: 419901 upgpkg: cryptol 2.6.0-70 rebuild with unliftio 0.2.10 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-12-30 Thread Felix Yan via arch-commits
Date: Sunday, December 30, 2018 @ 18:55:34 Author: felixonmars Revision: 419605 upgpkg: cryptol 2.6.0-69 rebuild with Glob 0.10.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-12-30 Thread Felix Yan via arch-commits
Date: Sunday, December 30, 2018 @ 16:37:12 Author: felixonmars Revision: 419366 upgpkg: cryptol 2.6.0-68 rebuild with th-abstraction 0.2.10.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-12-21 Thread Felix Yan via arch-commits
Date: Friday, December 21, 2018 @ 13:44:13 Author: felixonmars Revision: 417294 upgpkg: cryptol 2.6.0-67 rebuild with mono-traversable 1.0.10.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-12-16 Thread Felix Yan via arch-commits
Date: Monday, December 17, 2018 @ 04:46:53 Author: felixonmars Revision: 416497 upgpkg: cryptol 2.6.0-66 rebuild with sbv 7.13 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-12-12 Thread Felix Yan via arch-commits
Date: Wednesday, December 12, 2018 @ 19:06:53 Author: felixonmars Revision: 415746 upgpkg: cryptol 2.6.0-65 rebuild with unliftio 0.2.9.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-12-10 Thread Felix Yan via arch-commits
Date: Tuesday, December 11, 2018 @ 07:18:59 Author: felixonmars Revision: 415260 upgpkg: cryptol 2.6.0-64 rebuild with extra 1.6.14 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-12-10 Thread Felix Yan via arch-commits
Date: Monday, December 10, 2018 @ 20:01:54 Author: felixonmars Revision: 414474 upgpkg: cryptol 2.6.0-63 rebuild with ghc 8.6.3, cmark-gfm 0.1.6 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-12-08 Thread Felix Yan via arch-commits
Date: Saturday, December 8, 2018 @ 22:28:34 Author: felixonmars Revision: 412742 upgpkg: cryptol 2.6.0-62 rebuild with vector 0.12.0.2 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD

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

2018-12-02 Thread Felix Yan via arch-commits
Date: Sunday, December 2, 2018 @ 16:39:27 Author: felixonmars Revision: 410779 upgpkg: cryptol 2.6.0-61 rebuild with hlint 2.1.11 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-11-27 Thread Felix Yan via arch-commits
Date: Tuesday, November 27, 2018 @ 22:10:28 Author: felixonmars Revision: 410200 upgpkg: cryptol 2.6.0-60 rebuild with aeson 1.4.2.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-11-20 Thread Felix Yan via arch-commits
Date: Tuesday, November 20, 2018 @ 09:29:59 Author: felixonmars Revision: 409006 upgpkg: cryptol 2.6.0-59 rebuild with haskell-src-exts-util 0.2.4 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-11-18 Thread Felix Yan via arch-commits
Date: Sunday, November 18, 2018 @ 11:27:26 Author: felixonmars Revision: 408680 upgpkg: cryptol 2.6.0-58 rebuild with crackNum 2.3 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-11-16 Thread Felix Yan via arch-commits
Date: Friday, November 16, 2018 @ 13:32:16 Author: felixonmars Revision: 408232 upgpkg: cryptol 2.6.0-57 rebuild with code-page 0.2 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-11-14 Thread Felix Yan via arch-commits
Date: Wednesday, November 14, 2018 @ 11:37:36 Author: felixonmars Revision: 407351 upgpkg: cryptol 2.6.0-56 rebuild with math-functions 0.3.1.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-11-07 Thread Felix Yan via arch-commits
Date: Wednesday, November 7, 2018 @ 19:57:28 Author: felixonmars Revision: 403160 upgpkg: cryptol 2.6.0-55 rebuild with ghc 8.6.2 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-11-01 Thread Felix Yan via arch-commits
Date: Thursday, November 1, 2018 @ 11:40:54 Author: felixonmars Revision: 401081 upgpkg: cryptol 2.6.0-54 rebuild with polyparse 1.12.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-10-31 Thread Felix Yan via arch-commits
Date: Wednesday, October 31, 2018 @ 22:36:22 Author: felixonmars Revision: 400878 upgpkg: cryptol 2.6.0-53 rebuild with simple-smt 0.9.3 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-10-31 Thread Felix Yan via arch-commits
Date: Wednesday, October 31, 2018 @ 20:09:51 Author: felixonmars Revision: 400484 upgpkg: cryptol 2.6.0-52 rebuild with ansi-terminal 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)

2018-10-19 Thread Felix Yan via arch-commits
Date: Friday, October 19, 2018 @ 13:41:26 Author: felixonmars Revision: 397564 upgpkg: cryptol 2.6.0-51 rebuild with base-compat 0.10.5 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-10-18 Thread Felix Yan via arch-commits
Date: Friday, October 19, 2018 @ 02:32:59 Author: felixonmars Revision: 396880 upgpkg: cryptol 2.6.0-50 rebuild with yaml 0.11.0.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-10-18 Thread Felix Yan via arch-commits
Date: Thursday, October 18, 2018 @ 13:49:58 Author: felixonmars Revision: 396006 upgpkg: cryptol 2.6.0-49 rebuild with extra 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)

2018-10-17 Thread Felix Yan via arch-commits
Date: Wednesday, October 17, 2018 @ 09:49:49 Author: felixonmars Revision: 395031 upgpkg: cryptol 2.6.0-48 rebuild with ghc 8.6.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) Modified: PKGBUILD

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

2018-10-11 Thread Felix Yan via arch-commits
Date: Thursday, October 11, 2018 @ 21:00:53 Author: felixonmars Revision: 392799 upgpkg: cryptol 2.6.0-47 rebuild with tasty 1.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)

2018-10-09 Thread Felix Yan via arch-commits
Date: Wednesday, October 10, 2018 @ 05:47:44 Author: felixonmars Revision: 392058 upgpkg: cryptol 2.6.0-46 rebuild with yaml 0.10.4.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-10-09 Thread Felix Yan via arch-commits
Date: Tuesday, October 9, 2018 @ 23:13:45 Author: felixonmars Revision: 391907 upgpkg: cryptol 2.6.0-45 rebuild with resourcet 1.2.2 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-10-09 Thread Felix Yan via arch-commits
Date: Tuesday, October 9, 2018 @ 13:27:14 Author: felixonmars Revision: 391534 upgpkg: cryptol 2.6.0-44 rebuild with vector-algorithms 0.8.0.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-10-09 Thread Felix Yan via arch-commits
Date: Tuesday, October 9, 2018 @ 09:11:25 Author: felixonmars Revision: 391374 upgpkg: cryptol 2.6.0-43 rebuild with yaml 0.10.3.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-10-08 Thread Felix Yan via arch-commits
Date: Monday, October 8, 2018 @ 22:19:39 Author: felixonmars Revision: 391233 upgpkg: cryptol 2.6.0-42 rebuild with conduit 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)

2018-10-05 Thread Felix Yan via arch-commits
Date: Friday, October 5, 2018 @ 21:11:03 Author: felixonmars Revision: 390413 upgpkg: cryptol 2.6.0-41 rebuild with optparse-applicative 0.14.3.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-10-04 Thread Felix Yan via arch-commits
Date: Thursday, October 4, 2018 @ 14:40:54 Author: felixonmars Revision: 389514 upgpkg: cryptol 2.6.0-40 rebuild with foldl 1.4.5 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-09-30 Thread Felix Yan via arch-commits
Date: Sunday, September 30, 2018 @ 06:49:32 Author: felixonmars Revision: 388215 upgpkg: cryptol 2.6.0-39 rebuild with doctest 0.16.0.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-09-28 Thread Felix Yan via arch-commits
Date: Friday, September 28, 2018 @ 19:08:18 Author: felixonmars Revision: 387515 upgpkg: cryptol 2.6.0-38 rebuild with Glob 0.9.3 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-09-28 Thread Felix Yan via arch-commits
Date: Friday, September 28, 2018 @ 08:17:57 Author: felixonmars Revision: 386943 upgpkg: cryptol 2.6.0-37 rebuild with quickcheck-instances 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)

2018-09-27 Thread Felix Yan via arch-commits
Date: Thursday, September 27, 2018 @ 16:40:28 Author: felixonmars Revision: 386541 upgpkg: cryptol 2.6.0-36 rebuild with haskell-lexer 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)

2018-09-27 Thread Felix Yan via arch-commits
Date: Thursday, September 27, 2018 @ 13:39:06 Author: felixonmars Revision: 386272 upgpkg: cryptol 2.6.0-35 rebuild with aeson 1.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)

2018-09-26 Thread Felix Yan via arch-commits
Date: Thursday, September 27, 2018 @ 05:46:10 Author: felixonmars Revision: 385807 upgpkg: cryptol 2.6.0-34 rebuild with blaze-markup 0.8.2.2 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-09-26 Thread Felix Yan via arch-commits
Date: Wednesday, September 26, 2018 @ 18:24:32 Author: felixonmars Revision: 385562 upgpkg: cryptol 2.6.0-33 rebuild with ChasingBottoms 1.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)

2018-09-25 Thread Felix Yan via arch-commits
Date: Tuesday, September 25, 2018 @ 16:54:03 Author: felixonmars Revision: 384932 upgpkg: cryptol 2.6.0-32 rebuild with unliftio 0.2.8.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-09-24 Thread Felix Yan via arch-commits
Date: Tuesday, September 25, 2018 @ 02:03:53 Author: felixonmars Revision: 384765 upgpkg: cryptol 2.6.0-31 rebuild with extra 1.6.12 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-09-24 Thread Felix Yan via arch-commits
Date: Tuesday, September 25, 2018 @ 00:43:14 Author: felixonmars Revision: 384713 upgpkg: cryptol 2.6.0-30 rebuild with sbv 7.12 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-09-20 Thread Felix Yan via arch-commits
Date: Thursday, September 20, 2018 @ 19:31:13 Author: felixonmars Revision: 383784 upgpkg: cryptol 2.6.0-29 rebuild with sbv 7.11 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-09-20 Thread Felix Yan via arch-commits
Date: Thursday, September 20, 2018 @ 13:25:40 Author: felixonmars Revision: 383655 upgpkg: cryptol 2.6.0-28 rebuild with haskell-src-exts 1.20.3 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-09-18 Thread Felix Yan via arch-commits
Date: Tuesday, September 18, 2018 @ 18:21:12 Author: felixonmars Revision: 383154 upgpkg: cryptol 2.6.0-27 rebuild with extra 1.6.11 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-09-18 Thread Felix Yan via arch-commits
Date: Tuesday, September 18, 2018 @ 09:43:10 Author: felixonmars Revision: 382994 upgpkg: cryptol 2.6.0-26 rebuild with yaml 0.10.2.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-09-17 Thread Felix Yan via arch-commits
Date: Monday, September 17, 2018 @ 15:07:54 Author: felixonmars Revision: 382506 upgpkg: cryptol 2.6.0-25 rebuild with vector-algorithms 0.8.0.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-09-15 Thread Felix Yan via arch-commits
Date: Saturday, September 15, 2018 @ 16:57:01 Author: felixonmars Revision: 381735 upgpkg: cryptol 2.6.0-24 rebuild with ansi-terminal 0.8.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-09-13 Thread Felix Yan via arch-commits
Date: Thursday, September 13, 2018 @ 17:37:32 Author: felixonmars Revision: 380444 upgpkg: cryptol 2.6.0-23 rebuild with dlist 0.8.0.5 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-09-12 Thread Felix Yan via arch-commits
Date: Wednesday, September 12, 2018 @ 21:36:40 Author: felixonmars Revision: 380039 upgpkg: cryptol 2.6.0-22 rebuild with pretty-show 1.8.2 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

<    1   2   3   4   5   6   >