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

2020-12-28 Thread Felix Yan via arch-commits
Date: Tuesday, December 29, 2020 @ 02:06:24 Author: felixonmars Revision: 796408 upgpkg: haskell-tamarin-prover-utils 1.6.0-25: rebuild with tagged 0.8.6.1 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2020-12-27 Thread Felix Yan via arch-commits
Date: Monday, December 28, 2020 @ 01:38:37 Author: felixonmars Revision: 794229 upgpkg: haskell-tamarin-prover-utils 1.6.0-24: rebuild with indexed-traversable 0.1.1 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2020-12-25 Thread Felix Yan via arch-commits
Date: Saturday, December 26, 2020 @ 03:10:24 Author: felixonmars Revision: 791725 upgpkg: haskell-tamarin-prover-utils 1.6.0-23: rebuild with tasty-quickcheck 0.10.1.2 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+),

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

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

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

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

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

2020-12-22 Thread Felix Yan via arch-commits
Date: Wednesday, December 23, 2020 @ 05:35:03 Author: felixonmars Revision: 783716 upgpkg: haskell-tamarin-prover-utils 1.6.0-20: rebuild with tasty-smallcheck 0.8.2 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2020-12-20 Thread Felix Yan via arch-commits
Date: Sunday, December 20, 2020 @ 21:54:38 Author: felixonmars Revision: 780774 upgpkg: haskell-tamarin-prover-utils 1.6.0-19: rebuild with tasty-hunit 0.10.0.3 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deleti

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

2020-12-17 Thread Felix Yan via arch-commits
Date: Thursday, December 17, 2020 @ 19:47:29 Author: felixonmars Revision: 777920 upgpkg: haskell-tamarin-prover-utils 1.6.0-18: rebuild with th-abstraction 0.4.1.0 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 d

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

2020-12-13 Thread Felix Yan via arch-commits
Date: Sunday, December 13, 2020 @ 12:51:25 Author: felixonmars Revision: 774171 upgpkg: haskell-tamarin-prover-utils 1.6.0-17: rebuild with base-orphans 0.8.5 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion

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

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

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

2020-11-22 Thread Felix Yan via arch-commits
Date: Sunday, November 22, 2020 @ 18:46:07 Author: felixonmars Revision: 759404 upgpkg: haskell-tamarin-prover-utils 1.6.0-15: rebuild with optparse-applicative 0.16.1.0 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+)

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

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

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

2020-11-16 Thread Felix Yan via arch-commits
Date: Monday, November 16, 2020 @ 16:27:46 Author: felixonmars Revision: 755391 upgpkg: haskell-tamarin-prover-utils 1.6.0-13: rebuild with QuickCheck 2.14.2 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(

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

2020-11-05 Thread Felix Yan via arch-commits
Date: Friday, November 6, 2020 @ 00:41:08 Author: felixonmars Revision: 743852 upgpkg: haskell-tamarin-prover-utils 1.6.0-12: rebuild with splitmix 0.1.0.3 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

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

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

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

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

2020-10-27 Thread Felix Yan via arch-commits
Date: Tuesday, October 27, 2020 @ 18:45:25 Author: felixonmars Revision: 734795 upgpkg: haskell-tamarin-prover-utils 1.6.0-9: rebuild with optparse-applicative 0.16.0.0, optparse-generic 1.4.3, turtle 1.5.21 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |

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

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

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

2020-10-21 Thread Felix Yan via arch-commits
Date: Wednesday, October 21, 2020 @ 19:39:21 Author: felixonmars Revision: 728298 upgpkg: haskell-tamarin-prover-utils 1.6.0-7: rebuild with splitmix 0.1.0.2 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(

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

2020-10-16 Thread Felix Yan via arch-commits
Date: Friday, October 16, 2020 @ 21:42:49 Author: felixonmars Revision: 725076 upgpkg: haskell-tamarin-prover-utils 1.6.0-6: rebuild with th-abstraction 0.4.0.0 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 delet

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

2020-10-06 Thread Felix Yan via arch-commits
Date: Wednesday, October 7, 2020 @ 00:29:25 Author: felixonmars Revision: 720068 upgpkg: haskell-tamarin-prover-utils 1.6.0-5: rebuild with base-compat 0.11.2, base-compat-batteries 0.11.2 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file chan

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

2020-10-03 Thread Felix Yan via arch-commits
Date: Sunday, October 4, 2020 @ 00:06:17 Author: felixonmars Revision: 717082 upgpkg: haskell-tamarin-prover-utils 1.6.0-4: rebuild with transformers-compat 0.6.6 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 del

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

2020-10-01 Thread Felix Yan via arch-commits
Date: Friday, October 2, 2020 @ 00:40:51 Author: felixonmars Revision: 714812 upgpkg: haskell-tamarin-prover-utils 1.6.0-3: rebuild with base-orphans 0.8.3 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2020-09-17 Thread Felix Yan via arch-commits
Date: Thursday, September 17, 2020 @ 19:54:36 Author: felixonmars Revision: 709233 upgpkg: haskell-tamarin-prover-utils 1.6.0-2: rebuild with hspec 2.7.4, hspec-core 2.7.4, hspec-discover 2.7.4 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file

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

2020-09-16 Thread Felix Yan via arch-commits
Date: Wednesday, September 16, 2020 @ 14:37:30 Author: felixonmars Revision: 708068 upgpkg: haskell-tamarin-prover-utils 1.6.0-1 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD | 11 +++ 1 file changed, 3 insertions(+), 8 deletions(-) Modified: PKGB

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

2020-09-14 Thread Felix Yan via arch-commits
Date: Monday, September 14, 2020 @ 20:06:42 Author: felixonmars Revision: 706522 upgpkg: haskell-tamarin-prover-utils 1.4.1-65: rebuild with quickcheck-classes-base 0.6.1.0 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion

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

2020-09-12 Thread Felix Yan via arch-commits
Date: Saturday, September 12, 2020 @ 16:43:47 Author: felixonmars Revision: 704336 upgpkg: haskell-tamarin-prover-utils 1.4.1-64: rebuild with ansi-terminal 0.11 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 delet

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

2020-09-10 Thread Felix Yan via arch-commits
Date: Thursday, September 10, 2020 @ 18:44:19 Author: felixonmars Revision: 702177 upgpkg: haskell-tamarin-prover-utils 1.4.1-63: rebuild with mwc-random 0.15.0.1 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 dele

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

2020-09-07 Thread Felix Yan via arch-commits
Date: Monday, September 7, 2020 @ 13:42:57 Author: felixonmars Revision: 699798 upgpkg: haskell-tamarin-prover-utils 1.4.1-62: rebuild with hspec 2.7.3, hspec-core 2.7.3, hspec-discover 2.7.3 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file c

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

2020-09-02 Thread Felix Yan via arch-commits
Date: Wednesday, September 2, 2020 @ 19:34:02 Author: felixonmars Revision: 696900 upgpkg: haskell-tamarin-prover-utils 1.4.1-61: rebuild with mwc-random 0.15.0.0 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 dele

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

2020-08-30 Thread Felix Yan via arch-commits
Date: Monday, August 31, 2020 @ 05:11:58 Author: felixonmars Revision: 693620 upgpkg: haskell-tamarin-prover-utils 1.4.1-60: rebuild with happy 1.20.0 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Mod

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

2020-08-28 Thread Felix Yan via arch-commits
Date: Friday, August 28, 2020 @ 11:52:40 Author: felixonmars Revision: 690610 upgpkg: haskell-tamarin-prover-utils 1.4.1-59: rebuild with logict 0.7.0.3 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) M

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

2020-08-25 Thread Felix Yan via arch-commits
Date: Tuesday, August 25, 2020 @ 14:21:19 Author: felixonmars Revision: 688303 upgpkg: haskell-tamarin-prover-utils 1.4.1-58: rebuild with random 1.2.0 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Mo

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

2020-08-23 Thread Felix Yan via arch-commits
Date: Sunday, August 23, 2020 @ 07:27:53 Author: felixonmars Revision: 686942 upgpkg: haskell-tamarin-prover-utils 1.4.1-57: rebuild with base64-bytestring 1.2.0.0 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 de

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

2020-08-21 Thread Felix Yan via arch-commits
Date: Friday, August 21, 2020 @ 08:44:00 Author: felixonmars Revision: 685831 upgpkg: haskell-tamarin-prover-utils 1.4.1-56: rebuild with dlist 1.0 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modifi

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

2020-08-17 Thread Felix Yan via arch-commits
Date: Monday, August 17, 2020 @ 20:02:08 Author: felixonmars Revision: 683172 upgpkg: haskell-tamarin-prover-utils 1.4.1-55: rebuild with ghc 8.10.2 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modif

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

2020-08-15 Thread Felix Yan via arch-commits
Date: Saturday, August 15, 2020 @ 22:17:08 Author: felixonmars Revision: 680180 upgpkg: haskell-tamarin-prover-utils 1.4.1-54: rebuild with math-functions 0.3.4.1 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 del

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

2020-08-13 Thread Felix Yan via arch-commits
Date: Thursday, August 13, 2020 @ 17:05:33 Author: felixonmars Revision: 677708 upgpkg: haskell-tamarin-prover-utils 1.4.1-53: rebuild with hspec 2.7.2, hspec-core 2.7.2, hspec-discover 2.7.2 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file c

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

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

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

2020-07-31 Thread Felix Yan via arch-commits
Date: Friday, July 31, 2020 @ 23:29:23 Author: felixonmars Revision: 666752 upgpkg: haskell-tamarin-prover-utils 1.4.1-51: rebuild with QuickCheck 2.14.1 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2020-06-28 Thread Felix Yan via arch-commits
Date: Sunday, June 28, 2020 @ 23:04:04 Author: felixonmars Revision: 655607 upgpkg: haskell-tamarin-prover-utils 1.4.1-50: rebuild with primitive 0.7.1.0 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2020-06-23 Thread Felix Yan via arch-commits
Date: Tuesday, June 23, 2020 @ 22:37:00 Author: felixonmars Revision: 651802 upgpkg: haskell-tamarin-prover-utils 1.4.1-49: rebuild with splitmix 0.1 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modi

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

2020-06-13 Thread Felix Yan via arch-commits
Date: Saturday, June 13, 2020 @ 23:17:02 Author: felixonmars Revision: 643398 upgpkg: haskell-tamarin-prover-utils 1.4.1-48: rebuild with splitmix 0.0.5 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) M

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

2020-05-24 Thread Felix Yan via arch-commits
Date: Monday, May 25, 2020 @ 03:41:48 Author: felixonmars Revision: 633742 upgpkg: haskell-tamarin-prover-utils 1.4.1-47: rebuild with safe 0.3.19 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modifie

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

2020-05-23 Thread Felix Yan via arch-commits
Date: Saturday, May 23, 2020 @ 16:26:54 Author: felixonmars Revision: 632194 upgpkg: haskell-tamarin-prover-utils 1.4.1-46: rebuild with tasty 1.3.1 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modif

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

2020-05-22 Thread Felix Yan via arch-commits
Date: Saturday, May 23, 2020 @ 01:53:16 Author: felixonmars Revision: 631748 upgpkg: haskell-tamarin-prover-utils 1.4.1-45: rebuild with fclabels 2.0.5 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Mo

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

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

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

2020-05-12 Thread Felix Yan via arch-commits
Date: Tuesday, May 12, 2020 @ 11:08:21 Author: felixonmars Revision: 626816 upgpkg: haskell-tamarin-prover-utils 1.4.1-43: rebuild with tasty 1.3 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified

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

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

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

2020-04-03 Thread Felix Yan via arch-commits
Date: Friday, April 3, 2020 @ 15:23:31 Author: felixonmars Revision: 610836 upgpkg: haskell-tamarin-prover-utils 1.4.1-41: rebuild with dlist 0.8.0.8 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modi

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

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

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

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

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

2020-03-01 Thread Felix Yan via arch-commits
Date: Sunday, March 1, 2020 @ 18:55:25 Author: felixonmars Revision: 587973 upgpkg: haskell-tamarin-prover-utils 1.4.1-38: rebuild with primitive 0.7.0.1 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2020-02-27 Thread Felix Yan via arch-commits
Date: Thursday, February 27, 2020 @ 15:31:17 Author: felixonmars Revision: 584276 upgpkg: haskell-tamarin-prover-utils 1.4.1-37: rebuild with ghc 8.8.3 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Mo

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

2020-02-25 Thread Felix Yan via arch-commits
Date: Tuesday, February 25, 2020 @ 17:15:20 Author: felixonmars Revision: 581641 upgpkg: haskell-tamarin-prover-utils 1.4.1-36: rebuild with splitmix 0.0.4 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2020-02-23 Thread Felix Yan via arch-commits
Date: Sunday, February 23, 2020 @ 17:21:52 Author: felixonmars Revision: 579891 upgpkg: haskell-tamarin-prover-utils 1.4.1-35: rebuild with split 0.2.3.4 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |4 ++-- 1 file changed, 2 insertions(+), 2 deletions(

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

2020-02-16 Thread Felix Yan via arch-commits
Date: Sunday, February 16, 2020 @ 09:51:27 Author: felixonmars Revision: 572189 upgpkg: haskell-tamarin-prover-utils 1.4.1-34: rebuild with ghc 8.8.2 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modi

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

2020-02-10 Thread Felix Yan via arch-commits
Date: Monday, February 10, 2020 @ 23:02:26 Author: felixonmars Revision: 566381 upgpkg: haskell-tamarin-prover-utils 1.4.1-33: rebuild with ansi-terminal 0.10.3 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deleti

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

2020-02-05 Thread Felix Yan via arch-commits
Date: Wednesday, February 5, 2020 @ 10:04:40 Author: felixonmars Revision: 563044 upgpkg: haskell-tamarin-prover-utils 1.4.1-32: rebuild with vector 0.12.1.0 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(

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

2020-02-04 Thread Felix Yan via arch-commits
Date: Tuesday, February 4, 2020 @ 19:48:17 Author: felixonmars Revision: 562410 upgpkg: haskell-tamarin-prover-utils 1.4.1-31: rebuild with vector 0.12.1.0 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

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

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

2020-01-29 Thread Felix Yan via arch-commits
Date: Wednesday, January 29, 2020 @ 12:23:22 Author: felixonmars Revision: 558757 upgpkg: haskell-tamarin-prover-utils 1.4.1-29: rebuild with base-compat 0.11.1, base-compat-batteries 0.11.1 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file ch

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

2020-01-27 Thread Felix Yan via arch-commits
Date: Monday, January 27, 2020 @ 23:48:53 Author: felixonmars Revision: 556741 upgpkg: haskell-tamarin-prover-utils 1.4.1-28: rebuild with base-orphans 0.8.2 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(

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

2020-01-22 Thread Felix Yan via arch-commits
Date: Wednesday, January 22, 2020 @ 19:45:42 Author: felixonmars Revision: 554460 upgpkg: haskell-tamarin-prover-utils 1.4.1-27: rebuild with base64-bytestring 1.0.0.3 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+),

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

2020-01-09 Thread Felix Yan via arch-commits
Date: Thursday, January 9, 2020 @ 18:12:04 Author: felixonmars Revision: 551399 upgpkg: haskell-tamarin-prover-utils 1.4.1-26: rebuild with ghc 8.8.1, cabal-doctest 1.0.7, polyparse 1.13, primitive 0.7.0.0, regex-base 0.94.0.0, regex-pcre 0.95.0.0, regex-posix 0.96.0.0, regex-tdfa 1.3.1.0,

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

2020-01-04 Thread Felix Yan via arch-commits
Date: Saturday, January 4, 2020 @ 16:56:39 Author: felixonmars Revision: 548117 upgpkg: haskell-tamarin-prover-utils 1.4.1-25: rebuild with ansi-terminal 0.10.2 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deleti

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

2020-01-02 Thread Felix Yan via arch-commits
Date: Thursday, January 2, 2020 @ 15:51:57 Author: felixonmars Revision: 546276 upgpkg: haskell-tamarin-prover-utils 1.4.1-24: rebuild with ansi-terminal 0.10.1 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deleti

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

2019-12-30 Thread Felix Yan via arch-commits
Date: Monday, December 30, 2019 @ 09:43:17 Author: felixonmars Revision: 544282 upgpkg: haskell-tamarin-prover-utils 1.4.1-23: rebuild with exceptions 0.10.4 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(

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

2019-12-25 Thread Felix Yan via arch-commits
Date: Wednesday, December 25, 2019 @ 11:17:12 Author: felixonmars Revision: 540822 upgpkg: haskell-tamarin-prover-utils 1.4.1-22: rebuild with tasty-hunit 0.10.0.2 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 del

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

2019-12-23 Thread Felix Yan via arch-commits
Date: Monday, December 23, 2019 @ 14:20:38 Author: felixonmars Revision: 539264 upgpkg: haskell-tamarin-prover-utils 1.4.1-21: rebuild with pandoc 2.8, pandoc-types 1.20, doctemplates 0.7.1, HsYAML 0.2.1.0, haddock-library 1.8.0, texmath 0.12, base-compat 0.11.0, base-compat-batteries 0.11

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

2019-12-06 Thread Felix Yan via arch-commits
Date: Friday, December 6, 2019 @ 18:02:48 Author: felixonmars Revision: 535916 upgpkg: haskell-tamarin-prover-utils 1.4.1-20 rebuild with safe 0.3.18 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Mod

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

2019-09-01 Thread Felix Yan via arch-commits
Date: Monday, September 2, 2019 @ 06:00:35 Author: felixonmars Revision: 506575 upgpkg: haskell-tamarin-prover-utils 1.4.1-19 rebuild with exceptions 0.10.3 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(

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

2019-08-26 Thread Felix Yan via arch-commits
Date: Monday, August 26, 2019 @ 09:40:41 Author: felixonmars Revision: 502036 upgpkg: haskell-tamarin-prover-utils 1.4.1-18 rebuild with call-stack 0.2.0 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2019-08-06 Thread Felix Yan via arch-commits
Date: Tuesday, August 6, 2019 @ 13:54:10 Author: felixonmars Revision: 497768 upgpkg: haskell-tamarin-prover-utils 1.4.1-17 rebuild with dlist 0.8.0.7 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Mo

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

2019-07-31 Thread Felix Yan via arch-commits
Date: Wednesday, July 31, 2019 @ 17:58:24 Author: felixonmars Revision: 495766 upgpkg: haskell-tamarin-prover-utils 1.4.1-16 rebuild with splitmix 0.0.3 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2019-07-27 Thread Felix Yan via arch-commits
Date: Saturday, July 27, 2019 @ 11:26:49 Author: felixonmars Revision: 493167 upgpkg: haskell-tamarin-prover-utils 1.4.1-15 rebuild with silently 1.2.5.1 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2019-07-17 Thread Felix Yan via arch-commits
Date: Wednesday, July 17, 2019 @ 17:06:05 Author: felixonmars Revision: 490353 upgpkg: haskell-tamarin-prover-utils 1.4.1-14 rebuild with QuickCheck 2.13.2 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-

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

2019-06-30 Thread Felix Yan via arch-commits
Date: Sunday, June 30, 2019 @ 17:16:25 Author: felixonmars Revision: 486414 upgpkg: haskell-tamarin-prover-utils 1.4.1-13 rebuild with tasty 1.2.3 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modifi

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

2019-06-27 Thread Felix Yan via arch-commits
Date: Thursday, June 27, 2019 @ 08:14:35 Author: felixonmars Revision: 484793 upgpkg: haskell-tamarin-prover-utils 1.4.1-12 rebuild with syb 0.7.1 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modifi

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

2019-06-08 Thread Felix Yan via arch-commits
Date: Sunday, June 9, 2019 @ 00:38:59 Author: felixonmars Revision: 478506 upgpkg: haskell-tamarin-prover-utils 1.4.1-11 rebuild with async 2.2.2 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modifie

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

2019-05-30 Thread Felix Yan via arch-commits
Date: Thursday, May 30, 2019 @ 14:44:28 Author: felixonmars Revision: 474640 upgpkg: haskell-tamarin-prover-utils 1.4.1-10 rebuild with ansi-terminal 0.9.1, ansi-wl-pprint 0.6.9, concurrent-output 1.10.10 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |

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

2019-05-28 Thread Felix Yan via arch-commits
Date: Tuesday, May 28, 2019 @ 22:38:20 Author: felixonmars Revision: 473209 upgpkg: haskell-tamarin-prover-utils 1.4.1-9 rebuild with clock 0.8 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified:

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

2019-05-27 Thread Felix Yan via arch-commits
Date: Monday, May 27, 2019 @ 14:59:29 Author: felixonmars Revision: 471472 upgpkg: haskell-tamarin-prover-utils 1.4.1-8 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 Modified: haskell-tamarin-prover-

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

2019-05-27 Thread Felix Yan via arch-commits
Date: Monday, May 27, 2019 @ 08:14:06 Author: felixonmars Revision: 471103 upgpkg: haskell-tamarin-prover-utils 1.4.1-7 rebuild with QuickCheck 2.13.1 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Mo

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

2019-05-06 Thread Felix Yan via arch-commits
Date: Monday, May 6, 2019 @ 11:16:44 Author: felixonmars Revision: 460668 upgpkg: haskell-tamarin-prover-utils 1.4.1-6 rebuild with colour 2.3.5 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified

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

2019-04-26 Thread Felix Yan via arch-commits
Date: Friday, April 26, 2019 @ 16:50:30 Author: felixonmars Revision: 454279 upgpkg: haskell-tamarin-prover-utils 1.4.1-5 rebuild with ghc 8.6.5 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified

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

2019-03-30 Thread Felix Yan via arch-commits
Date: Sunday, March 31, 2019 @ 05:16:24 Author: felixonmars Revision: 446466 upgpkg: haskell-tamarin-prover-utils 1.4.1-4 rebuild with dlist 0.8.0.6 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modi

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

2019-03-09 Thread Felix Yan via arch-commits
Date: Sunday, March 10, 2019 @ 07:15:35 Author: felixonmars Revision: 438962 upgpkg: haskell-tamarin-prover-utils 1.4.1-3 rebuild with ghc 8.6.4 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified

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

2019-01-20 Thread Felix Yan via arch-commits
Date: Sunday, January 20, 2019 @ 19:37:01 Author: felixonmars Revision: 425476 upgpkg: haskell-tamarin-prover-utils 1.4.1-2 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 Modified: haskell-tamarin-prover

[arch-commits] Commit in haskell-tamarin-prover-utils/trunk (PKGBUILD ghc-8.4.patch)

2019-01-20 Thread Felix Yan via arch-commits
Date: Sunday, January 20, 2019 @ 11:12:21 Author: felixonmars Revision: 425030 upgpkg: haskell-tamarin-prover-utils 1.4.1-1 rebuild with tamarin-prover 1.4.1 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD Deleted: haskell-tamarin-prover-utils/trunk/ghc-8.4.patch ---

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

2018-12-09 Thread Felix Yan via arch-commits
Date: Monday, December 10, 2018 @ 01:44:13 Author: felixonmars Revision: 413711 upgpkg: haskell-tamarin-prover-utils 1.4.0-10 rebuild with ghc 8.6.3, cmark-gfm 0.1.6 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2018-12-05 Thread Felix Yan via arch-commits
Date: Wednesday, December 5, 2018 @ 09:08:19 Author: felixonmars Revision: 411286 upgpkg: haskell-tamarin-prover-utils 1.4.0-9 rebuild with base64-bytestring 1.0.0.2 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2018-11-06 Thread Felix Yan via arch-commits
Date: Tuesday, November 6, 2018 @ 21:36:39 Author: felixonmars Revision: 402238 upgpkg: haskell-tamarin-prover-utils 1.4.0-8 rebuild with ghc 8.6.2 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD | 10 +- 1 file changed, 5 insertions(+), 5 deletions

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

2018-10-14 Thread Felix Yan via arch-commits
Date: Monday, October 15, 2018 @ 00:12:46 Author: felixonmars Revision: 393981 upgpkg: haskell-tamarin-prover-utils 1.4.0-7 rebuild with ghc 8.6.1 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modifi

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

2018-09-13 Thread Felix Yan via arch-commits
Date: Thursday, September 13, 2018 @ 15:55:55 Author: felixonmars Revision: 380334 upgpkg: haskell-tamarin-prover-utils 1.4.0-6 rebuild with dlist 0.8.0.5 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2018-06-02 Thread Felix Yan via arch-commits
Date: Saturday, June 2, 2018 @ 10:25:12 Author: felixonmars Revision: 337297 upgpkg: haskell-tamarin-prover-utils 1.4.0-5 rebuild with primitive 0.6.4.0 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2018-06-01 Thread Felix Yan via arch-commits
Date: Friday, June 1, 2018 @ 07:47:18 Author: felixonmars Revision: 335634 upgpkg: haskell-tamarin-prover-utils 1.4.0-4 rebuild with ghc 8.4.3 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified:

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

2018-05-23 Thread Felix Yan via arch-commits
Date: Wednesday, May 23, 2018 @ 07:50:52 Author: felixonmars Revision: 328049 upgpkg: haskell-tamarin-prover-utils 1.4.0-3 rebuild with safe,0.3.17 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modif

[arch-commits] Commit in haskell-tamarin-prover-utils/trunk (PKGBUILD ghc-8.4.patch)

2018-05-18 Thread Felix Yan via arch-commits
Date: Friday, May 18, 2018 @ 07:43:29 Author: felixonmars Revision: 324257 upgpkg: haskell-tamarin-prover-utils 1.4.0-2 rebuild with ghc 8.4.2 Added: haskell-tamarin-prover-utils/trunk/ghc-8.4.patch Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD ---+ PKGBUILD

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

2018-05-07 Thread Felix Yan via arch-commits
Date: Monday, May 7, 2018 @ 13:00:59 Author: felixonmars Revision: 319104 upgpkg: haskell-tamarin-prover-utils 1.4.0-1 Modified: haskell-tamarin-prover-utils/trunk/PKGBUILD --+ PKGBUILD |6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) Modified: PKGBUILD ==

  1   2   >