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

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

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

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

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

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

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

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

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

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

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

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

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

2020-12-21 Thread Felix Yan via arch-commits
Date: Monday, December 21, 2020 @ 13:54:19 Author: felixonmars Revision: 781079 upgpkg: haskell-tamarin-prover-term 1.6.0-22: rebuild with tasty-hunit 0.10.0.3 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2020-12-17 Thread Felix Yan via arch-commits
Date: Thursday, December 17, 2020 @ 19:48:57 Author: felixonmars Revision: 777922 upgpkg: haskell-tamarin-prover-term 1.6.0-21: rebuild with th-abstraction 0.4.1.0 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2020-12-13 Thread Felix Yan via arch-commits
Date: Sunday, December 13, 2020 @ 14:03:00 Author: felixonmars Revision: 774303 upgpkg: haskell-tamarin-prover-term 1.6.0-20: rebuild with base-orphans 0.8.5 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

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

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

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

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

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

[arch-commits] Commit in haskell-tamarin-prover-term/trunk (PKGBUILD maude-3.1.patch)

2020-11-19 Thread Felix Yan via arch-commits
Date: Thursday, November 19, 2020 @ 15:05:12 Author: felixonmars Revision: 757595 upgpkg: haskell-tamarin-prover-term 1.6.0-16: add fix for maude 3.1 Added: haskell-tamarin-prover-term/trunk/maude-3.1.patch Modified: haskell-tamarin-prover-term/trunk/PKGBUILD -+

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

2020-11-16 Thread Felix Yan via arch-commits
Date: Monday, November 16, 2020 @ 16:29:14 Author: felixonmars Revision: 755393 upgpkg: haskell-tamarin-prover-term 1.6.0-15: rebuild with QuickCheck 2.14.2 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2020-10-16 Thread Felix Yan via arch-commits
Date: Friday, October 16, 2020 @ 21:44:33 Author: felixonmars Revision: 725078 upgpkg: haskell-tamarin-prover-term 1.6.0-7: rebuild with th-abstraction 0.4.0.0 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2020-10-06 Thread Felix Yan via arch-commits
Date: Wednesday, October 7, 2020 @ 00:30:53 Author: felixonmars Revision: 720070 upgpkg: haskell-tamarin-prover-term 1.6.0-6: rebuild with base-compat 0.11.2, base-compat-batteries 0.11.2 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file

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

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

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

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

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

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

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

2020-09-16 Thread Felix Yan via arch-commits
Date: Wednesday, September 16, 2020 @ 14:41:22 Author: felixonmars Revision: 708072 upgpkg: haskell-tamarin-prover-term 1.6.0-2: rebuild for tamarin-prover-utils 1.6.0 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+),

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

2020-09-16 Thread Felix Yan via arch-commits
Date: Wednesday, September 16, 2020 @ 14:39:54 Author: felixonmars Revision: 708070 upgpkg: haskell-tamarin-prover-term 1.6.0-1 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD | 19 ++- 1 file changed, 6 insertions(+), 13 deletions(-)

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

2020-09-14 Thread Felix Yan via arch-commits
Date: Monday, September 14, 2020 @ 20:07:39 Author: felixonmars Revision: 706525 upgpkg: haskell-tamarin-prover-term 1.4.1-80: rebuild with quickcheck-classes-base 0.6.1.0 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1

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

2020-09-12 Thread Felix Yan via arch-commits
Date: Saturday, September 12, 2020 @ 16:44:48 Author: felixonmars Revision: 704338 upgpkg: haskell-tamarin-prover-term 1.4.1-79: rebuild with ansi-terminal 0.11 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2020-09-10 Thread Felix Yan via arch-commits
Date: Thursday, September 10, 2020 @ 18:46:23 Author: felixonmars Revision: 702179 upgpkg: haskell-tamarin-prover-term 1.4.1-78: rebuild with mwc-random 0.15.0.1 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2020-09-07 Thread Felix Yan via arch-commits
Date: Monday, September 7, 2020 @ 13:44:35 Author: felixonmars Revision: 699800 upgpkg: haskell-tamarin-prover-term 1.4.1-77: rebuild with hspec 2.7.3, hspec-core 2.7.3, hspec-discover 2.7.3 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file

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

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

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

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

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

2020-08-28 Thread Felix Yan via arch-commits
Date: Friday, August 28, 2020 @ 11:54:00 Author: felixonmars Revision: 690612 upgpkg: haskell-tamarin-prover-term 1.4.1-74: rebuild with logict 0.7.0.3 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2020-08-25 Thread Felix Yan via arch-commits
Date: Tuesday, August 25, 2020 @ 14:22:52 Author: felixonmars Revision: 688305 upgpkg: haskell-tamarin-prover-term 1.4.1-73: rebuild with random 1.2.0 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

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

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

2020-08-21 Thread Felix Yan via arch-commits
Date: Friday, August 21, 2020 @ 08:45:40 Author: felixonmars Revision: 685833 upgpkg: haskell-tamarin-prover-term 1.4.1-71: rebuild with dlist 1.0 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

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

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

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

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

2020-08-13 Thread Felix Yan via arch-commits
Date: Thursday, August 13, 2020 @ 17:06:46 Author: felixonmars Revision: 677710 upgpkg: haskell-tamarin-prover-term 1.4.1-68: rebuild with hspec 2.7.2, hspec-core 2.7.2, hspec-discover 2.7.2 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file

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

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

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

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

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

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

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

2020-06-23 Thread Felix Yan via arch-commits
Date: Tuesday, June 23, 2020 @ 22:38:21 Author: felixonmars Revision: 651804 upgpkg: haskell-tamarin-prover-term 1.4.1-64: rebuild with splitmix 0.1 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2020-06-13 Thread Felix Yan via arch-commits
Date: Saturday, June 13, 2020 @ 23:18:15 Author: felixonmars Revision: 643400 upgpkg: haskell-tamarin-prover-term 1.4.1-63: rebuild with splitmix 0.0.5 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

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

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

2020-05-23 Thread Felix Yan via arch-commits
Date: Saturday, May 23, 2020 @ 16:28:18 Author: felixonmars Revision: 632196 upgpkg: haskell-tamarin-prover-term 1.4.1-61: rebuild with tasty 1.3.1 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

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

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

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

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

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

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

2020-04-30 Thread Felix Yan via arch-commits
Date: Thursday, April 30, 2020 @ 10:24:18 Author: felixonmars Revision: 622436 upgpkg: haskell-tamarin-prover-term 1.4.1-57 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

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

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

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

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

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

2020-03-28 Thread Felix Yan via arch-commits
Date: Saturday, March 28, 2020 @ 16:05:34 Author: felixonmars Revision: 605272 upgpkg: haskell-tamarin-prover-term 1.4.1-54: rebuild with attoparsec 0.13.2.4 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

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

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

2020-03-08 Thread Felix Yan via arch-commits
Date: Sunday, March 8, 2020 @ 21:34:31 Author: felixonmars Revision: 592545 upgpkg: haskell-tamarin-prover-term 1.4.1-52 fix compatibility with maude 3 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD | 17 - 1 file changed, 12 insertions(+),

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

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

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

2020-02-27 Thread Felix Yan via arch-commits
Date: Thursday, February 27, 2020 @ 15:32:40 Author: felixonmars Revision: 584278 upgpkg: haskell-tamarin-prover-term 1.4.1-50: rebuild with ghc 8.8.3 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

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

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

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

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

2020-02-16 Thread Felix Yan via arch-commits
Date: Sunday, February 16, 2020 @ 09:52:48 Author: felixonmars Revision: 572191 upgpkg: haskell-tamarin-prover-term 1.4.1-47: rebuild with ghc 8.8.2 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2020-02-11 Thread Felix Yan via arch-commits
Date: Tuesday, February 11, 2020 @ 09:15:44 Author: felixonmars Revision: 566868 upgpkg: haskell-tamarin-prover-term 1.4.1-46: rebuild with ansi-terminal 0.10.3 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2020-02-09 Thread Felix Yan via arch-commits
Date: Sunday, February 9, 2020 @ 16:22:59 Author: felixonmars Revision: 565458 upgpkg: haskell-tamarin-prover-term 1.4.1-45: rebuild with tasty-quickcheck 0.10.1.1 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2020-02-05 Thread Felix Yan via arch-commits
Date: Wednesday, February 5, 2020 @ 19:09:33 Author: felixonmars Revision: 563390 upgpkg: haskell-tamarin-prover-term 1.4.1-44: rebuild with vector 0.12.1.0 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

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

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

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

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

2020-01-27 Thread Felix Yan via arch-commits
Date: Monday, January 27, 2020 @ 23:50:17 Author: felixonmars Revision: 556743 upgpkg: haskell-tamarin-prover-term 1.4.1-41: rebuild with base-orphans 0.8.2 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

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

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

2020-01-09 Thread Felix Yan via arch-commits
Date: Thursday, January 9, 2020 @ 18:13:27 Author: felixonmars Revision: 551401 upgpkg: haskell-tamarin-prover-term 1.4.1-39: 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-term/trunk (PKGBUILD)

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

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

2020-01-02 Thread Felix Yan via arch-commits
Date: Thursday, January 2, 2020 @ 15:53:17 Author: felixonmars Revision: 546278 upgpkg: haskell-tamarin-prover-term 1.4.1-37: rebuild with ansi-terminal 0.10.1 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2019-12-30 Thread Felix Yan via arch-commits
Date: Monday, December 30, 2019 @ 09:44:40 Author: felixonmars Revision: 544284 upgpkg: haskell-tamarin-prover-term 1.4.1-36: rebuild with exceptions 0.10.4 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

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

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

2019-12-23 Thread Felix Yan via arch-commits
Date: Monday, December 23, 2019 @ 14:21:58 Author: felixonmars Revision: 539266 upgpkg: haskell-tamarin-prover-term 1.4.1-34: 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

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

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

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

2019-11-21 Thread Felix Yan via arch-commits
Date: Thursday, November 21, 2019 @ 17:04:08 Author: felixonmars Revision: 531183 upgpkg: haskell-tamarin-prover-term 1.4.1-32 rebuild with pcre-light 0.4.1.0 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2019-09-02 Thread Felix Yan via arch-commits
Date: Monday, September 2, 2019 @ 06:01:47 Author: felixonmars Revision: 506577 upgpkg: haskell-tamarin-prover-term 1.4.1-31 rebuild with exceptions 0.10.3 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2019-09-01 Thread Felix Yan via arch-commits
Date: Sunday, September 1, 2019 @ 09:50:44 Author: felixonmars Revision: 505960 upgpkg: haskell-tamarin-prover-term 1.4.1-30 rebuild with attoparsec 0.13.2.3 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

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

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

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

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

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

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

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

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

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

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

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

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

2019-06-27 Thread Felix Yan via arch-commits
Date: Thursday, June 27, 2019 @ 08:15:47 Author: felixonmars Revision: 484795 upgpkg: haskell-tamarin-prover-term 1.4.1-23 rebuild with syb 0.7.1 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

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

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

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

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

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

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

2019-05-28 Thread Felix Yan via arch-commits
Date: Tuesday, May 28, 2019 @ 19:57:29 Author: felixonmars Revision: 473047 upgpkg: haskell-tamarin-prover-term 1.4.1-19 rebuild with clock 0.8 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified:

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

2019-05-27 Thread Felix Yan via arch-commits
Date: Monday, May 27, 2019 @ 17:23:43 Author: felixonmars Revision: 471714 upgpkg: haskell-tamarin-prover-term 1.4.1-18 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:

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

2019-05-27 Thread Felix Yan via arch-commits
Date: Monday, May 27, 2019 @ 12:14:52 Author: felixonmars Revision: 471346 upgpkg: haskell-tamarin-prover-term 1.4.1-17 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:

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

2019-05-22 Thread Felix Yan via arch-commits
Date: Wednesday, May 22, 2019 @ 20:32:07 Author: felixonmars Revision: 468683 upgpkg: haskell-tamarin-prover-term 1.4.1-16 rebuild with tasty-quickcheck 0.10.1 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2019-05-12 Thread Felix Yan via arch-commits
Date: Sunday, May 12, 2019 @ 10:31:20 Author: felixonmars Revision: 466138 upgpkg: haskell-tamarin-prover-term 1.4.1-15 rebuild with transformers-compat 0.6.5 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2019-05-08 Thread Felix Yan via arch-commits
Date: Wednesday, May 8, 2019 @ 22:49:17 Author: felixonmars Revision: 463484 upgpkg: haskell-tamarin-prover-term 1.4.1-14 rebuild with exceptions 0.10.2 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

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

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

2019-05-02 Thread Felix Yan via arch-commits
Date: Friday, May 3, 2019 @ 02:55:40 Author: felixonmars Revision: 458093 upgpkg: haskell-tamarin-prover-term 1.4.1-12 rebuild with vector 0.12.0.3 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2019-04-27 Thread Felix Yan via arch-commits
Date: Saturday, April 27, 2019 @ 13:14:51 Author: felixonmars Revision: 454701 upgpkg: haskell-tamarin-prover-term 1.4.1-11 rebuild with ghc 8.6.5 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

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

2019-04-20 Thread Felix Yan via arch-commits
Date: Saturday, April 20, 2019 @ 21:37:34 Author: felixonmars Revision: 452437 upgpkg: haskell-tamarin-prover-term 1.4.1-10 rebuild with integer-logarithms 1.0.3 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

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

2019-04-03 Thread Felix Yan via arch-commits
Date: Thursday, April 4, 2019 @ 00:19:23 Author: felixonmars Revision: 448692 upgpkg: haskell-tamarin-prover-term 1.4.1-9 rebuild with transformers-compat 0.6.4 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1

  1   2   >