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

2018-09-10 Thread Felix Yan via arch-commits
Date: Monday, September 10, 2018 @ 21:01:06 Author: felixonmars Revision: 379359 upgpkg: cryptol 2.6.0-21 rebuild with integer-logarithms 1.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-09-06 Thread Felix Yan via arch-commits
Date: Thursday, September 6, 2018 @ 23:11:08 Author: felixonmars Revision: 378394 upgpkg: cryptol 2.6.0-20 rebuild with unliftio 0.2.8.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-06 Thread Felix Yan via arch-commits
Date: Thursday, September 6, 2018 @ 18:34:25 Author: felixonmars Revision: 377864 upgpkg: cryptol 2.6.0-19 rebuild with test-framework-quickcheck2 0.3.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-04 Thread Felix Yan via arch-commits
Date: Tuesday, September 4, 2018 @ 15:17:43 Author: felixonmars Revision: 376759 upgpkg: cryptol 2.6.0-18 rebuild with foldl 1.4.4 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-09-02 Thread Felix Yan via arch-commits
Date: Monday, September 3, 2018 @ 00:53:47 Author: felixonmars Revision: 376266 upgpkg: cryptol 2.6.0-17 rebuild with math-functions 0.3.0.2 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-09-02 Thread Felix Yan via arch-commits
Date: Sunday, September 2, 2018 @ 10:23:49 Author: felixonmars Revision: 376029 upgpkg: cryptol 2.6.0-16 rebuild with crackNum 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-08-30 Thread Felix Yan via arch-commits
Date: Thursday, August 30, 2018 @ 18:18:45 Author: felixonmars Revision: 375643 upgpkg: cryptol 2.6.0-15 rebuild with unliftio 0.2.7.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-08-29 Thread Felix Yan via arch-commits
Date: Wednesday, August 29, 2018 @ 23:56:14 Author: felixonmars Revision: 375423 upgpkg: cryptol 2.6.0-14 rebuild with yaml 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)

2018-08-29 Thread Felix Yan via arch-commits
Date: Wednesday, August 29, 2018 @ 20:08:38 Author: felixonmars Revision: 375256 upgpkg: cryptol 2.6.0-13 rebuild with unliftio-core 0.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)

2018-08-28 Thread Felix Yan via arch-commits
Date: Tuesday, August 28, 2018 @ 23:45:42 Author: felixonmars Revision: 375044 upgpkg: cryptol 2.6.0-12 rebuild with yaml 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)

2018-08-27 Thread Felix Yan via arch-commits
Date: Monday, August 27, 2018 @ 06:58:34 Author: felixonmars Revision: 374705 upgpkg: cryptol 2.6.0-11 rebuild with vector-algorithms 0.7.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-08-26 Thread Felix Yan via arch-commits
Date: Sunday, August 26, 2018 @ 17:20:29 Author: felixonmars Revision: 374443 upgpkg: cryptol 2.6.0-10 rebuild with time-locale-compat 0.1.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-08-24 Thread Felix Yan via arch-commits
Date: Friday, August 24, 2018 @ 10:33:48 Author: felixonmars Revision: 373666 upgpkg: cryptol 2.6.0-9 rebuild with vector-algorithms 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)

2018-08-23 Thread Felix Yan via arch-commits
Date: Thursday, August 23, 2018 @ 12:43:45 Author: felixonmars Revision: 373416 upgpkg: cryptol 2.6.0-8 rebuild with yaml 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-08-23 Thread Felix Yan via arch-commits
Date: Thursday, August 23, 2018 @ 07:39:13 Author: felixonmars Revision: 373342 upgpkg: cryptol 2.6.0-7 rebuild with hlint 2.1.10 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-08-17 Thread Felix Yan via arch-commits
Date: Friday, August 17, 2018 @ 08:59:49 Author: felixonmars Revision: 372301 upgpkg: cryptol 2.6.0-6 rebuild with StateVar 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)

2018-08-11 Thread Felix Yan via arch-commits
Date: Saturday, August 11, 2018 @ 17:02:55 Author: felixonmars Revision: 371155 upgpkg: cryptol 2.6.0-5 rebuild with hlint 2.1.9 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-08-11 Thread Felix Yan via arch-commits
Date: Saturday, August 11, 2018 @ 09:42:19 Author: felixonmars Revision: 371047 upgpkg: cryptol 2.6.0-4 rebuild with pretty-show 1.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-08-07 Thread Felix Yan via arch-commits
Date: Wednesday, August 8, 2018 @ 03:36:51 Author: felixonmars Revision: 370257 upgpkg: cryptol 2.6.0-3 rebuild with aeson 1.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)

2018-08-05 Thread Felix Yan via arch-commits
Date: Sunday, August 5, 2018 @ 06:50:23 Author: felixonmars Revision: 368275 upgpkg: cryptol 2.6.0-2 rebuild with foldl 1.4.3 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-08-04 Thread Felix Yan via arch-commits
Date: Sunday, August 5, 2018 @ 03:17:27 Author: felixonmars Revision: 368151 upgpkg: cryptol 2.6.0-1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD | 15 ++- 1 file changed, 6 insertions(+), 9 deletions(-) Modified: PKGBUILD

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

2018-08-03 Thread Felix Yan via arch-commits
Date: Saturday, August 4, 2018 @ 03:50:02 Author: felixonmars Revision: 367800 upgpkg: cryptol 2.5.0.20180515-60 rebuild with vector-builder 0.3.6 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-08-02 Thread Felix Yan via arch-commits
Date: Thursday, August 2, 2018 @ 15:54:20 Author: felixonmars Revision: 367369 upgpkg: cryptol 2.5.0.20180515-59 rebuild with mono-traversable 1.0.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-07-29 Thread Felix Yan via arch-commits
Date: Sunday, July 29, 2018 @ 11:45:15 Author: felixonmars Revision: 364460 upgpkg: cryptol 2.5.0.20180515-58 rebuild with tasty 1.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)

2018-07-21 Thread Felix Yan via arch-commits
Date: Saturday, July 21, 2018 @ 08:05:04 Author: felixonmars Revision: 362684 upgpkg: cryptol 2.5.0.20180515-57 rebuild with sbv 7.10 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-07-20 Thread Felix Yan via arch-commits
Date: Saturday, July 21, 2018 @ 05:51:45 Author: felixonmars Revision: 362651 upgpkg: cryptol 2.5.0.20180515-56 rebuild with crackNum 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-07-18 Thread Felix Yan via arch-commits
Date: Wednesday, July 18, 2018 @ 14:49:00 Author: felixonmars Revision: 362022 upgpkg: cryptol 2.5.0.20180515-55 rebuild with doctest 0.16.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-07-17 Thread Felix Yan via arch-commits
Date: Tuesday, July 17, 2018 @ 17:43:21 Author: felixonmars Revision: 361075 upgpkg: cryptol 2.5.0.20180515-54 rebuild with hspec 2.5.5, hspec-core 2.5.5, hspec-discover 2.5.5 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2018-07-16 Thread Felix Yan via arch-commits
Date: Monday, July 16, 2018 @ 21:04:01 Author: felixonmars Revision: 360259 upgpkg: cryptol 2.5.0.20180515-53 rebuild with math-functions 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)

2018-07-16 Thread Felix Yan via arch-commits
Date: Monday, July 16, 2018 @ 17:45:38 Author: felixonmars Revision: 360011 upgpkg: cryptol 2.5.0.20180515-52 rebuild with mwc-random 0.14.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-07-14 Thread Felix Yan via arch-commits
Date: Saturday, July 14, 2018 @ 21:53:55 Author: felixonmars Revision: 359486 upgpkg: cryptol 2.5.0.20180515-51 rebuild with simple-smt 0.9.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-07-14 Thread Felix Yan via arch-commits
Date: Saturday, July 14, 2018 @ 14:34:57 Author: felixonmars Revision: 359138 upgpkg: cryptol 2.5.0.20180515-50 rebuild with contravariant 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-07-13 Thread Felix Yan via arch-commits
Date: Saturday, July 14, 2018 @ 03:40:27 Author: felixonmars Revision: 358874 upgpkg: cryptol 2.5.0.20180515-49 rebuild with extra 1.6.9 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-07-13 Thread Felix Yan via arch-commits
Date: Friday, July 13, 2018 @ 18:52:27 Author: felixonmars Revision: 358747 upgpkg: cryptol 2.5.0.20180515-48 rebuild with yaml 0.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-07-12 Thread Felix Yan via arch-commits
Date: Thursday, July 12, 2018 @ 20:13:38 Author: felixonmars Revision: 358154 upgpkg: cryptol 2.5.0.20180515-47 rebuild with distributive 0.6 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-07-12 Thread Felix Yan via arch-commits
Date: Thursday, July 12, 2018 @ 08:56:42 Author: felixonmars Revision: 357612 upgpkg: cryptol 2.5.0.20180515-46 rebuild with hspec 2.5.4, hspec-core 2.5.4, hspec-discover 2.5.4 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2018-07-10 Thread Felix Yan via arch-commits
Date: Tuesday, July 10, 2018 @ 23:35:45 Author: felixonmars Revision: 356620 upgpkg: cryptol 2.5.0.20180515-45 rebuild with base-compat 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)

2018-07-09 Thread Felix Yan via arch-commits
Date: Tuesday, July 10, 2018 @ 02:51:58 Author: felixonmars Revision: 355964 upgpkg: cryptol 2.5.0.20180515-44 rebuild with yaml 0.8.32 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-07-09 Thread Felix Yan via arch-commits
Date: Monday, July 9, 2018 @ 16:32:30 Author: felixonmars Revision: 355930 upgpkg: cryptol 2.5.0.20180515-43 rebuild with hlint 2.1.8 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-07-08 Thread Felix Yan via arch-commits
Date: Sunday, July 8, 2018 @ 23:38:17 Author: felixonmars Revision: 355497 upgpkg: cryptol 2.5.0.20180515-42 rebuild with bifunctors 5.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-07-08 Thread Felix Yan via arch-commits
Date: Sunday, July 8, 2018 @ 17:36:41 Author: felixonmars Revision: 355137 upgpkg: cryptol 2.5.0.20180515-41 rebuild with yaml 0.8.31.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-07-07 Thread Felix Yan via arch-commits
Date: Saturday, July 7, 2018 @ 22:05:49 Author: felixonmars Revision: 354226 upgpkg: cryptol 2.5.0.20180515-40 rebuild with hspec 2.5.3, hspec-core 2.5.3, hspec-discover 2.5.3 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2018-07-06 Thread Felix Yan via arch-commits
Date: Friday, July 6, 2018 @ 08:40:51 Author: felixonmars Revision: 353454 upgpkg: cryptol 2.5.0.20180515-39 rebuild with foldl 1.4.2 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-07-05 Thread Felix Yan via arch-commits
Date: Thursday, July 5, 2018 @ 22:57:26 Author: felixonmars Revision: 353260 upgpkg: cryptol 2.5.0.20180515-38 rebuild with smallcheck 1.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-07-05 Thread Felix Yan via arch-commits
Date: Thursday, July 5, 2018 @ 18:05:54 Author: felixonmars Revision: 353035 upgpkg: cryptol 2.5.0.20180515-37 rebuild with profunctors 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-07-04 Thread Felix Yan via arch-commits
Date: Wednesday, July 4, 2018 @ 21:23:11 Author: felixonmars Revision: 352218 upgpkg: cryptol 2.5.0.20180515-36 rebuild with semigroupoids 5.3.1, base-orphans 0.8 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified:

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

2018-07-04 Thread Felix Yan via arch-commits
Date: Wednesday, July 4, 2018 @ 10:34:13 Author: felixonmars Revision: 351645 upgpkg: cryptol 2.5.0.20180515-35 rebuild with hlint 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)

2018-07-03 Thread Felix Yan via arch-commits
Date: Tuesday, July 3, 2018 @ 13:50:22 Author: felixonmars Revision: 351003 upgpkg: cryptol 2.5.0.20180515-34 rebuild with tagged 0.8.6 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-07-02 Thread Felix Yan via arch-commits
Date: Monday, July 2, 2018 @ 15:51:25 Author: felixonmars Revision: 349897 upgpkg: cryptol 2.5.0.20180515-33 rebuild with comonad 5.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-07-02 Thread Felix Yan via arch-commits
Date: Monday, July 2, 2018 @ 09:31:35 Author: felixonmars Revision: 349454 upgpkg: cryptol 2.5.0.20180515-32 rebuild with th-abstraction 0.2.8.0 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-06-30 Thread Felix Yan via arch-commits
Date: Saturday, June 30, 2018 @ 16:02:46 Author: felixonmars Revision: 348377 upgpkg: cryptol 2.5.0.20180515-31 rebuild with foldl 1.4.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-06-28 Thread Felix Yan via arch-commits
Date: Thursday, June 28, 2018 @ 21:23:07 Author: felixonmars Revision: 347697 upgpkg: cryptol 2.5.0.20180515-30 rebuild with generic-deriving 1.12.2 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-06-28 Thread Felix Yan via arch-commits
Date: Thursday, June 28, 2018 @ 18:41:18 Author: felixonmars Revision: 347472 upgpkg: cryptol 2.5.0.20180515-29 rebuild with yaml 0.8.31 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-06-28 Thread Felix Yan via arch-commits
Date: Thursday, June 28, 2018 @ 17:40:21 Author: felixonmars Revision: 347151 upgpkg: cryptol 2.5.0.20180515-28 rebuild with hspec 2.5.2, hspec-core 2.5.2, hspec-discover 2.5.2 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2018-06-25 Thread Felix Yan via arch-commits
Date: Monday, June 25, 2018 @ 07:05:11 Author: felixonmars Revision: 345506 upgpkg: cryptol 2.5.0.20180515-27 rebuild with tasty 1.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-06-22 Thread Felix Yan via arch-commits
Date: Saturday, June 23, 2018 @ 05:48:00 Author: felixonmars Revision: 344779 upgpkg: cryptol 2.5.0.20180515-26 rebuild with tasty-golden 2.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-06-22 Thread Felix Yan via arch-commits
Date: Friday, June 22, 2018 @ 11:42:53 Author: felixonmars Revision: 344483 upgpkg: cryptol 2.5.0.20180515-25 rebuild with conduit 1.3.0.3 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-06-18 Thread Felix Yan via arch-commits
Date: Monday, June 18, 2018 @ 09:37:50 Author: felixonmars Revision: 343810 upgpkg: cryptol 2.5.0.20180515-24 rebuild with th-abstraction 0.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-06-16 Thread Felix Yan via arch-commits
Date: Saturday, June 16, 2018 @ 23:58:49 Author: felixonmars Revision: 343423 upgpkg: cryptol 2.5.0.20180515-23 rebuild with hlint 2.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-06-15 Thread Felix Yan via arch-commits
Date: Saturday, June 16, 2018 @ 03:18:00 Author: felixonmars Revision: 343346 upgpkg: cryptol 2.5.0.20180515-22 rebuild with sbv 7.9 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-06-14 Thread Felix Yan via arch-commits
Date: Thursday, June 14, 2018 @ 16:45:50 Author: felixonmars Revision: 343085 upgpkg: cryptol 2.5.0.20180515-21 rebuild with blaze-html 0.9.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-06-12 Thread Felix Yan via arch-commits
Date: Tuesday, June 12, 2018 @ 14:44:27 Author: felixonmars Revision: 342532 upgpkg: cryptol 2.5.0.20180515-20 rebuild with blaze-html 0.9.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-06-06 Thread Felix Yan via arch-commits
Date: Wednesday, June 6, 2018 @ 16:52:41 Author: felixonmars Revision: 341365 upgpkg: cryptol 2.5.0.20180515-19 rebuild with base-prelude 1.3 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-06-03 Thread Felix Yan via arch-commits
Date: Sunday, June 3, 2018 @ 11:28:54 Author: felixonmars Revision: 339098 upgpkg: cryptol 2.5.0.20180515-18 rebuild with tasty 1.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)

2018-06-02 Thread Felix Yan via arch-commits
Date: Saturday, June 2, 2018 @ 18:44:38 Author: felixonmars Revision: 338048 upgpkg: cryptol 2.5.0.20180515-17 rebuild with primitive 0.6.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-06-01 Thread Felix Yan via arch-commits
Date: Friday, June 1, 2018 @ 17:50:58 Author: felixonmars Revision: 336356 upgpkg: cryptol 2.5.0.20180515-16 rebuild with ghc 8.4.3 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-05-31 Thread Felix Yan via arch-commits
Date: Thursday, May 31, 2018 @ 07:57:37 Author: felixonmars Revision: 334313 upgpkg: cryptol 2.5.0.20180515-15 rebuild with temporary 1.3 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-05-28 Thread Felix Yan via arch-commits
Date: Monday, May 28, 2018 @ 17:23:57 Author: felixonmars Revision: 332792 upgpkg: cryptol 2.5.0.20180515-14 rebuild with exceptions 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-05-27 Thread Felix Yan via arch-commits
Date: Sunday, May 27, 2018 @ 18:23:49 Author: felixonmars Revision: 331979 upgpkg: cryptol 2.5.0.20180515-13 rebuild with extra 1.6.8 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-05-27 Thread Felix Yan via arch-commits
Date: Sunday, May 27, 2018 @ 09:24:32 Author: felixonmars Revision: 331508 upgpkg: cryptol 2.5.0.20180515-12 rebuild with transformers-base 0.4.5.2 transformers-compat 0.6.2 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2018-05-26 Thread Felix Yan via arch-commits
Date: Saturday, May 26, 2018 @ 07:29:57 Author: felixonmars Revision: 329754 upgpkg: cryptol 2.5.0.20180515-11 rebuild with hspec,2.5.1 hspec-core,2.5.1 hspec-discover,2.5.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2018-05-24 Thread Felix Yan via arch-commits
Date: Thursday, May 24, 2018 @ 19:41:26 Author: felixonmars Revision: 329059 upgpkg: cryptol 2.5.0.20180515-10 rebuild with extra,1.6.7 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-05-24 Thread Felix Yan via arch-commits
Date: Thursday, May 24, 2018 @ 17:27:01 Author: felixonmars Revision: 328863 upgpkg: cryptol 2.5.0.20180515-9 rebuild with base-orphans,0.7 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-05-23 Thread Felix Yan via arch-commits
Date: Wednesday, May 23, 2018 @ 14:07:03 Author: felixonmars Revision: 328218 upgpkg: cryptol 2.5.0.20180515-8 rebuild with safe,0.3.17 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-05-21 Thread Felix Yan via arch-commits
Date: Tuesday, May 22, 2018 @ 04:29:42 Author: felixonmars Revision: 326847 upgpkg: cryptol 2.5.0.20180515-7 rebuild with ansi-terminal,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)

2018-05-21 Thread Felix Yan via arch-commits
Date: Monday, May 21, 2018 @ 12:33:49 Author: felixonmars Revision: 326126 upgpkg: cryptol 2.5.0.20180515-6 rebuild with async,2.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-05-19 Thread Felix Yan via arch-commits
Date: Sunday, May 20, 2018 @ 05:48:27 Author: felixonmars Revision: 325048 upgpkg: cryptol 2.5.0.20180515-5 rebuild with sbv,7.8 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-05-19 Thread Felix Yan via arch-commits
Date: Sunday, May 20, 2018 @ 05:26:15 Author: felixonmars Revision: 325030 upgpkg: cryptol 2.5.0.20180515-4 rebuild with haskell-src-exts-util,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-05-19 Thread Felix Yan via arch-commits
Date: Saturday, May 19, 2018 @ 20:37:25 Author: felixonmars Revision: 324883 upgpkg: cryptol 2.5.0.20180515-3 rebuild with html-conduit,1.3.0 conduit,1.3.0.2 resourcet,1.2.1 xml-conduit,1.8.0 aws,0.20 http-conduit,2.3.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +-

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

2018-05-19 Thread Felix Yan via arch-commits
Date: Saturday, May 19, 2018 @ 17:31:43 Author: felixonmars Revision: 324737 upgpkg: cryptol 2.5.0.20180515-2 rebuild with base-compat,0.10.1 aeson,1.3.1.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |5 - 1 file changed, 4 insertions(+), 1 deletion(-) Modified:

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

2018-05-18 Thread Felix Yan via arch-commits
Date: Friday, May 18, 2018 @ 07:22:38 Author: felixonmars Revision: 324253 upgpkg: cryptol 2.5.0.20180515-1 rebuild with ghc 8.4.2 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD | 20 1 file changed, 12 insertions(+), 8 deletions(-) Modified: PKGBUILD

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

2018-05-13 Thread Felix Yan via arch-commits
Date: Sunday, May 13, 2018 @ 06:49:28 Author: felixonmars Revision: 321478 upgpkg: cryptol 2.5.0-57 rebuild with time-locale-compat,0.1.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-05-12 Thread Felix Yan via arch-commits
Date: Saturday, May 12, 2018 @ 19:23:15 Author: felixonmars Revision: 321223 upgpkg: cryptol 2.5.0-56 rebuild with smallcheck,1.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-05-12 Thread Felix Yan via arch-commits
Date: Saturday, May 12, 2018 @ 16:10:56 Author: felixonmars Revision: 321096 upgpkg: cryptol 2.5.0-55 rebuild with simple-smt,0.8 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-05-11 Thread Felix Yan via arch-commits
Date: Friday, May 11, 2018 @ 14:04:14 Author: felixonmars Revision: 320760 upgpkg: cryptol 2.5.0-54 rebuild with yaml,0.8.30 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-05-11 Thread Felix Yan via arch-commits
Date: Friday, May 11, 2018 @ 08:38:41 Author: felixonmars Revision: 320634 upgpkg: cryptol 2.5.0-53 rebuild with hlint,2.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-05-10 Thread Felix Yan via arch-commits
Date: Friday, May 11, 2018 @ 02:14:51 Author: felixonmars Revision: 320493 upgpkg: cryptol 2.5.0-52 rebuild with sbv,7.7 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-05-10 Thread Felix Yan via arch-commits
Date: Thursday, May 10, 2018 @ 11:47:05 Author: felixonmars Revision: 320240 upgpkg: cryptol 2.5.0-51 rebuild with scientific,0.3.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-05-08 Thread Felix Yan via arch-commits
Date: Wednesday, May 9, 2018 @ 05:23:19 Author: felixonmars Revision: 319775 upgpkg: cryptol 2.5.0-50 rebuild with smtLib,1.0.9 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-05-07 Thread Felix Yan via arch-commits
Date: Monday, May 7, 2018 @ 21:55:16 Author: felixonmars Revision: 319474 upgpkg: cryptol 2.5.0-49 rebuild with scientific,0.3.6.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-04-26 Thread Felix Yan via arch-commits
Date: Friday, April 27, 2018 @ 05:20:56 Author: felixonmars Revision: 318240 upgpkg: cryptol 2.5.0-48 rebuild with extra,1.6.6 hlint,2.1.3 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-04-08 Thread Felix Yan via arch-commits
Date: Sunday, April 8, 2018 @ 22:14:10 Author: felixonmars Revision: 315354 upgpkg: cryptol 2.5.0-47 rebuild with extra,1.6.5 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-04-08 Thread Felix Yan via arch-commits
Date: Sunday, April 8, 2018 @ 19:23:56 Author: felixonmars Revision: 315197 upgpkg: cryptol 2.5.0-46 rebuild with pretty-show,1.7 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-04-04 Thread Felix Yan via arch-commits
Date: Wednesday, April 4, 2018 @ 14:42:50 Author: felixonmars Revision: 314138 upgpkg: cryptol 2.5.0-45 rebuild with hlint,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)

2018-04-02 Thread Felix Yan via arch-commits
Date: Monday, April 2, 2018 @ 10:47:30 Author: felixonmars Revision: 313850 upgpkg: cryptol 2.5.0-44 rebuild with yaml,0.8.29 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-03-25 Thread Felix Yan via arch-commits
Date: Sunday, March 25, 2018 @ 08:09:29 Author: felixonmars Revision: 312317 upgpkg: cryptol 2.5.0-43 rebuild with hspec,2.5.0 hspec-core,2.5.0 hspec-discover,2.5.0 hspec-contrib,0.5.0 hspec-smallcheck,0.5.1 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file

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

2018-03-23 Thread Felix Yan via arch-commits
Date: Friday, March 23, 2018 @ 17:46:37 Author: felixonmars Revision: 311525 upgpkg: cryptol 2.5.0-42 rebuild with lifted-base,0.2.3.12 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

2018-03-22 Thread Felix Yan via arch-commits
Date: Friday, March 23, 2018 @ 00:21:39 Author: felixonmars Revision: 311125 upgpkg: cryptol 2.5.0-41 rebuild with haskell-src-exts,1.20.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-22 Thread Felix Yan via arch-commits
Date: Thursday, March 22, 2018 @ 22:31:25 Author: felixonmars Revision: 310923 upgpkg: cryptol 2.5.0-40 rebuild with mmorph,1.1.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-19 Thread Felix Yan via arch-commits
Date: Monday, March 19, 2018 @ 07:12:25 Author: felixonmars Revision: 309136 upgpkg: cryptol 2.5.0-39 rebuild with sbv,7.6 Modified: cryptol/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

<    1   2   3   4   5   6   >