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

2018-03-18 Thread Felix Yan via arch-commits
Date: Sunday, March 18, 2018 @ 07:13:20 Author: felixonmars Revision: 309016 upgpkg: cryptol 2.5.0-38 rebuild with crackNum,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-03-15 Thread Felix Yan via arch-commits
Date: Thursday, March 15, 2018 @ 07:30:09 Author: felixonmars Revision: 308223 upgpkg: cryptol 2.5.0-37 rebuild with scientific,0.3.5.3 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-03-13 Thread Felix Yan via arch-commits
Date: Tuesday, March 13, 2018 @ 11:54:46 Author: felixonmars Revision: 307114 upgpkg: cryptol 2.5.0-36 rebuild with ChasingBottoms,1.3.1.4 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-03-10 Thread Felix Yan via arch-commits
Date: Saturday, March 10, 2018 @ 09:32:18 Author: felixonmars Revision: 305832 upgpkg: cryptol 2.5.0-35 rebuild with tasty,1.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)

2018-03-08 Thread Felix Yan via arch-commits
Date: Thursday, March 8, 2018 @ 12:53:46 Author: felixonmars Revision: 304751 upgpkg: cryptol 2.5.0-34 rebuild with hashable,1.2.7.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-03-07 Thread Felix Yan via arch-commits
Date: Wednesday, March 7, 2018 @ 14:56:30 Author: felixonmars Revision: 303921 upgpkg: cryptol 2.5.0-33 rebuild with integer-logarithms,1.0.2.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-03-07 Thread Felix Yan via arch-commits
Date: Wednesday, March 7, 2018 @ 08:05:20 Author: felixonmars Revision: 303510 upgpkg: cryptol 2.5.0-32 rebuild with extra,1.6.4 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-03-05 Thread Felix Yan via arch-commits
Date: Tuesday, March 6, 2018 @ 05:54:41 Author: felixonmars Revision: 302887 upgpkg: cryptol 2.5.0-31 rebuild with text-short,0.1.2 tasty-quickcheck,0.10 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-03-03 Thread Felix Yan via arch-commits
Date: Saturday, March 3, 2018 @ 18:01:34 Author: felixonmars Revision: 302251 upgpkg: cryptol 2.5.0-30 rebuild with Glob,0.9.2 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-03-02 Thread Felix Yan via arch-commits
Date: Friday, March 2, 2018 @ 21:26:45 Author: felixonmars Revision: 301630 upgpkg: cryptol 2.5.0-29 rebuild with monad-control,1.0.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-02-28 Thread Felix Yan via arch-commits
Date: Thursday, March 1, 2018 @ 02:40:21 Author: felixonmars Revision: 300693 upgpkg: cryptol 2.5.0-28 rebuild with optparse-applicative,0.14.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-02-27 Thread Felix Yan via arch-commits
Date: Tuesday, February 27, 2018 @ 20:20:14 Author: felixonmars Revision: 299449 upgpkg: cryptol 2.5.0-27 rebuild with mtl,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)

2018-02-26 Thread Felix Yan via arch-commits
Date: Monday, February 26, 2018 @ 17:03:55 Author: felixonmars Revision: 298480 upgpkg: cryptol 2.5.0-26 rebuild with mmorph,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)

2018-02-24 Thread Felix Yan via arch-commits
Date: Saturday, February 24, 2018 @ 10:45:51 Author: felixonmars Revision: 297695 upgpkg: cryptol 2.5.0-25 rebuild with optparse-applicative,0.14.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-02-17 Thread Felix Yan via arch-commits
Date: Saturday, February 17, 2018 @ 08:07:00 Author: felixonmars Revision: 295856 upgpkg: cryptol 2.5.0-24 rebuild with hspec,2.4.8 hspec-core,2.4.8 hspec-discover,2.4.8 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2018-02-16 Thread Felix Yan via arch-commits
Date: Friday, February 16, 2018 @ 21:42:15 Author: felixonmars Revision: 295253 upgpkg: cryptol 2.5.0-23 rebuild with tasty-golden,2.3.1.3 tasty,1.0.1 tasty-rerun,1.1.10 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2018-02-14 Thread Felix Yan via arch-commits
Date: Wednesday, February 14, 2018 @ 18:17:58 Author: felixonmars Revision: 294456 upgpkg: cryptol 2.5.0-22 rebuild with haskell-src-exts,1.20.1 hlint,2.1 hoogle,5.0.16 stylish-haskell,0.9.0.2 hindent,5.2.5 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file

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

2018-02-13 Thread Felix Yan via arch-commits
Date: Wednesday, February 14, 2018 @ 07:06:50 Author: felixonmars Revision: 294051 upgpkg: cryptol 2.5.0-21 rebuild with haskell-src-exts-util,0.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-02-12 Thread Felix Yan via arch-commits
Date: Monday, February 12, 2018 @ 17:07:07 Author: felixonmars Revision: 293375 upgpkg: cryptol 2.5.0-20 rebuild with stringbuilder,0.5.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-02-12 Thread Felix Yan via arch-commits
Date: Monday, February 12, 2018 @ 10:29:14 Author: felixonmars Revision: 292920 upgpkg: cryptol 2.5.0-19 rebuild with aeson,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)

2018-02-11 Thread Felix Yan via arch-commits
Date: Sunday, February 11, 2018 @ 11:32:07 Author: felixonmars Revision: 292179 upgpkg: cryptol 2.5.0-18 rebuild with parsec,3.1.13.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-02-10 Thread Felix Yan via arch-commits
Date: Saturday, February 10, 2018 @ 11:51:48 Author: felixonmars Revision: 291055 upgpkg: cryptol 2.5.0-17 rebuild with unordered-containers,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-02-06 Thread Felix Yan via arch-commits
Date: Tuesday, February 6, 2018 @ 20:00:17 Author: felixonmars Revision: 289508 upgpkg: cryptol 2.5.0-16 rebuild with stm,2.4.5.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-01-23 Thread Felix Yan via arch-commits
Date: Tuesday, January 23, 2018 @ 14:48:10 Author: felixonmars Revision: 285654 upgpkg: cryptol 2.5.0-15 rebuild with primitive,0.6.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-01-16 Thread Felix Yan via arch-commits
Date: Tuesday, January 16, 2018 @ 09:17:38 Author: felixonmars Revision: 283158 upgpkg: cryptol 2.5.0-14 rebuild with sbv,7.5 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-01-12 Thread Felix Yan via arch-commits
Date: Saturday, January 13, 2018 @ 02:42:18 Author: felixonmars Revision: 281770 upgpkg: cryptol 2.5.0-13 rebuild with generic-deriving,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)

2017-12-28 Thread Felix Yan via arch-commits
Date: Thursday, December 28, 2017 @ 14:27:48 Author: felixonmars Revision: 276434 upgpkg: cryptol 2.5.0-12 rebuild with text,1.2.3.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2017-12-08 Thread Felix Yan via arch-commits
Date: Friday, December 8, 2017 @ 18:14:27 Author: felixonmars Revision: 273366 upgpkg: cryptol 2.5.0-11 rebuild with generic-deriving,1.12 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2017-12-07 Thread Felix Yan via arch-commits
Date: Thursday, December 7, 2017 @ 12:33:21 Author: felixonmars Revision: 273011 upgpkg: cryptol 2.5.0-10 rebuild with ansi-terminal,0.7.1.1 stack,1.6.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2017-11-27 Thread Felix Yan via arch-commits
Date: Monday, November 27, 2017 @ 12:11:09 Author: felixonmars Revision: 269746 upgpkg: cryptol 2.5.0-9 rebuild with ghc 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)

2017-11-09 Thread Felix Yan
Date: Thursday, November 9, 2017 @ 17:00:09 Author: felixonmars Revision: 266032 upgpkg: cryptol 2.5.0-8 rebuild with sbv,7.4 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD

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

2017-10-06 Thread Felix Yan
Date: Friday, October 6, 2017 @ 17:23:39 Author: felixonmars Revision: 261999 upgpkg: cryptol 2.5.0-7 rebuild with QuickCheck,2.10.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2017-10-02 Thread Felix Yan
Date: Tuesday, October 3, 2017 @ 03:00:07 Author: felixonmars Revision: 261352 upgpkg: cryptol 2.5.0-6 rebuild with simple-smt,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)

2017-09-23 Thread Felix Yan
Date: Saturday, September 23, 2017 @ 15:07:40 Author: felixonmars Revision: 259986 upgpkg: cryptol 2.5.0-5 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |7 ++- 1 file changed, 2 insertions(+), 5 deletions(-) Modified: PKGBUILD

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

2017-09-16 Thread Felix Yan
Date: Saturday, September 16, 2017 @ 18:03:55 Author: felixonmars Revision: 258561 upgpkg: cryptol 2.5.0-4 rebuild with sbv,7.3 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2017-08-30 Thread Felix Yan
Date: Wednesday, August 30, 2017 @ 08:00:56 Author: felixonmars Revision: 254748 upgpkg: cryptol 2.5.0-3 rebuild with sbv,7.2 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2017-08-25 Thread Felix Yan
Date: Friday, August 25, 2017 @ 15:13:30 Author: felixonmars Revision: 253383 upgpkg: cryptol 2.5.0-2 fix dependency on z3 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD

<    1   2   3   4   5   6