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

2020-01-29 Thread Felix Yan via arch-commits
Date: Wednesday, January 29, 2020 @ 14:21:43 Author: felixonmars Revision: 558915 upgpkg: haskell-tamarin-prover-theory 1.4.1-55: rebuild with base-compat 0.11.1, base-compat-batteries 0.11.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file

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

2020-01-27 Thread Felix Yan via arch-commits
Date: Tuesday, January 28, 2020 @ 03:16:26 Author: felixonmars Revision: 557082 upgpkg: haskell-tamarin-prover-theory 1.4.1-54: rebuild with base-orphans 0.8.2 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-01-22 Thread Felix Yan via arch-commits
Date: Wednesday, January 22, 2020 @ 19:51:00 Author: felixonmars Revision: 554464 upgpkg: haskell-tamarin-prover-theory 1.4.1-53: rebuild with base64-bytestring 1.0.0.3 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-01-10 Thread Felix Yan via arch-commits
Date: Friday, January 10, 2020 @ 15:32:51 Author: felixonmars Revision: 551666 upgpkg: haskell-tamarin-prover-theory 1.4.1-52: 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-theory/trunk (PKGBUILD)

2020-01-04 Thread Felix Yan via arch-commits
Date: Saturday, January 4, 2020 @ 19:46:02 Author: felixonmars Revision: 548329 upgpkg: haskell-tamarin-prover-theory 1.4.1-51: rebuild with ansi-terminal 0.10.2 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-01-02 Thread Felix Yan via arch-commits
Date: Thursday, January 2, 2020 @ 18:18:37 Author: felixonmars Revision: 546461 upgpkg: haskell-tamarin-prover-theory 1.4.1-50: rebuild with ansi-terminal 0.10.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)

2019-12-30 Thread Felix Yan via arch-commits
Date: Monday, December 30, 2019 @ 12:17:09 Author: felixonmars Revision: 544500 upgpkg: haskell-tamarin-prover-theory 1.4.1-49: rebuild with exceptions 0.10.4 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)

2019-12-25 Thread Felix Yan via arch-commits
Date: Wednesday, December 25, 2019 @ 13:28:54 Author: felixonmars Revision: 541003 upgpkg: haskell-tamarin-prover-theory 1.4.1-48: rebuild with tasty-hunit 0.10.0.2 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)

2019-12-23 Thread Felix Yan via arch-commits
Date: Monday, December 23, 2019 @ 18:30:07 Author: felixonmars Revision: 539443 upgpkg: haskell-tamarin-prover-theory 1.4.1-47: 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.1

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

2019-12-06 Thread Felix Yan via arch-commits
Date: Friday, December 6, 2019 @ 18:08:22 Author: felixonmars Revision: 535924 upgpkg: haskell-tamarin-prover-theory 1.4.1-46 rebuild with safe 0.3.18 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)

2019-11-23 Thread Felix Yan via arch-commits
Date: Sunday, November 24, 2019 @ 04:54:46 Author: felixonmars Revision: 532491 upgpkg: haskell-tamarin-prover-theory 1.4.1-45 rebuild ChasingBottoms 1.3.1.7 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)

2019-11-21 Thread Felix Yan via arch-commits
Date: Thursday, November 21, 2019 @ 20:57:00 Author: felixonmars Revision: 531311 upgpkg: haskell-tamarin-prover-theory 1.4.1-44 rebuild with pcre-light 0.4.1.0 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)

2019-11-19 Thread Felix Yan via arch-commits
Date: Wednesday, November 20, 2019 @ 05:12:02 Author: felixonmars Revision: 530593 upgpkg: haskell-tamarin-prover-theory 1.4.1-43 rebuild with Diff 0.4.0, aeson 1.4.6.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)

2019-10-20 Thread Felix Yan via arch-commits
Date: Sunday, October 20, 2019 @ 17:48:56 Author: felixonmars Revision: 517866 upgpkg: haskell-tamarin-prover-theory 1.4.1-42 rebuild with aeson-pretty 0.8.8 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)

2019-09-02 Thread Felix Yan via arch-commits
Date: Monday, September 2, 2019 @ 08:19:12 Author: felixonmars Revision: 506827 upgpkg: haskell-tamarin-prover-theory 1.4.1-41 rebuild with exceptions 0.10.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)

2019-09-01 Thread Felix Yan via arch-commits
Date: Sunday, September 1, 2019 @ 09:54:01 Author: felixonmars Revision: 505962 upgpkg: haskell-tamarin-prover-theory 1.4.1-40 rebuild with attoparsec 0.13.2.3 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)

2019-08-28 Thread Felix Yan via arch-commits
Date: Wednesday, August 28, 2019 @ 07:39:32 Author: felixonmars Revision: 503614 upgpkg: haskell-tamarin-prover-theory 1.4.1-39 rebuild with bifunctors 5.5.5, th-abstraction 0.3.1.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1

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

2019-08-26 Thread Felix Yan via arch-commits
Date: Monday, August 26, 2019 @ 21:23:15 Author: felixonmars Revision: 502314 upgpkg: haskell-tamarin-prover-theory 1.4.1-38 rebuild with call-stack 0.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)

2019-08-06 Thread Felix Yan via arch-commits
Date: Tuesday, August 6, 2019 @ 13:59:09 Author: felixonmars Revision: 497772 upgpkg: haskell-tamarin-prover-theory 1.4.1-37 rebuild with dlist 0.8.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)

2019-07-31 Thread Felix Yan via arch-commits
Date: Thursday, August 1, 2019 @ 04:30:08 Author: felixonmars Revision: 495997 upgpkg: haskell-tamarin-prover-theory 1.4.1-36 rebuild with splitmix 0.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)

2019-07-29 Thread Felix Yan via arch-commits
Date: Monday, July 29, 2019 @ 10:27:36 Author: felixonmars Revision: 494570 upgpkg: haskell-tamarin-prover-theory 1.4.1-35 rebuild with quickcheck-instances 0.3.22 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)

2019-07-27 Thread Felix Yan via arch-commits
Date: Sunday, July 28, 2019 @ 02:42:06 Author: felixonmars Revision: 493418 upgpkg: haskell-tamarin-prover-theory 1.4.1-34 rebuild with silently 1.2.5.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)

2019-07-18 Thread Felix Yan via arch-commits
Date: Thursday, July 18, 2019 @ 17:21:54 Author: felixonmars Revision: 491753 upgpkg: haskell-tamarin-prover-theory 1.4.1-33 rebuild with ChasingBottoms 1.3.1.6 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)

2019-07-17 Thread Felix Yan via arch-commits
Date: Wednesday, July 17, 2019 @ 19:38:08 Author: felixonmars Revision: 490561 upgpkg: haskell-tamarin-prover-theory 1.4.1-32 rebuild with QuickCheck 2.13.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)

2019-06-30 Thread Felix Yan via arch-commits
Date: Sunday, June 30, 2019 @ 19:18:43 Author: felixonmars Revision: 486606 upgpkg: haskell-tamarin-prover-theory 1.4.1-31 rebuild with tasty 1.2.3 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modi

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

2019-06-27 Thread Felix Yan via arch-commits
Date: Friday, June 28, 2019 @ 02:58:22 Author: felixonmars Revision: 485162 upgpkg: haskell-tamarin-prover-theory 1.4.1-30 rebuild with syb 0.7.1 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)

2019-06-26 Thread Felix Yan via arch-commits
Date: Wednesday, June 26, 2019 @ 09:53:28 Author: felixonmars Revision: 484338 upgpkg: haskell-tamarin-prover-theory 1.4.1-29 rebuild with aeson 1.4.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)

2019-06-09 Thread Felix Yan via arch-commits
Date: Sunday, June 9, 2019 @ 10:57:05 Author: felixonmars Revision: 478727 upgpkg: haskell-tamarin-prover-theory 1.4.1-28 rebuild with async 2.2.2 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)

2019-05-30 Thread Felix Yan via arch-commits
Date: Thursday, May 30, 2019 @ 17:07:39 Author: felixonmars Revision: 474876 upgpkg: haskell-tamarin-prover-theory 1.4.1-27 rebuild with ansi-terminal 0.9.1, ansi-wl-pprint 0.6.9, concurrent-output 1.10.10 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |

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

2019-05-28 Thread Felix Yan via arch-commits
Date: Wednesday, May 29, 2019 @ 00:52:38 Author: felixonmars Revision: 473431 upgpkg: haskell-tamarin-prover-theory 1.4.1-26 rebuild with clock 0.8 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modi

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

2019-05-28 Thread Felix Yan via arch-commits
Date: Tuesday, May 28, 2019 @ 20:01:13 Author: felixonmars Revision: 473050 upgpkg: haskell-tamarin-prover-theory 1.4.1-25 rebuild with clock 0.8 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)

2019-05-27 Thread Felix Yan via arch-commits
Date: Monday, May 27, 2019 @ 17:26:55 Author: felixonmars Revision: 471716 upgpkg: haskell-tamarin-prover-theory 1.4.1-24 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-prove

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

2019-05-27 Thread Felix Yan via arch-commits
Date: Monday, May 27, 2019 @ 12:18:08 Author: felixonmars Revision: 471348 upgpkg: haskell-tamarin-prover-theory 1.4.1-23 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-prove

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

2019-05-22 Thread Felix Yan via arch-commits
Date: Wednesday, May 22, 2019 @ 21:06:26 Author: felixonmars Revision: 468685 upgpkg: haskell-tamarin-prover-theory 1.4.1-22 rebuild with tasty-quickcheck 0.10.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)

2019-05-12 Thread Felix Yan via arch-commits
Date: Sunday, May 12, 2019 @ 10:34:29 Author: felixonmars Revision: 466140 upgpkg: haskell-tamarin-prover-theory 1.4.1-21 rebuild with transformers-compat 0.6.5 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)

2019-05-08 Thread Felix Yan via arch-commits
Date: Wednesday, May 8, 2019 @ 22:52:27 Author: felixonmars Revision: 463486 upgpkg: haskell-tamarin-prover-theory 1.4.1-20 rebuild with exceptions 0.10.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)

2019-05-08 Thread Felix Yan via arch-commits
Date: Wednesday, May 8, 2019 @ 12:21:31 Author: felixonmars Revision: 462869 upgpkg: haskell-tamarin-prover-theory 1.4.1-19 rebuild with case-insensitive 1.2.1.0 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)

2019-05-06 Thread Felix Yan via arch-commits
Date: Monday, May 6, 2019 @ 13:55:05 Author: felixonmars Revision: 460936 upgpkg: haskell-tamarin-prover-theory 1.4.1-18 rebuild with colour 2.3.5 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)

2019-05-02 Thread Felix Yan via arch-commits
Date: Friday, May 3, 2019 @ 02:59:12 Author: felixonmars Revision: 458095 upgpkg: haskell-tamarin-prover-theory 1.4.1-17 rebuild with vector 0.12.0.3 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)

2019-04-30 Thread Felix Yan via arch-commits
Date: Wednesday, May 1, 2019 @ 01:11:47 Author: felixonmars Revision: 457324 upgpkg: haskell-tamarin-prover-theory 1.4.1-16 rebuild with aeson 1.4.3.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)

2019-04-29 Thread Felix Yan via arch-commits
Date: Monday, April 29, 2019 @ 13:57:02 Author: felixonmars Revision: 456172 upgpkg: haskell-tamarin-prover-theory 1.4.1-15 rebuild with generic-deriving 1.12.4 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)

2019-04-27 Thread Felix Yan via arch-commits
Date: Saturday, April 27, 2019 @ 13:18:45 Author: felixonmars Revision: 454708 upgpkg: haskell-tamarin-prover-theory 1.4.1-14 rebuild with ghc 8.6.5 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)

2019-04-20 Thread Felix Yan via arch-commits
Date: Saturday, April 20, 2019 @ 21:41:05 Author: felixonmars Revision: 452439 upgpkg: haskell-tamarin-prover-theory 1.4.1-13 rebuild with integer-logarithms 1.0.3 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)

2019-04-03 Thread Felix Yan via arch-commits
Date: Thursday, April 4, 2019 @ 02:21:48 Author: felixonmars Revision: 448694 upgpkg: haskell-tamarin-prover-theory 1.4.1-12 rebuild with transformers-compat 0.6.4 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)

2019-04-01 Thread Felix Yan via arch-commits
Date: Tuesday, April 2, 2019 @ 00:00:14 Author: felixonmars Revision: 447269 upgpkg: haskell-tamarin-prover-theory 1.4.1-11 rebuild with transformers-compat 0.6.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)

2019-03-30 Thread Felix Yan via arch-commits
Date: Sunday, March 31, 2019 @ 05:21:26 Author: felixonmars Revision: 446470 upgpkg: haskell-tamarin-prover-theory 1.4.1-10 rebuild with dlist 0.8.0.6 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)

2019-03-28 Thread Felix Yan via arch-commits
Date: Thursday, March 28, 2019 @ 13:23:02 Author: felixonmars Revision: 445306 upgpkg: haskell-tamarin-prover-theory 1.4.1-9 rebuild with base-orphans 0.8.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)

2019-03-26 Thread Felix Yan via arch-commits
Date: Tuesday, March 26, 2019 @ 23:02:06 Author: felixonmars Revision: 443844 upgpkg: haskell-tamarin-prover-theory 1.4.1-8 rebuild with exceptions 0.10.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)

2019-03-10 Thread Felix Yan via arch-commits
Date: Sunday, March 10, 2019 @ 11:22:32 Author: felixonmars Revision: 439210 upgpkg: haskell-tamarin-prover-theory 1.4.1-7 rebuild with ghc 8.6.4 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)

2019-02-27 Thread Felix Yan via arch-commits
Date: Wednesday, February 27, 2019 @ 11:50:32 Author: felixonmars Revision: 436351 upgpkg: haskell-tamarin-prover-theory 1.4.1-6 rebuild with th-abstraction 0.2.11.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)

2019-02-16 Thread Felix Yan via arch-commits
Date: Saturday, February 16, 2019 @ 19:16:48 Author: felixonmars Revision: 433721 upgpkg: haskell-tamarin-prover-theory 1.4.1-5 rebuild with hashable-time 0.2.0.2 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)

2019-02-15 Thread Felix Yan via arch-commits
Date: Friday, February 15, 2019 @ 09:32:25 Author: felixonmars Revision: 432509 upgpkg: haskell-tamarin-prover-theory 1.4.1-4 rebuild with tasty 1.2, tasty-rerun 1.1.14 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+)

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

2019-02-10 Thread Felix Yan via arch-commits
Date: Sunday, February 10, 2019 @ 10:52:50 Author: felixonmars Revision: 431306 upgpkg: haskell-tamarin-prover-theory 1.4.1-3 rebuild with generic-deriving 1.12.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)

2019-01-20 Thread Felix Yan via arch-commits
Date: Sunday, January 20, 2019 @ 22:40:44 Author: felixonmars Revision: 425722 upgpkg: haskell-tamarin-prover-theory 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, hspec-core 2.7.0, hspec 2.7.0, h

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

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

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

2019-01-19 Thread Felix Yan via arch-commits
Date: Saturday, January 19, 2019 @ 10:43:50 Author: felixonmars Revision: 424446 upgpkg: haskell-tamarin-prover-theory 1.4.0-51 rebuild with unordered-containers 0.2.10.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)

2018-12-30 Thread Felix Yan via arch-commits
Date: Sunday, December 30, 2018 @ 11:30:38 Author: felixonmars Revision: 419132 upgpkg: haskell-tamarin-prover-theory 1.4.0-50 rebuild with th-abstraction 0.2.10.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)

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

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

2018-12-08 Thread Felix Yan via arch-commits
Date: Saturday, December 8, 2018 @ 18:53:29 Author: felixonmars Revision: 412486 upgpkg: haskell-tamarin-prover-theory 1.4.0-48 rebuild with vector 0.12.0.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)

2018-12-05 Thread Felix Yan via arch-commits
Date: Wednesday, December 5, 2018 @ 09:12:32 Author: felixonmars Revision: 411290 upgpkg: haskell-tamarin-prover-theory 1.4.0-47 rebuild with base64-bytestring 1.0.0.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)

2018-11-27 Thread Felix Yan via arch-commits
Date: Tuesday, November 27, 2018 @ 16:43:20 Author: felixonmars Revision: 410042 upgpkg: haskell-tamarin-prover-theory 1.4.0-46 rebuild with aeson 1.4.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)

2018-11-07 Thread Felix Yan via arch-commits
Date: Wednesday, November 7, 2018 @ 11:10:10 Author: felixonmars Revision: 402722 upgpkg: haskell-tamarin-prover-theory 1.4.0-45 rebuild with ghc 8.6.2 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD | 10 +- 1 file changed, 5 insertions(+), 5 dele

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

2018-10-31 Thread Felix Yan via arch-commits
Date: Wednesday, October 31, 2018 @ 11:20:40 Author: felixonmars Revision: 400041 upgpkg: haskell-tamarin-prover-theory 1.4.0-44 rebuild with ansi-terminal 0.8.2 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)

2018-10-18 Thread Felix Yan via arch-commits
Date: Friday, October 19, 2018 @ 04:24:32 Author: felixonmars Revision: 397069 upgpkg: haskell-tamarin-prover-theory 1.4.0-43 rebuild with base-compat 0.10.5 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)

2018-10-16 Thread Felix Yan via arch-commits
Date: Tuesday, October 16, 2018 @ 07:43:40 Author: felixonmars Revision: 394514 upgpkg: haskell-tamarin-prover-theory 1.4.0-42 rebuild with ghc 8.6.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |4 +++- 1 file changed, 3 insertions(+), 1 deletion(-)

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

2018-10-11 Thread Felix Yan via arch-commits
Date: Thursday, October 11, 2018 @ 10:25:51 Author: felixonmars Revision: 392321 upgpkg: haskell-tamarin-prover-theory 1.4.0-41 rebuild with tasty 1.1.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)

2018-10-05 Thread Felix Yan via arch-commits
Date: Friday, October 5, 2018 @ 11:36:28 Author: felixonmars Revision: 389900 upgpkg: haskell-tamarin-prover-theory 1.4.0-40 rebuild with optparse-applicative 0.14.3.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)

2018-09-27 Thread Felix Yan via arch-commits
Date: Friday, September 28, 2018 @ 06:14:44 Author: felixonmars Revision: 386792 upgpkg: haskell-tamarin-prover-theory 1.4.0-39 rebuild with quickcheck-instances 0.3.19 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+)

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

2018-09-27 Thread Felix Yan via arch-commits
Date: Thursday, September 27, 2018 @ 11:20:40 Author: felixonmars Revision: 386200 upgpkg: haskell-tamarin-prover-theory 1.4.0-38 rebuild with aeson 1.4.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)

2018-09-26 Thread Felix Yan via arch-commits
Date: Wednesday, September 26, 2018 @ 15:12:09 Author: felixonmars Revision: 385405 upgpkg: haskell-tamarin-prover-theory 1.4.0-37 rebuild with ChasingBottoms 1.3.1.5 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+),

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

2018-09-15 Thread Felix Yan via arch-commits
Date: Saturday, September 15, 2018 @ 08:08:02 Author: felixonmars Revision: 381339 upgpkg: haskell-tamarin-prover-theory 1.4.0-36 rebuild with ansi-terminal 0.8.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)

2018-09-13 Thread Felix Yan via arch-commits
Date: Thursday, September 13, 2018 @ 16:00:39 Author: felixonmars Revision: 380338 upgpkg: haskell-tamarin-prover-theory 1.4.0-35 rebuild with dlist 0.8.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)

2018-09-10 Thread Felix Yan via arch-commits
Date: Monday, September 10, 2018 @ 12:19:17 Author: felixonmars Revision: 379167 upgpkg: haskell-tamarin-prover-theory 1.4.0-34 rebuild with integer-logarithms 1.0.2.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)

2018-09-06 Thread Felix Yan via arch-commits
Date: Thursday, September 6, 2018 @ 09:06:20 Author: felixonmars Revision: 377433 upgpkg: haskell-tamarin-prover-theory 1.4.0-33 rebuild with test-framework-quickcheck2 0.3.0.5 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 inse

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

2018-08-26 Thread Felix Yan via arch-commits
Date: Sunday, August 26, 2018 @ 15:29:46 Author: felixonmars Revision: 374371 upgpkg: haskell-tamarin-prover-theory 1.4.0-32 rebuild with time-locale-compat 0.1.1.5 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)

2018-08-07 Thread Felix Yan via arch-commits
Date: Tuesday, August 7, 2018 @ 16:56:38 Author: felixonmars Revision: 370144 upgpkg: haskell-tamarin-prover-theory 1.4.0-31 rebuild with aeson 1.4.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)

2018-07-28 Thread Felix Yan via arch-commits
Date: Sunday, July 29, 2018 @ 03:54:58 Author: felixonmars Revision: 363995 upgpkg: haskell-tamarin-prover-theory 1.4.0-30 rebuild with tasty 1.1.0.3 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)

2018-07-17 Thread Felix Yan via arch-commits
Date: Tuesday, July 17, 2018 @ 10:41:21 Author: felixonmars Revision: 360625 upgpkg: haskell-tamarin-prover-theory 1.4.0-29 rebuild with hspec 2.5.5, hspec-core 2.5.5, hspec-discover 2.5.5 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file cha

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

2018-07-14 Thread Felix Yan via arch-commits
Date: Saturday, July 14, 2018 @ 17:46:11 Author: felixonmars Revision: 359360 upgpkg: haskell-tamarin-prover-theory 1.4.0-28 rebuild with parallel 3.2.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)

2018-07-11 Thread Felix Yan via arch-commits
Date: Wednesday, July 11, 2018 @ 09:24:33 Author: felixonmars Revision: 357094 upgpkg: haskell-tamarin-prover-theory 1.4.0-27 rebuild with hspec 2.5.4, hspec-core 2.5.4, hspec-discover 2.5.4 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file c

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

2018-07-10 Thread Felix Yan via arch-commits
Date: Tuesday, July 10, 2018 @ 14:45:09 Author: felixonmars Revision: 356142 upgpkg: haskell-tamarin-prover-theory 1.4.0-26 rebuild with base-compat 0.10.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)

2018-07-06 Thread Felix Yan via arch-commits
Date: Friday, July 6, 2018 @ 14:12:27 Author: felixonmars Revision: 353681 upgpkg: haskell-tamarin-prover-theory 1.4.0-25 rebuild with hspec 2.5.3, hspec-core 2.5.3, hspec-discover 2.5.3 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file chang

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

2018-07-04 Thread Felix Yan via arch-commits
Date: Wednesday, July 4, 2018 @ 17:39:24 Author: felixonmars Revision: 351944 upgpkg: haskell-tamarin-prover-theory 1.4.0-24 rebuild with semigroupoids 5.3.1, base-orphans 0.8 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 inser

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

2018-07-02 Thread Felix Yan via arch-commits
Date: Tuesday, July 3, 2018 @ 06:59:15 Author: felixonmars Revision: 350496 upgpkg: haskell-tamarin-prover-theory 1.4.0-23 rebuild with tagged 0.8.6 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)

2018-06-30 Thread Felix Yan via arch-commits
Date: Saturday, June 30, 2018 @ 20:08:27 Author: felixonmars Revision: 349173 upgpkg: haskell-tamarin-prover-theory 1.4.0-22 rebuild with th-abstraction 0.2.8.0 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)

2018-06-28 Thread Felix Yan via arch-commits
Date: Thursday, June 28, 2018 @ 20:16:40 Author: felixonmars Revision: 347615 upgpkg: haskell-tamarin-prover-theory 1.4.0-21 rebuild with generic-deriving 1.12.2 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)

2018-06-28 Thread Felix Yan via arch-commits
Date: Thursday, June 28, 2018 @ 13:09:01 Author: felixonmars Revision: 346723 upgpkg: haskell-tamarin-prover-theory 1.4.0-20 rebuild with hspec 2.5.2, hspec-core 2.5.2, hspec-discover 2.5.2 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file ch

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

2018-06-24 Thread Felix Yan via arch-commits
Date: Sunday, June 24, 2018 @ 07:27:20 Author: felixonmars Revision: 345028 upgpkg: haskell-tamarin-prover-theory 1.4.0-19 rebuild with tasty 1.1.0.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)

2018-06-17 Thread Felix Yan via arch-commits
Date: Monday, June 18, 2018 @ 06:45:26 Author: felixonmars Revision: 343608 upgpkg: haskell-tamarin-prover-theory 1.4.0-18 rebuild with th-abstraction 0.2.7.0 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)

2018-06-03 Thread Felix Yan via arch-commits
Date: Sunday, June 3, 2018 @ 07:31:16 Author: felixonmars Revision: 338834 upgpkg: haskell-tamarin-prover-theory 1.4.0-17 rebuild with tasty 1.1.0.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)

2018-06-02 Thread Felix Yan via arch-commits
Date: Saturday, June 2, 2018 @ 13:52:06 Author: felixonmars Revision: 337581 upgpkg: haskell-tamarin-prover-theory 1.4.0-16 rebuild with primitive 0.6.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)

2018-06-01 Thread Felix Yan via arch-commits
Date: Friday, June 1, 2018 @ 11:23:52 Author: felixonmars Revision: 335999 upgpkg: haskell-tamarin-prover-theory 1.4.0-15 rebuild with ghc 8.4.3 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modifie

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

2018-05-30 Thread Felix Yan via arch-commits
Date: Thursday, May 31, 2018 @ 04:43:22 Author: felixonmars Revision: 334112 upgpkg: haskell-tamarin-prover-theory 1.4.0-14 rebuild with temporary 1.3 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)

2018-05-28 Thread Felix Yan via arch-commits
Date: Monday, May 28, 2018 @ 13:02:29 Author: felixonmars Revision: 332586 upgpkg: haskell-tamarin-prover-theory 1.4.0-13 rebuild with exceptions 0.10.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)

2018-05-26 Thread Felix Yan via arch-commits
Date: Saturday, May 26, 2018 @ 21:44:47 Author: felixonmars Revision: 331262 upgpkg: haskell-tamarin-prover-theory 1.4.0-12 rebuild with transformers-base 0.4.5.2 transformers-compat 0.6.2 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file cha

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

2018-05-25 Thread Felix Yan via arch-commits
Date: Friday, May 25, 2018 @ 18:43:56 Author: felixonmars Revision: 329547 upgpkg: haskell-tamarin-prover-theory 1.4.0-11 rebuild with hspec,2.5.1 hspec-core,2.5.1 hspec-discover,2.5.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed

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

2018-05-24 Thread Felix Yan via arch-commits
Date: Thursday, May 24, 2018 @ 13:31:07 Author: felixonmars Revision: 328727 upgpkg: haskell-tamarin-prover-theory 1.4.0-10 rebuild with base-orphans,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)

2018-05-23 Thread Felix Yan via arch-commits
Date: Wednesday, May 23, 2018 @ 08:52:27 Author: felixonmars Revision: 328112 upgpkg: haskell-tamarin-prover-theory 1.4.0-9 rebuild with safe,0.3.17 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)

2018-05-21 Thread Felix Yan via arch-commits
Date: Monday, May 21, 2018 @ 20:00:19 Author: felixonmars Revision: 326609 upgpkg: haskell-tamarin-prover-theory 1.4.0-8 rebuild with ansi-terminal,0.8.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)

2018-05-21 Thread Felix Yan via arch-commits
Date: Monday, May 21, 2018 @ 08:36:10 Author: felixonmars Revision: 325898 upgpkg: haskell-tamarin-prover-theory 1.4.0-7 rebuild with async,2.2.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modifi

<    1   2   3   >