[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-12-29 Thread Felix Yan via arch-commits
Date: Tuesday, December 29, 2020 @ 10:47:41 Author: felixonmars Revision: 796802 upgpkg: haskell-tamarin-prover-theory 1.6.0-36: rebuild with tagged 0.8.6.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-12-28 Thread Felix Yan via arch-commits
Date: Monday, December 28, 2020 @ 14:08:15 Author: felixonmars Revision: 794970 upgpkg: haskell-tamarin-prover-theory 1.6.0-35: rebuild with indexed-traversable 0.1.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+),

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-12-25 Thread Felix Yan via arch-commits
Date: Saturday, December 26, 2020 @ 05:44:18 Author: felixonmars Revision: 792027 upgpkg: haskell-tamarin-prover-theory 1.6.0-34: rebuild with tasty-quickcheck 0.10.1.2 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+)

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-12-24 Thread Felix Yan via arch-commits
Date: Friday, December 25, 2020 @ 04:02:31 Author: felixonmars Revision: 789565 upgpkg: haskell-tamarin-prover-theory 1.6.0-33: rebuild with comonad 5.0.7 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-12-24 Thread Felix Yan via arch-commits
Date: Thursday, December 24, 2020 @ 14:40:16 Author: felixonmars Revision: 788174 upgpkg: haskell-tamarin-prover-theory 1.6.0-32: rebuild with base16-bytestring 1.0.1.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+)

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-12-24 Thread Felix Yan via arch-commits
Date: Thursday, December 24, 2020 @ 13:05:00 Author: felixonmars Revision: 787206 upgpkg: haskell-tamarin-prover-theory 1.6.0-31: rebuild with ghc 8.10.3 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-12-22 Thread Felix Yan via arch-commits
Date: Wednesday, December 23, 2020 @ 07:46:40 Author: felixonmars Revision: 783880 upgpkg: haskell-tamarin-prover-theory 1.6.0-30: rebuild with tasty-smallcheck 0.8.2 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+),

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-12-21 Thread Felix Yan via arch-commits
Date: Monday, December 21, 2020 @ 21:00:34 Author: felixonmars Revision: 781564 upgpkg: haskell-tamarin-prover-theory 1.6.0-29: rebuild with tasty-hunit 0.10.0.3 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 del

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-12-17 Thread Felix Yan via arch-commits
Date: Thursday, December 17, 2020 @ 22:38:17 Author: felixonmars Revision: 778213 upgpkg: haskell-tamarin-prover-theory 1.6.0-28: rebuild with th-abstraction 0.4.1.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-12-15 Thread Felix Yan via arch-commits
Date: Tuesday, December 15, 2020 @ 18:57:30 Author: felixonmars Revision: 776074 upgpkg: haskell-tamarin-prover-theory 1.6.0-27: rebuild with base16-bytestring 1.0.0.0, casa-types 0.0.2 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file change

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-12-13 Thread Felix Yan via arch-commits
Date: Sunday, December 13, 2020 @ 22:25:06 Author: felixonmars Revision: 774595 upgpkg: haskell-tamarin-prover-theory 1.6.0-26: rebuild with base-orphans 0.8.5 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deleti

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-12-07 Thread Felix Yan via arch-commits
Date: Monday, December 7, 2020 @ 22:05:12 Author: felixonmars Revision: 771636 upgpkg: haskell-tamarin-prover-theory 1.6.0-25: rebuild with strict 0.4.0.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-12-04 Thread Felix Yan via arch-commits
Date: Saturday, December 5, 2020 @ 01:37:17 Author: felixonmars Revision: 770381 upgpkg: haskell-tamarin-prover-theory 1.6.0-24: rebuild with time-compat 1.9.5 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deleti

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-11-28 Thread Felix Yan via arch-commits
Date: Saturday, November 28, 2020 @ 18:56:03 Author: felixonmars Revision: 765440 upgpkg: haskell-tamarin-prover-theory 1.6.0-23: rebuild with unbounded-delays 0.1.1.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+),

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-11-22 Thread Felix Yan via arch-commits
Date: Monday, November 23, 2020 @ 00:09:48 Author: felixonmars Revision: 759776 upgpkg: haskell-tamarin-prover-theory 1.6.0-22: rebuild with optparse-applicative 0.16.1.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-11-20 Thread Felix Yan via arch-commits
Date: Friday, November 20, 2020 @ 23:27:59 Author: felixonmars Revision: 758236 upgpkg: haskell-tamarin-prover-theory 1.6.0-21: rebuild with base64-bytestring 1.2.0.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+),

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-11-16 Thread Felix Yan via arch-commits
Date: Monday, November 16, 2020 @ 17:45:19 Author: felixonmars Revision: 755447 upgpkg: haskell-tamarin-prover-theory 1.6.0-20: rebuild with QuickCheck 2.14.2, quickcheck-instances 0.3.25.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file ch

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-11-08 Thread Felix Yan via arch-commits
Date: Sunday, November 8, 2020 @ 12:59:17 Author: felixonmars Revision: 746548 upgpkg: haskell-tamarin-prover-theory 1.6.0-19: rebuild with uniplate 1.6.13 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-11-07 Thread Felix Yan via arch-commits
Date: Saturday, November 7, 2020 @ 14:20:17 Author: felixonmars Revision: 745792 upgpkg: haskell-tamarin-prover-theory 1.6.0-18: rebuild with integer-logarithms 1.0.3.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+)

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-11-06 Thread Felix Yan via arch-commits
Date: Friday, November 6, 2020 @ 13:46:21 Author: felixonmars Revision: 744284 upgpkg: haskell-tamarin-prover-theory 1.6.0-17: rebuild with splitmix 0.1.0.3 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-11-04 Thread Felix Yan via arch-commits
Date: Wednesday, November 4, 2020 @ 18:03:57 Author: felixonmars Revision: 742480 upgpkg: haskell-tamarin-prover-theory 1.6.0-16: rebuild with quickcheck-instances 0.3.25 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-11-04 Thread Felix Yan via arch-commits
Date: Wednesday, November 4, 2020 @ 08:22:26 Author: felixonmars Revision: 741707 upgpkg: haskell-tamarin-prover-theory 1.6.0-15: rebuild with time-compat 1.9.4 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 delet

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-11-02 Thread Felix Yan via arch-commits
Date: Monday, November 2, 2020 @ 17:10:08 Author: felixonmars Revision: 739973 upgpkg: haskell-tamarin-prover-theory 1.6.0-14: rebuild with HUnit 1.6.1.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-10-31 Thread Felix Yan via arch-commits
Date: Saturday, October 31, 2020 @ 14:18:34 Author: felixonmars Revision: 737716 upgpkg: haskell-tamarin-prover-theory 1.6.0-13: rebuild with unliftio 0.2.13.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deleti

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-10-28 Thread Felix Yan via arch-commits
Date: Wednesday, October 28, 2020 @ 09:33:27 Author: felixonmars Revision: 735305 upgpkg: haskell-tamarin-prover-theory 1.6.0-12: rebuild with optparse-applicative 0.16.0.0, optparse-generic 1.4.3, turtle 1.5.21 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUIL

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-10-25 Thread Felix Yan via arch-commits
Date: Sunday, October 25, 2020 @ 20:53:15 Author: felixonmars Revision: 732985 upgpkg: haskell-tamarin-prover-theory 1.6.0-11: rebuild with bifunctors 5.5.8 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-10-23 Thread Felix Yan via arch-commits
Date: Friday, October 23, 2020 @ 20:33:41 Author: felixonmars Revision: 730830 upgpkg: haskell-tamarin-prover-theory 1.6.0-10: rebuild with generic-deriving 1.14 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 del

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-10-21 Thread Felix Yan via arch-commits
Date: Wednesday, October 21, 2020 @ 23:51:53 Author: felixonmars Revision: 728614 upgpkg: haskell-tamarin-prover-theory 1.6.0-9: rebuild with splitmix 0.1.0.2 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletio

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-10-17 Thread Felix Yan via arch-commits
Date: Saturday, October 17, 2020 @ 10:52:26 Author: felixonmars Revision: 725358 upgpkg: haskell-tamarin-prover-theory 1.6.0-8: rebuild with th-abstraction 0.4.0.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 d

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-10-09 Thread Felix Yan via arch-commits
Date: Friday, October 9, 2020 @ 19:11:46 Author: felixonmars Revision: 722744 upgpkg: haskell-tamarin-prover-theory 1.6.0-7: rebuild with unordered-containers 0.2.13.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+),

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-10-07 Thread Felix Yan via arch-commits
Date: Wednesday, October 7, 2020 @ 11:01:52 Author: felixonmars Revision: 720327 upgpkg: haskell-tamarin-prover-theory 1.6.0-6: rebuild with base-compat 0.11.2, base-compat-batteries 0.11.2 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file ch

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-10-05 Thread Felix Yan via arch-commits
Date: Monday, October 5, 2020 @ 07:23:41 Author: felixonmars Revision: 718710 upgpkg: haskell-tamarin-prover-theory 1.6.0-5: rebuild with aeson 1.5.4.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) M

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-10-04 Thread Felix Yan via arch-commits
Date: Sunday, October 4, 2020 @ 07:32:37 Author: felixonmars Revision: 717337 upgpkg: haskell-tamarin-prover-theory 1.6.0-4: rebuild with transformers-compat 0.6.6 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 d

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-10-02 Thread Felix Yan via arch-commits
Date: Friday, October 2, 2020 @ 07:30:49 Author: felixonmars Revision: 715099 upgpkg: haskell-tamarin-prover-theory 1.6.0-3: rebuild with base-orphans 0.8.3 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-09-17 Thread Felix Yan via arch-commits
Date: Thursday, September 17, 2020 @ 21:57:25 Author: felixonmars Revision: 709478 upgpkg: haskell-tamarin-prover-theory 1.6.0-2: rebuild with hspec 2.7.4, hspec-core 2.7.4, hspec-discover 2.7.4 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 fi

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-09-16 Thread Felix Yan via arch-commits
Date: Wednesday, September 16, 2020 @ 14:46:35 Author: felixonmars Revision: 708074 upgpkg: haskell-tamarin-prover-theory 1.6.0-1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD | 15 +++ 1 file changed, 7 insertions(+), 8 deletions(-) Modified

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-09-14 Thread Felix Yan via arch-commits
Date: Monday, September 14, 2020 @ 21:50:51 Author: felixonmars Revision: 706756 upgpkg: haskell-tamarin-prover-theory 1.4.1-119: rebuild with quickcheck-classes-base 0.6.1.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insert

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-09-12 Thread Felix Yan via arch-commits
Date: Saturday, September 12, 2020 @ 18:35:54 Author: felixonmars Revision: 704568 upgpkg: haskell-tamarin-prover-theory 1.4.1-118: rebuild with ansi-terminal 0.11 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 de

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-09-10 Thread Felix Yan via arch-commits
Date: Thursday, September 10, 2020 @ 21:30:12 Author: felixonmars Revision: 702425 upgpkg: haskell-tamarin-prover-theory 1.4.1-117: rebuild with mwc-random 0.15.0.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-09-07 Thread Felix Yan via arch-commits
Date: Monday, September 7, 2020 @ 16:00:43 Author: felixonmars Revision: 700020 upgpkg: haskell-tamarin-prover-theory 1.4.1-116: rebuild with hspec 2.7.3, hspec-core 2.7.3, hspec-discover 2.7.3 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 fil

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-09-02 Thread Felix Yan via arch-commits
Date: Wednesday, September 2, 2020 @ 21:53:59 Author: felixonmars Revision: 697153 upgpkg: haskell-tamarin-prover-theory 1.4.1-115: rebuild with mwc-random 0.15.0.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-09-01 Thread Felix Yan via arch-commits
Date: Tuesday, September 1, 2020 @ 19:39:32 Author: felixonmars Revision: 695895 upgpkg: haskell-tamarin-prover-theory 1.4.1-114: rebuild with aeson 1.5.4.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-08-31 Thread Felix Yan via arch-commits
Date: Monday, August 31, 2020 @ 07:15:27 Author: felixonmars Revision: 693843 upgpkg: haskell-tamarin-prover-theory 1.4.1-113: rebuild with happy 1.20.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-08-28 Thread Felix Yan via arch-commits
Date: Friday, August 28, 2020 @ 13:40:49 Author: felixonmars Revision: 690914 upgpkg: haskell-tamarin-prover-theory 1.4.1-112: rebuild with logict 0.7.0.3 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-08-25 Thread Felix Yan via arch-commits
Date: Tuesday, August 25, 2020 @ 17:26:43 Author: felixonmars Revision: 688556 upgpkg: haskell-tamarin-prover-theory 1.4.1-111: rebuild with random 1.2.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-08-23 Thread Felix Yan via arch-commits
Date: Sunday, August 23, 2020 @ 07:32:49 Author: felixonmars Revision: 686948 upgpkg: haskell-tamarin-prover-theory 1.4.1-110: rebuild with base64-bytestring 1.2.0.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-08-21 Thread Felix Yan via arch-commits
Date: Friday, August 21, 2020 @ 08:49:31 Author: felixonmars Revision: 685835 upgpkg: haskell-tamarin-prover-theory 1.4.1-109: rebuild with dlist 1.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Mod

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-08-17 Thread Felix Yan via arch-commits
Date: Monday, August 17, 2020 @ 22:30:55 Author: felixonmars Revision: 683433 upgpkg: haskell-tamarin-prover-theory 1.4.1-108: rebuild with ghc 8.10.2 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Mo

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-08-15 Thread Felix Yan via arch-commits
Date: Sunday, August 16, 2020 @ 00:38:48 Author: felixonmars Revision: 680434 upgpkg: haskell-tamarin-prover-theory 1.4.1-107: rebuild with math-functions 0.3.4.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 de

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-08-14 Thread Felix Yan via arch-commits
Date: Friday, August 14, 2020 @ 22:19:12 Author: felixonmars Revision: 679342 upgpkg: haskell-tamarin-prover-theory 1.4.1-106: rebuild with aeson 1.5.3.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-08-13 Thread Felix Yan via arch-commits
Date: Thursday, August 13, 2020 @ 19:47:37 Author: felixonmars Revision: 677973 upgpkg: haskell-tamarin-prover-theory 1.4.1-105: rebuild with hspec 2.7.2, hspec-core 2.7.2, hspec-discover 2.7.2 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 fil

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-08-12 Thread Felix Yan via arch-commits
Date: Wednesday, August 12, 2020 @ 20:44:02 Author: felixonmars Revision: 676742 upgpkg: haskell-tamarin-prover-theory 1.4.1-104: rebuild with quickcheck-instances 0.3.24 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-08-11 Thread Felix Yan via arch-commits
Date: Tuesday, August 11, 2020 @ 23:52:14 Author: felixonmars Revision: 675247 upgpkg: haskell-tamarin-prover-theory 1.4.1-103: rebuild with splitmix 0.1.0.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-08-10 Thread Felix Yan via arch-commits
Date: Monday, August 10, 2020 @ 17:23:36 Author: felixonmars Revision: 673945 upgpkg: haskell-tamarin-prover-theory 1.4.1-102: rebuild with optics-th 0.3.0.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-08-08 Thread Felix Yan via arch-commits
Date: Saturday, August 8, 2020 @ 13:27:42 Author: felixonmars Revision: 672362 upgpkg: haskell-tamarin-prover-theory 1.4.1-101: rebuild with these 1.1.1.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-08-05 Thread Felix Yan via arch-commits
Date: Wednesday, August 5, 2020 @ 12:50:20 Author: felixonmars Revision: 669425 upgpkg: haskell-tamarin-prover-theory 1.4.1-100: rebuild with unordered-containers 0.2.12.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-08-03 Thread Felix Yan via arch-commits
Date: Monday, August 3, 2020 @ 10:43:53 Author: felixonmars Revision: 668182 upgpkg: haskell-tamarin-prover-theory 1.4.1-99: rebuild with these 1.1.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Mod

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-07-31 Thread Felix Yan via arch-commits
Date: Saturday, August 1, 2020 @ 01:49:44 Author: felixonmars Revision: 666998 upgpkg: haskell-tamarin-prover-theory 1.4.1-98: rebuild with QuickCheck 2.14.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-06-29 Thread Felix Yan via arch-commits
Date: Monday, June 29, 2020 @ 08:01:00 Author: felixonmars Revision: 655875 upgpkg: haskell-tamarin-prover-theory 1.4.1-97: rebuild with primitive 0.7.1.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-06-27 Thread Felix Yan via arch-commits
Date: Friday, June 26, 2020 @ 19:11:13 Author: felixonmars Revision: 654412 upgpkg: haskell-tamarin-prover-theory 1.4.1-96: rebuild with ChasingBottoms 1.3.1.9 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 delet

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-06-24 Thread Felix Yan via arch-commits
Date: Wednesday, June 24, 2020 @ 08:44:43 Author: felixonmars Revision: 652096 upgpkg: haskell-tamarin-prover-theory 1.4.1-95: rebuild with splitmix 0.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-06-20 Thread Felix Yan via arch-commits
Date: Saturday, June 20, 2020 @ 11:02:36 Author: felixonmars Revision: 648292 upgpkg: haskell-tamarin-prover-theory 1.4.1-94: rebuild with base16-bytestring 0.1.1.7 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-06-17 Thread Felix Yan via arch-commits
Date: Wednesday, June 17, 2020 @ 21:06:14 Author: felixonmars Revision: 646686 upgpkg: haskell-tamarin-prover-theory 1.4.1-93: rebuild with unordered-containers 0.2.11.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-06-15 Thread Felix Yan via arch-commits
Date: Monday, June 15, 2020 @ 11:19:59 Author: felixonmars Revision: 644981 upgpkg: haskell-tamarin-prover-theory 1.4.1-92: rebuild with aeson 1.5.2.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Mo

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-06-13 Thread Felix Yan via arch-commits
Date: Sunday, June 14, 2020 @ 01:37:28 Author: felixonmars Revision: 643638 upgpkg: haskell-tamarin-prover-theory 1.4.1-91: rebuild with splitmix 0.0.5 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) M

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-06-06 Thread Felix Yan via arch-commits
Date: Saturday, June 6, 2020 @ 10:38:22 Author: felixonmars Revision: 639405 upgpkg: haskell-tamarin-prover-theory 1.4.1-90: rebuild with tasty-golden 2.3.4 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-05-28 Thread Felix Yan via arch-commits
Date: Thursday, May 28, 2020 @ 19:55:22 Author: felixonmars Revision: 636644 upgpkg: haskell-tamarin-prover-theory 1.4.1-89: rebuild with aeson 1.5.1.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) M

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-05-26 Thread Felix Yan via arch-commits
Date: Tuesday, May 26, 2020 @ 21:26:31 Author: felixonmars Revision: 635415 upgpkg: haskell-tamarin-prover-theory 1.4.1-88: rebuild with quickcheck-instances 0.3.23 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-05-25 Thread Felix Yan via arch-commits
Date: Monday, May 25, 2020 @ 13:59:10 Author: felixonmars Revision: 634359 upgpkg: haskell-tamarin-prover-theory 1.4.1-87: rebuild with aeson 1.5.0.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Mod

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-05-24 Thread Felix Yan via arch-commits
Date: Monday, May 25, 2020 @ 03:59:22 Author: felixonmars Revision: 633746 upgpkg: haskell-tamarin-prover-theory 1.4.1-86: rebuild with safe 0.3.19 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modif

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-05-23 Thread Felix Yan via arch-commits
Date: Saturday, May 23, 2020 @ 18:52:13 Author: felixonmars Revision: 632434 upgpkg: haskell-tamarin-prover-theory 1.4.1-85: rebuild with tasty 1.3.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Mod

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-05-22 Thread Felix Yan via arch-commits
Date: Saturday, May 23, 2020 @ 02:20:56 Author: felixonmars Revision: 631761 upgpkg: haskell-tamarin-prover-theory 1.4.1-84: rebuild with fclabels 2.0.5 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-05-20 Thread Felix Yan via arch-commits
Date: Wednesday, May 20, 2020 @ 16:05:10 Author: felixonmars Revision: 630861 upgpkg: haskell-tamarin-prover-theory 1.4.1-83: rebuild with fclabels 2.0.4 (with correct patch for template-haskell 2.16) Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |4 ++

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-05-19 Thread Felix Yan via arch-commits
Date: Tuesday, May 19, 2020 @ 18:54:02 Author: felixonmars Revision: 630043 upgpkg: haskell-tamarin-prover-theory 1.4.1-82: rebuild with tasty-golden 2.3.3.3 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletio

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-05-12 Thread Felix Yan via arch-commits
Date: Tuesday, May 12, 2020 @ 17:47:38 Author: felixonmars Revision: 627088 upgpkg: haskell-tamarin-prover-theory 1.4.1-81: rebuild with tasty 1.3 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modifi

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-05-01 Thread Felix Yan via arch-commits
Date: Friday, May 1, 2020 @ 12:38:42 Author: felixonmars Revision: 623806 upgpkg: haskell-tamarin-prover-theory 1.4.1-80: rebuild with tasty-golden 2.3.3.2 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-04-30 Thread Felix Yan via arch-commits
Date: Thursday, April 30, 2020 @ 10:32:50 Author: felixonmars Revision: 622438 upgpkg: haskell-tamarin-prover-theory 1.4.1-79 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-04-14 Thread Felix Yan via arch-commits
Date: Tuesday, April 14, 2020 @ 22:40:51 Author: felixonmars Revision: 614361 upgpkg: haskell-tamarin-prover-theory 1.4.1-78: rebuild with warp tasty-golden 2.3.3.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-04-03 Thread Felix Yan via arch-commits
Date: Friday, April 3, 2020 @ 15:28:13 Author: felixonmars Revision: 610840 upgpkg: haskell-tamarin-prover-theory 1.4.1-77: rebuild with dlist 0.8.0.8 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Mo

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-04-01 Thread Felix Yan via arch-commits
Date: Wednesday, April 1, 2020 @ 16:10:01 Author: felixonmars Revision: 608990 upgpkg: haskell-tamarin-prover-theory 1.4.1-76: rebuild with QuickCheck 2.14 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-03-29 Thread Felix Yan via arch-commits
Date: Sunday, March 29, 2020 @ 19:44:06 Author: felixonmars Revision: 606416 upgpkg: haskell-tamarin-prover-theory 1.4.1-75: rebuild with ChasingBottoms 1.3.1.8 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 dele

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-03-28 Thread Felix Yan via arch-commits
Date: Saturday, March 28, 2020 @ 16:08:39 Author: felixonmars Revision: 605275 upgpkg: haskell-tamarin-prover-theory 1.4.1-74: rebuild with attoparsec 0.13.2.4 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deleti

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-03-26 Thread Felix Yan via arch-commits
Date: Thursday, March 26, 2020 @ 20:18:50 Author: felixonmars Revision: 604642 upgpkg: haskell-tamarin-prover-theory 1.4.1-73: rebuild with aeson 1.4.7.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-03-20 Thread Felix Yan via arch-commits
Date: Friday, March 20, 2020 @ 13:03:10 Author: felixonmars Revision: 601605 upgpkg: haskell-tamarin-prover-theory 1.4.1-72: rebuild with aeson 1.4.7.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) M

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-03-15 Thread Felix Yan via arch-commits
Date: Sunday, March 15, 2020 @ 20:36:57 Author: felixonmars Revision: 598537 upgpkg: haskell-tamarin-prover-theory 1.4.1-71: rebuild with hashable 1.3.0.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-03-13 Thread Felix Yan via arch-commits
Date: Friday, March 13, 2020 @ 23:41:57 Author: felixonmars Revision: 596467 upgpkg: haskell-tamarin-prover-theory 1.4.1-70: rebuild with time-compat 1.9.3 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-03-11 Thread Felix Yan via arch-commits
Date: Thursday, March 12, 2020 @ 02:04:20 Author: felixonmars Revision: 594924 upgpkg: haskell-tamarin-prover-theory 1.4.1-69: rebuild with generic-deriving 1.13.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 d

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-03-08 Thread Felix Yan via arch-commits
Date: Sunday, March 8, 2020 @ 21:46:28 Author: felixonmars Revision: 592559 upgpkg: haskell-tamarin-prover-theory 1.4.1-68: rebuild with generic-deriving 1.13 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deleti

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-03-01 Thread Felix Yan via arch-commits
Date: Sunday, March 1, 2020 @ 21:39:06 Author: felixonmars Revision: 588261 upgpkg: haskell-tamarin-prover-theory 1.4.1-67: rebuild with primitive 0.7.0.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-02-27 Thread Felix Yan via arch-commits
Date: Thursday, February 27, 2020 @ 18:12:37 Author: felixonmars Revision: 584554 upgpkg: haskell-tamarin-prover-theory 1.4.1-66: rebuild with ghc 8.8.3 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-02-25 Thread Felix Yan via arch-commits
Date: Tuesday, February 25, 2020 @ 19:57:22 Author: felixonmars Revision: 581973 upgpkg: haskell-tamarin-prover-theory 1.4.1-65: rebuild with splitmix 0.0.4 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-02-23 Thread Felix Yan via arch-commits
Date: Sunday, February 23, 2020 @ 17:26:10 Author: felixonmars Revision: 579895 upgpkg: haskell-tamarin-prover-theory 1.4.1-64: rebuild with split 0.2.3.4 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-02-21 Thread Felix Yan via arch-commits
Date: Friday, February 21, 2020 @ 15:56:06 Author: felixonmars Revision: 577679 upgpkg: haskell-tamarin-prover-theory 1.4.1-63: rebuild with tasty-golden 2.3.3 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |4 ++-- 1 file changed, 2 insertions(+), 2 del

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-02-17 Thread Felix Yan via arch-commits
Date: Monday, February 17, 2020 @ 16:38:13 Author: felixonmars Revision: 574374 upgpkg: haskell-tamarin-prover-theory 1.4.1-62: rebuild with tasty-golden 2.3.2.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 del

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-02-16 Thread Felix Yan via arch-commits
Date: Sunday, February 16, 2020 @ 11:32:24 Author: felixonmars Revision: 572339 upgpkg: haskell-tamarin-prover-theory 1.4.1-61: rebuild with ghc 8.8.2 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Mo

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-02-11 Thread Felix Yan via arch-commits
Date: Tuesday, February 11, 2020 @ 09:18:58 Author: felixonmars Revision: 566870 upgpkg: haskell-tamarin-prover-theory 1.4.1-60: rebuild with ansi-terminal 0.10.3 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 de

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-02-09 Thread Felix Yan via arch-commits
Date: Monday, February 10, 2020 @ 06:44:38 Author: felixonmars Revision: 565656 upgpkg: haskell-tamarin-prover-theory 1.4.1-59: rebuild with tasty-quickcheck 0.10.1.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+),

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-02-08 Thread Felix Yan via arch-commits
Date: Saturday, February 8, 2020 @ 18:22:55 Author: felixonmars Revision: 564820 upgpkg: haskell-tamarin-prover-theory 1.4.1-58: rebuild with th-abstraction 0.3.2.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-02-05 Thread Felix Yan via arch-commits
Date: Wednesday, February 5, 2020 @ 19:13:16 Author: felixonmars Revision: 563399 upgpkg: haskell-tamarin-prover-theory 1.4.1-57: rebuild with vector 0.12.1.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletio

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)

2020-02-01 Thread Felix Yan via arch-commits
Date: Saturday, February 1, 2020 @ 19:28:16 Author: felixonmars Revision: 561112 upgpkg: haskell-tamarin-prover-theory 1.4.1-56: rebuild with fclabels 2.0.4 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(

  1   2   3   >