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

2019-04-01 Thread Felix Yan via arch-commits
Date: Monday, April 1, 2019 @ 23:56:31 Author: felixonmars Revision: 447265 upgpkg: haskell-tamarin-prover-term 1.4.1-8 rebuild with transformers-compat 0.6.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-03-30 Thread Felix Yan via arch-commits
Date: Sunday, March 31, 2019 @ 05:17:49 Author: felixonmars Revision: 446468 upgpkg: haskell-tamarin-prover-term 1.4.1-7 rebuild with dlist 0.8.0.6 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-03-28 Thread Felix Yan via arch-commits
Date: Thursday, March 28, 2019 @ 13:19:37 Author: felixonmars Revision: 445304 upgpkg: haskell-tamarin-prover-term 1.4.1-6 rebuild with base-orphans 0.8.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-03-26 Thread Felix Yan via arch-commits
Date: Tuesday, March 26, 2019 @ 22:58:39 Author: felixonmars Revision: 443842 upgpkg: haskell-tamarin-prover-term 1.4.1-5 rebuild with exceptions 0.10.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-03-10 Thread Felix Yan via arch-commits
Date: Sunday, March 10, 2019 @ 11:19:02 Author: felixonmars Revision: 439208 upgpkg: haskell-tamarin-prover-term 1.4.1-4 rebuild with ghc 8.6.4 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-02-15 Thread Felix Yan via arch-commits
Date: Friday, February 15, 2019 @ 09:28:42 Author: felixonmars Revision: 432505 upgpkg: haskell-tamarin-prover-term 1.4.1-3 rebuild with tasty 1.2, tasty-rerun 1.1.14 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-01-20 Thread Felix Yan via arch-commits
Date: Sunday, January 20, 2019 @ 22:37:24 Author: felixonmars Revision: 425720 upgpkg: haskell-tamarin-prover-term 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,

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

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

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

2018-12-10 Thread Felix Yan via arch-commits
Date: Monday, December 10, 2018 @ 10:08:36 Author: felixonmars Revision: 413966 upgpkg: haskell-tamarin-prover-term 1.4.0-26 rebuild with ghc 8.6.3, cmark-gfm 0.1.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)

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

2018-12-05 Thread Felix Yan via arch-commits
Date: Wednesday, December 5, 2018 @ 09:09:34 Author: felixonmars Revision: 411288 upgpkg: haskell-tamarin-prover-term 1.4.0-24 rebuild with base64-bytestring 1.0.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)

2018-11-06 Thread Felix Yan via arch-commits
Date: Tuesday, November 6, 2018 @ 23:11:08 Author: felixonmars Revision: 402427 upgpkg: haskell-tamarin-prover-term 1.4.0-23 rebuild with ghc 8.6.2 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD | 10 +- 1 file changed, 5 insertions(+), 5

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

2018-10-31 Thread Felix Yan via arch-commits
Date: Wednesday, October 31, 2018 @ 07:57:50 Author: felixonmars Revision: 399768 upgpkg: haskell-tamarin-prover-term 1.4.0-22 rebuild with ansi-terminal 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)

2018-10-15 Thread Felix Yan via arch-commits
Date: Monday, October 15, 2018 @ 14:32:45 Author: felixonmars Revision: 394195 upgpkg: haskell-tamarin-prover-term 1.4.0-21 rebuild with ghc 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)

2018-10-11 Thread Felix Yan via arch-commits
Date: Thursday, October 11, 2018 @ 06:58:11 Author: felixonmars Revision: 392193 upgpkg: haskell-tamarin-prover-term 1.4.0-20 rebuild with tasty 1.1.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)

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

2018-09-14 Thread Felix Yan via arch-commits
Date: Saturday, September 15, 2018 @ 05:22:23 Author: felixonmars Revision: 381081 upgpkg: haskell-tamarin-prover-term 1.4.0-18 rebuild with ansi-terminal 0.8.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)

2018-09-13 Thread Felix Yan via arch-commits
Date: Thursday, September 13, 2018 @ 15:57:21 Author: felixonmars Revision: 380336 upgpkg: haskell-tamarin-prover-term 1.4.0-17 rebuild with dlist 0.8.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)

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

2018-09-05 Thread Felix Yan via arch-commits
Date: Wednesday, September 5, 2018 @ 22:25:16 Author: felixonmars Revision: 377125 upgpkg: haskell-tamarin-prover-term 1.4.0-15 rebuild with test-framework-quickcheck2 0.3.0.5 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1

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

2018-07-28 Thread Felix Yan via arch-commits
Date: Saturday, July 28, 2018 @ 15:23:30 Author: felixonmars Revision: 363825 upgpkg: haskell-tamarin-prover-term 1.4.0-14 rebuild with tasty 1.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)

2018-07-02 Thread Felix Yan via arch-commits
Date: Tuesday, July 3, 2018 @ 05:05:12 Author: felixonmars Revision: 350388 upgpkg: haskell-tamarin-prover-term 1.4.0-13 rebuild with tagged 0.8.6 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)

2018-06-24 Thread Felix Yan via arch-commits
Date: Sunday, June 24, 2018 @ 06:36:33 Author: felixonmars Revision: 344926 upgpkg: haskell-tamarin-prover-term 1.4.0-12 rebuild with tasty 1.1.0.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)

2018-06-03 Thread Felix Yan via arch-commits
Date: Sunday, June 3, 2018 @ 07:29:05 Author: felixonmars Revision: 338832 upgpkg: haskell-tamarin-prover-term 1.4.0-11 rebuild with tasty 1.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)

2018-06-02 Thread Felix Yan via arch-commits
Date: Saturday, June 2, 2018 @ 13:50:05 Author: felixonmars Revision: 337579 upgpkg: haskell-tamarin-prover-term 1.4.0-10 rebuild with primitive 0.6.4.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)

2018-06-01 Thread Felix Yan via arch-commits
Date: Friday, June 1, 2018 @ 09:42:06 Author: felixonmars Revision: 335804 upgpkg: haskell-tamarin-prover-term 1.4.0-9 rebuild with ghc 8.4.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)

2018-05-26 Thread Felix Yan via arch-commits
Date: Saturday, May 26, 2018 @ 20:44:54 Author: felixonmars Revision: 331155 upgpkg: haskell-tamarin-prover-term 1.4.0-8 rebuild with transformers-base 0.4.5.2 transformers-compat 0.6.2 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file

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

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

2018-05-21 Thread Felix Yan via arch-commits
Date: Monday, May 21, 2018 @ 18:48:04 Author: felixonmars Revision: 326517 upgpkg: haskell-tamarin-prover-term 1.4.0-6 rebuild with ansi-terminal,0.8.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 ghc-8.4.patch)

2018-05-21 Thread Felix Yan via arch-commits
Date: Monday, May 21, 2018 @ 07:21:08 Author: felixonmars Revision: 325813 upgpkg: haskell-tamarin-prover-term 1.4.0-5 rebuild with async,2.2.1 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD haskell-tamarin-prover-term/trunk/ghc-8.4.patch ---+ PKGBUILD |4

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

2018-05-18 Thread Felix Yan via arch-commits
Date: Friday, May 18, 2018 @ 07:54:16 Author: felixonmars Revision: 324259 upgpkg: haskell-tamarin-prover-term 1.4.0-4 rebuild with ghc 8.4.2 Added: haskell-tamarin-prover-term/trunk/ghc-8.4.patch Modified: haskell-tamarin-prover-term/trunk/PKGBUILD ---+ PKGBUILD |

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

2018-05-10 Thread Felix Yan via arch-commits
Date: Thursday, May 10, 2018 @ 08:31:59 Author: felixonmars Revision: 320046 upgpkg: haskell-tamarin-prover-term 1.4.0-3 rebuild with scientific,0.3.6.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)

2018-05-07 Thread Felix Yan via arch-commits
Date: Monday, May 7, 2018 @ 18:41:49 Author: felixonmars Revision: 319280 upgpkg: haskell-tamarin-prover-term 1.4.0-2 rebuild with scientific,0.3.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)

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

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

2018-03-21 Thread Felix Yan via arch-commits
Date: Wednesday, March 21, 2018 @ 13:36:29 Author: felixonmars Revision: 309949 upgpkg: haskell-tamarin-prover-term 1.2.3-8 rebuild with blaze-builder,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)

2018-03-14 Thread Felix Yan via arch-commits
Date: Thursday, March 15, 2018 @ 04:40:42 Author: felixonmars Revision: 308047 upgpkg: haskell-tamarin-prover-term 1.2.3-7 rebuild with scientific,0.3.5.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)

2018-03-14 Thread Felix Yan via arch-commits
Date: Thursday, March 15, 2018 @ 01:23:46 Author: felixonmars Revision: 307869 upgpkg: haskell-tamarin-prover-term 1.2.3-6 rebuild with SHA,1.6.4.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)

2018-03-09 Thread Felix Yan via arch-commits
Date: Saturday, March 10, 2018 @ 06:09:36 Author: felixonmars Revision: 305623 upgpkg: haskell-tamarin-prover-term 1.2.3-5 rebuild with tasty,1.0.1.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)

2018-03-08 Thread Felix Yan via arch-commits
Date: Thursday, March 8, 2018 @ 09:30:04 Author: felixonmars Revision: 304509 upgpkg: haskell-tamarin-prover-term 1.2.3-4 rebuild with hashable,1.2.7.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)

2018-03-07 Thread Felix Yan via arch-commits
Date: Wednesday, March 7, 2018 @ 11:42:19 Author: felixonmars Revision: 303735 upgpkg: haskell-tamarin-prover-term 1.2.3-3 rebuild with integer-logarithms,1.0.2.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)

2018-03-05 Thread Felix Yan via arch-commits
Date: Monday, March 5, 2018 @ 12:30:49 Author: felixonmars Revision: 302631 upgpkg: haskell-tamarin-prover-term 1.2.3-2 rebuild with text-short,0.1.2 tasty-quickcheck,0.10 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1

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

2018-02-28 Thread Felix Yan via arch-commits
Date: Thursday, March 1, 2018 @ 05:57:53 Author: felixonmars Revision: 300892 upgpkg: haskell-tamarin-prover-term 1.2.3-1 rebuild with tamarin-prover-term,1.2.3 tamarin-prover-theory,1.2.3 tamarin-prover-utils,1.2.3 tamarin-prover,1.2.3 Modified:

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

2018-02-28 Thread Felix Yan via arch-commits
Date: Wednesday, February 28, 2018 @ 22:54:44 Author: felixonmars Revision: 300473 upgpkg: haskell-tamarin-prover-term 1.2.2-15 rebuild with optparse-applicative,0.14.2.0 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1

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

2018-02-27 Thread Felix Yan via arch-commits
Date: Tuesday, February 27, 2018 @ 09:12:08 Author: felixonmars Revision: 299058 upgpkg: haskell-tamarin-prover-term 1.2.2-14 rebuild with mtl,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)

2018-02-23 Thread Felix Yan via arch-commits
Date: Saturday, February 24, 2018 @ 07:23:14 Author: felixonmars Revision: 297460 upgpkg: haskell-tamarin-prover-term 1.2.2-13 rebuild with optparse-applicative,0.14.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)

2018-02-16 Thread Felix Yan via arch-commits
Date: Friday, February 16, 2018 @ 18:23:39 Author: felixonmars Revision: 295032 upgpkg: haskell-tamarin-prover-term 1.2.2-12 rebuild with tasty-golden,2.3.1.3 tasty,1.0.1 tasty-rerun,1.1.10 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file

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

2018-02-13 Thread Felix Yan via arch-commits
Date: Wednesday, February 14, 2018 @ 06:30:53 Author: felixonmars Revision: 294032 upgpkg: haskell-tamarin-prover-term 1.2.2-11 rebuild with fclabels,2.0.3.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)

2018-02-10 Thread Felix Yan via arch-commits
Date: Sunday, February 11, 2018 @ 07:45:19 Author: felixonmars Revision: 291944 upgpkg: haskell-tamarin-prover-term 1.2.2-10 rebuild with parsec,3.1.13.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)

2018-01-24 Thread Felix Yan via arch-commits
Date: Wednesday, January 24, 2018 @ 12:38:51 Author: felixonmars Revision: 286365 upgpkg: haskell-tamarin-prover-term 1.2.2-9 rebuild with dlist,0.8.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)

2018-01-22 Thread Felix Yan via arch-commits
Date: Monday, January 22, 2018 @ 21:24:17 Author: felixonmars Revision: 285302 upgpkg: haskell-tamarin-prover-term 1.2.2-8 rebuild with primitive,0.6.3.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)

2018-01-14 Thread Felix Yan via arch-commits
Date: Sunday, January 14, 2018 @ 16:41:28 Author: felixonmars Revision: 282166 upgpkg: haskell-tamarin-prover-term 1.2.2-7 rebuild with attoparsec,0.13.2.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)

2017-12-28 Thread Felix Yan via arch-commits
Date: Friday, December 29, 2017 @ 00:07:56 Author: felixonmars Revision: 276667 upgpkg: haskell-tamarin-prover-term 1.2.2-6 rebuild with text,1.2.3.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)

2017-11-26 Thread Felix Yan via arch-commits
Date: Monday, November 27, 2017 @ 06:02:48 Author: felixonmars Revision: 269234 upgpkg: haskell-tamarin-prover-term 1.2.2-5 rebuild with ghc 8.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)

2017-09-23 Thread Felix Yan
Date: Saturday, September 23, 2017 @ 15:11:20 Author: felixonmars Revision: 259992 upgpkg: haskell-tamarin-prover-term 1.2.2-4 Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |7 ++- 1 file changed, 2 insertions(+), 5 deletions(-) Modified: PKGBUILD

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

2017-08-30 Thread Felix Yan
Date: Wednesday, August 30, 2017 @ 19:35:48 Author: felixonmars Revision: 254875 upgpkg: haskell-tamarin-prover-term 1.2.2-3 rebuild with scientific,0.3.5.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)

2017-08-15 Thread Felix Yan
Date: Tuesday, August 15, 2017 @ 15:49:30 Author: felixonmars Revision: 251003 upgpkg: haskell-tamarin-prover-term 1.2.2-2 GHC 8.2.1 rebuild Modified: haskell-tamarin-prover-term/trunk/PKGBUILD --+ PKGBUILD |8 +++- 1 file changed, 3 insertions(+), 5 deletions(-)

<    1   2