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

2022-09-05 Thread Felix Yan via arch-commits 
Date: Tuesday, September 6, 2022 @ 00:06:24
  Author: felixonmars
Revision: 1294037

upgpkg: haskell-tamarin-prover-term 1.6.1-63: rebuild with hspec 2.10.0, 
hspec-core 2.10.0, hspec-discover 2.10.0

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-09-06 00:06:15 UTC (rev 1294036)
+++ PKGBUILD2022-09-06 00:06:24 UTC (rev 1294037)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=62
+pkgrel=63
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2022-08-29 Thread Felix Yan via arch-commits 
Date: Monday, August 29, 2022 @ 22:17:59
  Author: felixonmars
Revision: 1286512

upgpkg: haskell-tamarin-prover-term 1.6.1-62: rebuild with base-compat 0.12.2, 
base-compat-batteries 0.12.2

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-08-29 22:17:51 UTC (rev 1286511)
+++ PKGBUILD2022-08-29 22:17:59 UTC (rev 1286512)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=61
+pkgrel=62
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2022-08-26 Thread Felix Yan via arch-commits 
Date: Friday, August 26, 2022 @ 14:36:52
  Author: felixonmars
Revision: 1282616

upgpkg: haskell-tamarin-prover-term 1.6.1-61: rebuild with silently 1.2.5.3

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-08-26 14:36:40 UTC (rev 1282615)
+++ PKGBUILD2022-08-26 14:36:52 UTC (rev 1282616)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=60
+pkgrel=61
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2022-08-24 Thread Felix Yan via arch-commits 
Date: Wednesday, August 24, 2022 @ 22:23:23
  Author: felixonmars
Revision: 1277566

upgpkg: haskell-tamarin-prover-term 1.6.1-60: rebuild with hashable 1.4.1.0

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-08-24 22:23:14 UTC (rev 1277565)
+++ PKGBUILD2022-08-24 22:23:23 UTC (rev 1277566)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=59
+pkgrel=60
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2022-08-21 Thread Felix Yan via arch-commits 
Date: Sunday, August 21, 2022 @ 15:35:28
  Author: felixonmars
Revision: 1272621

upgpkg: haskell-tamarin-prover-term 1.6.1-59: rebuild with split 0.2.3.5

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-08-21 15:35:18 UTC (rev 1272620)
+++ PKGBUILD2022-08-21 15:35:28 UTC (rev 1272621)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=58
+pkgrel=59
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2022-08-18 Thread Felix Yan via arch-commits 
Date: Thursday, August 18, 2022 @ 21:10:29
  Author: felixonmars
Revision: 1269021

upgpkg: haskell-tamarin-prover-term 1.6.1-58: rebuild with base-orphans 0.8.7

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-08-18 21:10:19 UTC (rev 1269020)
+++ PKGBUILD2022-08-18 21:10:29 UTC (rev 1269021)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=57
+pkgrel=58
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2022-08-08 Thread Felix Yan via arch-commits 
Date: Monday, August 8, 2022 @ 17:21:12
  Author: felixonmars
Revision: 1261490

upgpkg: haskell-tamarin-prover-term 1.6.1-57: rebuild with tasty 1.4.2.3

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-08-08 17:21:02 UTC (rev 1261489)
+++ PKGBUILD2022-08-08 17:21:12 UTC (rev 1261490)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=56
+pkgrel=57
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2022-07-25 Thread Felix Yan via arch-commits 
Date: Monday, July 25, 2022 @ 06:47:52
  Author: felixonmars
Revision: 1256892

upgpkg: haskell-tamarin-prover-term 1.6.1-56: rebuild with inspection-testing 
0.5, tasty-inspection-testing 0.2

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-07-25 06:47:44 UTC (rev 1256891)
+++ PKGBUILD2022-07-25 06:47:52 UTC (rev 1256892)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=55
+pkgrel=56
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2022-07-12 Thread Felix Yan via arch-commits 
Date: Tuesday, July 12, 2022 @ 18:32:37
  Author: felixonmars
Revision: 1250802

upgpkg: haskell-tamarin-prover-term 1.6.1-55: rebuild with tasty 1.4.2.2

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-07-12 18:32:29 UTC (rev 1250801)
+++ PKGBUILD2022-07-12 18:32:37 UTC (rev 1250802)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=54
+pkgrel=55
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2022-07-05 Thread Felix Yan via arch-commits 
Date: Tuesday, July 5, 2022 @ 17:44:38
  Author: felixonmars
Revision: 1244972

upgpkg: haskell-tamarin-prover-term 1.6.1-54: rebuild with ansi-terminal 0.11.3

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-07-05 17:44:15 UTC (rev 1244971)
+++ PKGBUILD2022-07-05 17:44:38 UTC (rev 1244972)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=53
+pkgrel=54
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2022-06-29 Thread Felix Yan via arch-commits 
Date: Wednesday, June 29, 2022 @ 19:45:48
  Author: felixonmars
Revision: 1241281

upgpkg: haskell-tamarin-prover-term 1.6.1-53: rebuild with transformers-compat 
0.7.2

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-06-29 19:45:41 UTC (rev 1241280)
+++ PKGBUILD2022-06-29 19:45:48 UTC (rev 1241281)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=52
+pkgrel=53
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2022-06-11 Thread Felix Yan via arch-commits 
Date: Saturday, June 11, 2022 @ 22:09:11
  Author: felixonmars
Revision: 1235224

upgpkg: haskell-tamarin-prover-term 1.6.1-52: rebuild with inspection-testing 
0.4.6.1

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-06-11 22:09:03 UTC (rev 1235223)
+++ PKGBUILD2022-06-11 22:09:11 UTC (rev 1235224)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=51
+pkgrel=52
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2022-06-10 Thread Felix Yan via arch-commits 
Date: Friday, June 10, 2022 @ 18:20:59
  Author: felixonmars
Revision: 1231262

upgpkg: haskell-tamarin-prover-term 1.6.1-51: rebuild with ansi-terminal 0.11.2

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-06-10 18:20:52 UTC (rev 1231261)
+++ PKGBUILD2022-06-10 18:20:59 UTC (rev 1231262)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=50
+pkgrel=51
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2022-06-05 Thread Felix Yan via arch-commits 
Date: Sunday, June 5, 2022 @ 18:20:36
  Author: felixonmars
Revision: 1223785

upgpkg: haskell-tamarin-prover-term 1.6.1-50: rebuild with hspec 2.9.7, 
hspec-core 2.9.7, hspec-discover 2.9.7

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-06-05 18:20:29 UTC (rev 1223784)
+++ PKGBUILD2022-06-05 18:20:36 UTC (rev 1223785)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=49
+pkgrel=50
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2022-06-03 Thread Felix Yan via arch-commits 
Date: Friday, June 3, 2022 @ 09:27:43
  Author: felixonmars
Revision: 1219829

upgpkg: haskell-tamarin-prover-term 1.6.1-49: rebuild with primitive 0.7.4.0

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-06-03 09:27:36 UTC (rev 1219828)
+++ PKGBUILD2022-06-03 09:27:43 UTC (rev 1219829)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=48
+pkgrel=49
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2022-05-30 Thread Felix Yan via arch-commits 
Date: Monday, May 30, 2022 @ 10:15:32
  Author: felixonmars
Revision: 1215657

upgpkg: haskell-tamarin-prover-term 1.6.1-48: rebuild with 
tasty-inspection-testing 0.1.0.1

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-05-30 10:15:24 UTC (rev 1215656)
+++ PKGBUILD2022-05-30 10:15:32 UTC (rev 1215657)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=47
+pkgrel=48
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2022-05-28 Thread Felix Yan via arch-commits 
Date: Saturday, May 28, 2022 @ 15:46:05
  Author: felixonmars
Revision: 1211939

upgpkg: haskell-tamarin-prover-term 1.6.1-47: rebuild with doctest 0.20.0

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-05-28 15:45:57 UTC (rev 1211938)
+++ PKGBUILD2022-05-28 15:46:05 UTC (rev 1211939)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=46
+pkgrel=47
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2022-05-14 Thread Felix Yan via arch-commits 
Date: Saturday, May 14, 2022 @ 13:17:49
  Author: felixonmars
Revision: 1204476

upgpkg: haskell-tamarin-prover-term 1.6.1-46: rebuild with hashable 1.4.0.2

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-05-14 13:17:42 UTC (rev 1204475)
+++ PKGBUILD2022-05-14 13:17:49 UTC (rev 1204476)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=45
+pkgrel=46
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2022-05-13 Thread Felix Yan via arch-commits 
Date: Friday, May 13, 2022 @ 08:27:23
  Author: felixonmars
Revision: 1201014

upgpkg: haskell-tamarin-prover-term 1.6.1-45: rebuild with random 1.2.1.1

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-05-13 08:27:15 UTC (rev 1201013)
+++ PKGBUILD2022-05-13 08:27:23 UTC (rev 1201014)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=44
+pkgrel=45
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2022-05-04 Thread Felix Yan via arch-commits 
Date: Wednesday, May 4, 2022 @ 12:23:41
  Author: felixonmars
Revision: 1193618

upgpkg: haskell-tamarin-prover-term 1.6.1-44: rebuild with hspec 2.9.6, 
hspec-core 2.9.6, hspec-discover 2.9.6

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-05-04 12:23:35 UTC (rev 1193617)
+++ PKGBUILD2022-05-04 12:23:41 UTC (rev 1193618)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=43
+pkgrel=44
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2022-04-23 Thread Felix Yan via arch-commits 
Date: Saturday, April 23, 2022 @ 21:17:40
  Author: felixonmars
Revision: 1188610

upgpkg: haskell-tamarin-prover-term 1.6.1-43: rebuild with hashable 1.4.0.1

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-04-23 21:17:33 UTC (rev 1188609)
+++ PKGBUILD2022-04-23 21:17:40 UTC (rev 1188610)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=42
+pkgrel=43
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2022-04-09 Thread Felix Yan via arch-commits 
Date: Sunday, April 10, 2022 @ 00:55:22
  Author: felixonmars
Revision: 1184076

upgpkg: haskell-tamarin-prover-term 1.6.1-42: rebuild with hspec 2.9.5, 
hspec-core 2.9.5, hspec-discover 2.9.5

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-04-10 00:55:16 UTC (rev 1184075)
+++ PKGBUILD2022-04-10 00:55:22 UTC (rev 1184076)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=41
+pkgrel=42
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2022-03-31 Thread Felix Yan via arch-commits 
Date: Friday, April 1, 2022 @ 04:48:03
  Author: felixonmars
Revision: 1178920

upgpkg: haskell-tamarin-prover-term 1.6.1-41: rebuild with hspec 2.9.4, 
hspec-core 2.9.4, hspec-discover 2.9.4, hspec-meta 2.9.3

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-04-01 04:47:56 UTC (rev 1178919)
+++ PKGBUILD2022-04-01 04:48:03 UTC (rev 1178920)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=40
+pkgrel=41
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2022-03-23 Thread Felix Yan via arch-commits 
Date: Thursday, March 24, 2022 @ 01:08:21
  Author: felixonmars
Revision: 1172989

upgpkg: haskell-tamarin-prover-term 1.6.1-40: rebuild with hspec 2.9.3, 
hspec-core 2.9.3, hspec-discover 2.9.3, hspec-meta 2.9.2

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-03-24 01:08:15 UTC (rev 1172988)
+++ PKGBUILD2022-03-24 01:08:21 UTC (rev 1172989)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=39
+pkgrel=40
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2022-03-21 Thread Felix Yan via arch-commits 
Date: Monday, March 21, 2022 @ 18:06:46
  Author: felixonmars
Revision: 1167828

upgpkg: haskell-tamarin-prover-term 1.6.1-39: rebuild with hspec 2.9.2, 
hspec-core 2.9.2, hspec-discover 2.9.2, hspec-meta 2.9.0.1

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-03-21 18:06:35 UTC (rev 1167827)
+++ PKGBUILD2022-03-21 18:06:46 UTC (rev 1167828)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=38
+pkgrel=39
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")
@@ -19,7 +19,7 @@
 cd tamarin-prover-$pkgver/lib/term
 
 runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
---prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname --datasubdir=$pkgname \
 --dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid 
--ghc-option=-fllvm
 runhaskell Setup build $MAKEFLAGS
 runhaskell Setup register --gen-script

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

2022-03-20 Thread Felix Yan via arch-commits 
Date: Sunday, March 20, 2022 @ 17:55:52
  Author: felixonmars
Revision: 1164574

upgpkg: haskell-tamarin-prover-term 1.6.1-38: rebuild with ghc-bignum-orphans 
0.1.1

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-03-20 17:55:47 UTC (rev 1164573)
+++ PKGBUILD2022-03-20 17:55:52 UTC (rev 1164574)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=37
+pkgrel=38
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2022-03-19 Thread Felix Yan via arch-commits 
Date: Saturday, March 19, 2022 @ 15:13:03
  Author: felixonmars
Revision: 1161299

upgpkg: haskell-tamarin-prover-term 1.6.1-37: rebuild with base-compat 0.12.1, 
base-compat-batteries 0.12.1

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-03-19 15:12:57 UTC (rev 1161298)
+++ PKGBUILD2022-03-19 15:13:03 UTC (rev 1161299)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=36
+pkgrel=37
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2022-03-18 Thread Felix Yan via arch-commits 
Date: Friday, March 18, 2022 @ 11:27:15
  Author: felixonmars
Revision: 1158379

upgpkg: haskell-tamarin-prover-term 1.6.1-36: rebuild with clock 0.8.3

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-03-18 11:26:19 UTC (rev 1158378)
+++ PKGBUILD2022-03-18 11:27:15 UTC (rev 1158379)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=35
+pkgrel=36
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2022-03-14 Thread Felix Yan via arch-commits 
Date: Monday, March 14, 2022 @ 10:38:21
  Author: felixonmars
Revision: 1152318

upgpkg: haskell-tamarin-prover-term 1.6.1-35: rebuild with hspec 2.9.1, 
hspec-core 2.9.1, hspec-discover 2.9.1

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-03-14 10:37:08 UTC (rev 1152317)
+++ PKGBUILD2022-03-14 10:38:21 UTC (rev 1152318)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=34
+pkgrel=35
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2022-03-11 Thread Felix Yan via arch-commits 
Date: Friday, March 11, 2022 @ 08:14:44
  Author: felixonmars
Revision: 1147983

upgpkg: haskell-tamarin-prover-term 1.6.1-34: rebuild with ansi-terminal 0.11.1

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-03-11 08:13:15 UTC (rev 1147982)
+++ PKGBUILD2022-03-11 08:14:44 UTC (rev 1147983)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=33
+pkgrel=34
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2022-03-07 Thread Felix Yan via arch-commits 
Date: Monday, March 7, 2022 @ 20:45:43
  Author: felixonmars
Revision: 1145011

upgpkg: haskell-tamarin-prover-term 1.6.1-33: rebuild with doctest 0.19.0

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-03-07 20:44:50 UTC (rev 1145010)
+++ PKGBUILD2022-03-07 20:45:43 UTC (rev 1145011)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=32
+pkgrel=33
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2022-03-03 Thread Felix Yan via arch-commits 
Date: Thursday, March 3, 2022 @ 19:57:05
  Author: felixonmars
Revision: 1141110

upgpkg: haskell-tamarin-prover-term 1.6.1-32: rebuild with hspec 2.9.0, 
hspec-core 2.9.0, hspec-discover 2.9.0

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-03-03 19:55:49 UTC (rev 1141109)
+++ PKGBUILD2022-03-03 19:57:05 UTC (rev 1141110)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=31
+pkgrel=32
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2022-02-19 Thread Felix Yan via arch-commits 
Date: Saturday, February 19, 2022 @ 21:27:38
  Author: felixonmars
Revision: 1135045

upgpkg: haskell-tamarin-prover-term 1.6.1-31: rebuild with hashable 1.4.0.0

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-02-19 21:26:42 UTC (rev 1135044)
+++ PKGBUILD2022-02-19 21:27:38 UTC (rev 1135045)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=30
+pkgrel=31
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2022-02-09 Thread Felix Yan via arch-commits 
Date: Wednesday, February 9, 2022 @ 23:18:45
  Author: felixonmars
Revision: 1130441

upgpkg: haskell-tamarin-prover-term 1.6.1-30: rebuild with attoparsec 0.14.4

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-02-09 23:17:51 UTC (rev 1130440)
+++ PKGBUILD2022-02-09 23:18:45 UTC (rev 1130441)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=29
+pkgrel=30
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2022-02-07 Thread Felix Yan via arch-commits 
Date: Monday, February 7, 2022 @ 17:35:57
  Author: felixonmars
Revision: 1128425

upgpkg: haskell-tamarin-prover-term 1.6.1-29: rebuild with base-compat 0.12.0, 
base-compat-batteries 0.12.0

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-02-07 17:34:57 UTC (rev 1128424)
+++ PKGBUILD2022-02-07 17:35:57 UTC (rev 1128425)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=28
+pkgrel=29
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2022-02-02 Thread Felix Yan via arch-commits 
Date: Wednesday, February 2, 2022 @ 19:47:01
  Author: felixonmars
Revision: 1123192

upgpkg: haskell-tamarin-prover-term 1.6.1-28: rebuild with base-orphans 0.8.6

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-02-02 19:46:08 UTC (rev 1123191)
+++ PKGBUILD2022-02-02 19:47:01 UTC (rev 1123192)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=27
+pkgrel=28
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2022-01-27 Thread Felix Yan via arch-commits 
Date: Friday, January 28, 2022 @ 05:54:33
  Author: felixonmars
Revision: 1118036

upgpkg: haskell-tamarin-prover-term 1.6.1-27: rebuild with async 2.2.4

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-01-28 05:53:36 UTC (rev 1118035)
+++ PKGBUILD2022-01-28 05:54:33 UTC (rev 1118036)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=26
+pkgrel=27
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2022-01-24 Thread Felix Yan via arch-commits 
Date: Tuesday, January 25, 2022 @ 06:53:31
  Author: felixonmars
Revision: 1115107

upgpkg: haskell-tamarin-prover-term 1.6.1-26: rebuild with hspec 2.8.5, 
hspec-core 2.8.5, hspec-discover 2.8.5

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-01-25 06:52:38 UTC (rev 1115106)
+++ PKGBUILD2022-01-25 06:53:31 UTC (rev 1115107)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=25
+pkgrel=26
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2022-01-18 Thread Felix Yan via arch-commits 
Date: Tuesday, January 18, 2022 @ 11:25:54
  Author: felixonmars
Revision: 1108544

upgpkg: haskell-tamarin-prover-term 1.6.1-25: rebuild with hashable 1.3.5.0

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-01-18 11:24:52 UTC (rev 1108543)
+++ PKGBUILD2022-01-18 11:25:54 UTC (rev 1108544)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=24
+pkgrel=25
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2022-01-16 Thread Felix Yan via arch-commits 
Date: Sunday, January 16, 2022 @ 21:44:22
  Author: felixonmars
Revision: 1106476

upgpkg: haskell-tamarin-prover-term 1.6.1-24: rebuild with attoparsec 0.14.3

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-01-16 21:43:23 UTC (rev 1106475)
+++ PKGBUILD2022-01-16 21:44:22 UTC (rev 1106476)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=23
+pkgrel=24
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2022-01-11 Thread Felix Yan via arch-commits 
Date: Tuesday, January 11, 2022 @ 19:34:06
  Author: felixonmars
Revision: 1100872

upgpkg: haskell-tamarin-prover-term 1.6.1-23: rebuild with ghc 9.0.2

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-01-11 19:32:39 UTC (rev 1100871)
+++ PKGBUILD2022-01-11 19:34:06 UTC (rev 1100872)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=22
+pkgrel=23
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2022-01-07 Thread Felix Yan via arch-commits 
Date: Friday, January 7, 2022 @ 23:35:36
  Author: felixonmars
Revision: 1096609

upgpkg: haskell-tamarin-prover-term 1.6.1-22: rebuild with hspec 2.8.4, 
hspec-core 2.8.4, hspec-discover 2.8.4

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-01-07 23:34:05 UTC (rev 1096608)
+++ PKGBUILD2022-01-07 23:35:36 UTC (rev 1096609)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=21
+pkgrel=22
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2022-01-05 Thread Felix Yan via arch-commits 
Date: Thursday, January 6, 2022 @ 01:11:03
  Author: felixonmars
Revision: 1094020

upgpkg: haskell-tamarin-prover-term 1.6.1-21: rebuild with primitive 0.7.3.0

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-01-06 01:09:33 UTC (rev 1094019)
+++ PKGBUILD2022-01-06 01:11:03 UTC (rev 1094020)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=20
+pkgrel=21
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-12-30 Thread Felix Yan via arch-commits 
Date: Friday, December 31, 2021 @ 07:09:14
  Author: felixonmars
Revision: 1089687

upgpkg: haskell-tamarin-prover-term 1.6.1-20: rebuild with logging-facade 0.3.1

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-12-31 07:07:41 UTC (rev 1089686)
+++ PKGBUILD2021-12-31 07:09:14 UTC (rev 1089687)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=19
+pkgrel=20
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-12-28 Thread Felix Yan via arch-commits 
Date: Tuesday, December 28, 2021 @ 01:29:30
  Author: felixonmars
Revision: 1084746

upgpkg: haskell-tamarin-prover-term 1.6.1-19: rebuild with tasty 1.4.2.1

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-12-28 01:28:01 UTC (rev 1084745)
+++ PKGBUILD2021-12-28 01:29:30 UTC (rev 1084746)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=18
+pkgrel=19
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-12-20 Thread Felix Yan via arch-commits 
Date: Monday, December 20, 2021 @ 21:22:49
  Author: felixonmars
Revision: 1080903

upgpkg: haskell-tamarin-prover-term 1.6.1-18: rebuild with silently 1.2.5.2

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-12-20 21:21:42 UTC (rev 1080902)
+++ PKGBUILD2021-12-20 21:22:49 UTC (rev 1080903)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=17
+pkgrel=18
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-12-19 Thread Felix Yan via arch-commits 
Date: Monday, December 20, 2021 @ 02:08:24
  Author: felixonmars
Revision: 1079248

upgpkg: haskell-tamarin-prover-term 1.6.1-17: rebuild with attoparsec 0.14.2

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-12-20 02:08:02 UTC (rev 1079247)
+++ PKGBUILD2021-12-20 02:08:24 UTC (rev 1079248)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=16
+pkgrel=17
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-12-18 Thread Felix Yan via arch-commits 
Date: Saturday, December 18, 2021 @ 17:58:10
  Author: felixonmars
Revision: 1077428

upgpkg: haskell-tamarin-prover-term 1.6.1-16: rebuild with tasty-quickcheck 
0.10.2

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-12-18 17:56:41 UTC (rev 1077427)
+++ PKGBUILD2021-12-18 17:58:10 UTC (rev 1077428)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=15
+pkgrel=16
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-12-15 Thread Felix Yan via arch-commits 
Date: Thursday, December 16, 2021 @ 04:22:47
  Author: felixonmars
Revision: 1073760

upgpkg: haskell-tamarin-prover-term 1.6.1-15: rebuild with hashable 1.3.4.1

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-12-16 04:21:02 UTC (rev 1073759)
+++ PKGBUILD2021-12-16 04:22:47 UTC (rev 1073760)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=14
+pkgrel=15
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-11-28 Thread Felix Yan via arch-commits 
Date: Monday, November 29, 2021 @ 00:23:13
  Author: felixonmars
Revision: 1055958

upgpkg: haskell-tamarin-prover-term 1.6.1-14: rebuild with regex-base 0.94.0.2

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-11-29 00:21:45 UTC (rev 1055957)
+++ PKGBUILD2021-11-29 00:23:13 UTC (rev 1055958)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=13
+pkgrel=14
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-11-17 Thread Felix Yan via arch-commits 
Date: Thursday, November 18, 2021 @ 04:50:44
  Author: felixonmars
Revision: 1051944

upgpkg: haskell-tamarin-prover-term 1.6.1-13: rebuild with hashable 1.3.4.0

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-11-18 04:49:16 UTC (rev 1051943)
+++ PKGBUILD2021-11-18 04:50:44 UTC (rev 1051944)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=12
+pkgrel=13
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-11-16 Thread Felix Yan via arch-commits 
Date: Wednesday, November 17, 2021 @ 04:27:55
  Author: felixonmars
Revision: 1049528

upgpkg: haskell-tamarin-prover-term 1.6.1-12: rebuild with splitmix 0.1.0.4

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-11-17 04:26:27 UTC (rev 1049527)
+++ PKGBUILD2021-11-17 04:27:55 UTC (rev 1049528)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=11
+pkgrel=12
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-11-13 Thread Felix Yan via arch-commits 
Date: Saturday, November 13, 2021 @ 16:13:30
  Author: felixonmars
Revision: 1045581

upgpkg: haskell-tamarin-prover-term 1.6.1-11: rebuild with vector-th-unbox 0.2.2

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-11-13 16:12:55 UTC (rev 1045580)
+++ PKGBUILD2021-11-13 16:13:30 UTC (rev 1045581)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=10
+pkgrel=11
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-11-11 Thread Felix Yan via arch-commits 
Date: Friday, November 12, 2021 @ 03:23:10
  Author: felixonmars
Revision: 1043046

upgpkg: haskell-tamarin-prover-term 1.6.1-10: rebuild with doctest 0.18.2

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-11-12 03:21:40 UTC (rev 1043045)
+++ PKGBUILD2021-11-12 03:23:10 UTC (rev 1043046)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=9
+pkgrel=10
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-11-10 Thread Felix Yan via arch-commits 
Date: Wednesday, November 10, 2021 @ 20:47:12
  Author: felixonmars
Revision: 1040321

upgpkg: haskell-tamarin-prover-term 1.6.1-9: rebuild with transformers-compat 
0.7.1

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-11-10 20:46:56 UTC (rev 1040320)
+++ PKGBUILD2021-11-10 20:47:12 UTC (rev 1040321)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=8
+pkgrel=9
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-11-06 Thread Felix Yan via arch-commits 
Date: Sunday, November 7, 2021 @ 00:30:01
  Author: felixonmars
Revision: 1037982

upgpkg: haskell-tamarin-prover-term 1.6.1-8: rebuild with blaze-builder 0.4.2.2

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-11-07 00:28:23 UTC (rev 1037981)
+++ PKGBUILD2021-11-07 00:30:01 UTC (rev 1037982)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=7
+pkgrel=8
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-10-26 Thread Felix Yan via arch-commits 
Date: Tuesday, October 26, 2021 @ 19:55:27
  Author: felixonmars
Revision: 1034402

upgpkg: haskell-tamarin-prover-term 1.6.1-7: rebuild with base-orphans 0.8.5

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-10-26 19:53:22 UTC (rev 1034401)
+++ PKGBUILD2021-10-26 19:55:27 UTC (rev 1034402)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=6
+pkgrel=7
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-09-24 Thread Felix Yan via arch-commits 
Date: Friday, September 24, 2021 @ 09:49:47
  Author: felixonmars
Revision: 1023564

upgpkg: haskell-tamarin-prover-term 1.6.1-6: rebuild with vector 0.12.3.1

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-09-24 09:47:08 UTC (rev 1023563)
+++ PKGBUILD2021-09-24 09:49:47 UTC (rev 1023564)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=5
+pkgrel=6
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")
@@ -20,7 +20,7 @@
 
 runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
 --prefix=/usr --docdir=/usr/share/doc/$pkgname \
---dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid 
--ghc-option=-fllvm
 runhaskell Setup build $MAKEFLAGS
 runhaskell Setup register --gen-script
 runhaskell Setup unregister --gen-script

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

2021-09-21 Thread Felix Yan via arch-commits 
Date: Tuesday, September 21, 2021 @ 19:54:29
  Author: felixonmars
Revision: 1020850

upgpkg: haskell-tamarin-prover-term 1.6.1-5: rebuild with random 1.2.1

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-09-21 19:53:37 UTC (rev 1020849)
+++ PKGBUILD2021-09-21 19:54:29 UTC (rev 1020850)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=4
+pkgrel=5
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-09-19 Thread Felix Yan via arch-commits 
Date: Monday, September 20, 2021 @ 00:32:19
  Author: felixonmars
Revision: 1018014

upgpkg: haskell-tamarin-prover-term 1.6.1-4: rebuild with unliftio 0.2.20

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-09-20 00:30:54 UTC (rev 1018013)
+++ PKGBUILD2021-09-20 00:32:19 UTC (rev 1018014)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=3
+pkgrel=4
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-08-28 Thread Felix Yan via arch-commits 
Date: Sunday, August 29, 2021 @ 01:57:42
  Author: felixonmars
Revision: 1008430

upgpkg: haskell-tamarin-prover-term 1.6.1-3: rebuild with hashable 1.3.3.0

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-08-29 01:56:30 UTC (rev 1008429)
+++ PKGBUILD2021-08-29 01:57:42 UTC (rev 1008430)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=2
+pkgrel=3
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-08-25 Thread Felix Yan via arch-commits 
Date: Thursday, August 26, 2021 @ 05:21:41
  Author: felixonmars
Revision: 1005587

upgpkg: haskell-tamarin-prover-term 1.6.1-2: rebuild with tasty 1.4.2

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-08-26 05:20:36 UTC (rev 1005586)
+++ PKGBUILD2021-08-26 05:21:41 UTC (rev 1005587)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.1
-pkgrel=1
+pkgrel=2
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-08-23 Thread Felix Yan via arch-commits 
Date: Monday, August 23, 2021 @ 20:44:25
  Author: felixonmars
Revision: 1004465

upgpkg: haskell-tamarin-prover-term 1.6.1-1: rebuild with tamarin-prover 1.6.1, 
tamarin-prover-sapic 1.6.1, tamarin-prover-term 1.6.1, tamarin-prover-theory 
1.6.1, tamarin-prover-utils 1.6.1

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |   15 ---
 1 file changed, 4 insertions(+), 11 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-08-23 20:42:07 UTC (rev 1004464)
+++ PKGBUILD2021-08-23 20:44:25 UTC (rev 1004465)
@@ -3,8 +3,8 @@
 
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
-pkgver=1.6.0
-pkgrel=91
+pkgver=1.6.1
+pkgrel=1
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")
@@ -12,16 +12,9 @@
 depends=('ghc-libs' 'haskell-hunit' 'haskell-attoparsec' 'haskell-dlist'
  'haskell-safe' 'haskell-tamarin-prover-utils')
 makedepends=('ghc')
-source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;
-maude-3.1.patch)
-sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e'
-
'1ef5e4c370a0c5f5541d50600604ba7adc566c2f5cf415cdb844842bb10b343edd00aa5aa654f8e55355c80f48a34382c87c3fba4adca0c77e726f407f3815c3')
+source=("https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver/tamarin-prover-$pkgver.tar.gz;)
+sha512sums=('dc6b91b1669055913a0aefc9a969812bf252185480fbf67588e7458289b1e1b64bf0729e9bee043513ecd5a57cd0c9477512e80861c6956c08b5e29d90211f62')
 
-prepare() {
-cd tamarin-prover-$pkgver
-patch -p1 -i ../maude-3.1.patch
-}
-
 build() {
 cd tamarin-prover-$pkgver/lib/term

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

2021-08-17 Thread Felix Yan via arch-commits 
Date: Tuesday, August 17, 2021 @ 16:21:53
  Author: felixonmars
Revision: 1002030

upgpkg: haskell-tamarin-prover-term 1.6.0-91: rebuild with mwc-random 0.15.0.2

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-08-17 16:21:09 UTC (rev 1002029)
+++ PKGBUILD2021-08-17 16:21:53 UTC (rev 1002030)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=90
+pkgrel=91
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-08-15 Thread Felix Yan via arch-commits 
Date: Sunday, August 15, 2021 @ 21:40:12
  Author: felixonmars
Revision: 999404

upgpkg: haskell-tamarin-prover-term 1.6.0-90: rebuild with hspec 2.8.3, 
hspec-core 2.8.3, hspec-discover 2.8.3

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-08-15 21:38:59 UTC (rev 999403)
+++ PKGBUILD2021-08-15 21:40:12 UTC (rev 999404)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=89
+pkgrel=90
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-08-13 Thread Felix Yan via arch-commits 
Date: Friday, August 13, 2021 @ 14:55:22
  Author: felixonmars
Revision: 998070

upgpkg: haskell-tamarin-prover-term 1.6.0-89: rebuild with base64-bytestring 
1.2.1.0

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-08-13 14:54:09 UTC (rev 998069)
+++ PKGBUILD2021-08-13 14:55:22 UTC (rev 998070)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=88
+pkgrel=89
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-08-08 Thread Felix Yan via arch-commits 
Date: Sunday, August 8, 2021 @ 19:27:26
  Author: felixonmars
Revision: 995635

upgpkg: haskell-tamarin-prover-term 1.6.0-88: rebuild with primitive 0.7.2.0

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-08-08 19:27:26 UTC (rev 995634)
+++ PKGBUILD2021-08-08 19:27:26 UTC (rev 995635)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=87
+pkgrel=88
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-07-26 Thread Felix Yan via arch-commits 
Date: Monday, July 26, 2021 @ 22:50:46
  Author: felixonmars
Revision: 986137

upgpkg: haskell-tamarin-prover-term 1.6.0-87: rebuild with transformers-compat 
0.7

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-07-26 22:49:32 UTC (rev 986136)
+++ PKGBUILD2021-07-26 22:50:46 UTC (rev 986137)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=86
+pkgrel=87
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-07-21 Thread Felix Yan via arch-commits 
Date: Wednesday, July 21, 2021 @ 17:36:50
  Author: felixonmars
Revision: 982475

upgpkg: haskell-tamarin-prover-term 1.6.0-86: rebuild with unliftio 0.2.19

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-07-21 17:35:53 UTC (rev 982474)
+++ PKGBUILD2021-07-21 17:36:50 UTC (rev 982475)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=85
+pkgrel=86
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-07-20 Thread Felix Yan via arch-commits 
Date: Tuesday, July 20, 2021 @ 13:32:58
  Author: felixonmars
Revision: 980030

upgpkg: haskell-tamarin-prover-term 1.6.0-85: rebuild with regex-posix 0.96.0.1

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-07-20 13:31:59 UTC (rev 980029)
+++ PKGBUILD2021-07-20 13:32:58 UTC (rev 980030)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=84
+pkgrel=85
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-07-06 Thread Felix Yan via arch-commits 
Date: Tuesday, July 6, 2021 @ 17:32:19
  Author: felixonmars
Revision: 973632

upgpkg: haskell-tamarin-prover-term 1.6.0-84: rebuild with colour 2.3.6

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-07-06 17:30:56 UTC (rev 973631)
+++ PKGBUILD2021-07-06 17:32:19 UTC (rev 973632)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=83
+pkgrel=84
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-07-01 Thread Felix Yan via arch-commits 
Date: Friday, July 2, 2021 @ 01:51:17
  Author: felixonmars
Revision: 970102

upgpkg: haskell-tamarin-prover-term 1.6.0-83: rebuild with call-stack 0.4.0

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-07-02 01:50:02 UTC (rev 970101)
+++ PKGBUILD2021-07-02 01:51:17 UTC (rev 970102)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=82
+pkgrel=83
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-06-22 Thread Felix Yan via arch-commits 
Date: Wednesday, June 23, 2021 @ 01:50:50
  Author: felixonmars
Revision: 966976

upgpkg: haskell-tamarin-prover-term 1.6.0-82: rebuild with ghc 9.0.1, 
ghc-lib-parser-ex 9.0.0.4, hlint 3.3.1, one-liner 2.0, path 0.9.0, retrie 
1.0.0.0

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-06-23 01:49:00 UTC (rev 966975)
+++ PKGBUILD2021-06-23 01:50:50 UTC (rev 966976)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=81
+pkgrel=82
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-06-09 Thread Felix Yan via arch-commits 
Date: Thursday, June 10, 2021 @ 03:12:27
  Author: felixonmars
Revision: 961035

upgpkg: haskell-tamarin-prover-term 1.6.0-81: rebuild with unliftio 0.2.18

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-06-10 03:10:45 UTC (rev 961034)
+++ PKGBUILD2021-06-10 03:12:27 UTC (rev 961035)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=80
+pkgrel=81
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-06-07 Thread Felix Yan via arch-commits 
Date: Monday, June 7, 2021 @ 12:17:26
  Author: felixonmars
Revision: 957522

upgpkg: haskell-tamarin-prover-term 1.6.0-80: rebuild with ghc 8.10.5

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-06-07 12:16:04 UTC (rev 957521)
+++ PKGBUILD2021-06-07 12:17:26 UTC (rev 957522)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=79
+pkgrel=80
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-06-02 Thread Felix Yan via arch-commits 
Date: Thursday, June 3, 2021 @ 02:40:32
  Author: felixonmars
Revision: 954229

upgpkg: haskell-tamarin-prover-term 1.6.0-79: rebuild with unliftio 0.2.17

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-06-03 02:39:46 UTC (rev 954228)
+++ PKGBUILD2021-06-03 02:40:32 UTC (rev 954229)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=78
+pkgrel=79
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-05-30 Thread Felix Yan via arch-commits 
Date: Monday, May 31, 2021 @ 01:19:26
  Author: felixonmars
Revision: 951272

upgpkg: haskell-tamarin-prover-term 1.6.0-78: rebuild with unliftio 0.2.16

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-05-31 01:18:38 UTC (rev 951271)
+++ PKGBUILD2021-05-31 01:19:26 UTC (rev 951272)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=77
+pkgrel=78
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-05-27 Thread Felix Yan via arch-commits 
Date: Thursday, May 27, 2021 @ 21:58:39
  Author: felixonmars
Revision: 949202

upgpkg: haskell-tamarin-prover-term 1.6.0-77: rebuild with fclabels 2.0.5.1

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-05-27 21:57:55 UTC (rev 949201)
+++ PKGBUILD2021-05-27 21:58:39 UTC (rev 949202)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=76
+pkgrel=77
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-05-26 Thread Felix Yan via arch-commits 
Date: Thursday, May 27, 2021 @ 00:20:27
  Author: felixonmars
Revision: 947504

upgpkg: haskell-tamarin-prover-term 1.6.0-76: rebuild with hspec 2.8.2, 
hspec-core 2.8.2, hspec-discover 2.8.2

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-05-27 00:19:39 UTC (rev 947503)
+++ PKGBUILD2021-05-27 00:20:27 UTC (rev 947504)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=75
+pkgrel=76
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-05-23 Thread Felix Yan via arch-commits 
Date: Sunday, May 23, 2021 @ 14:01:19
  Author: felixonmars
Revision: 943375

upgpkg: haskell-tamarin-prover-term 1.6.0-75: rebuild with scientific 0.3.7.0

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-05-23 14:00:07 UTC (rev 943374)
+++ PKGBUILD2021-05-23 14:01:19 UTC (rev 943375)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=74
+pkgrel=75
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-05-20 Thread Felix Yan via arch-commits 
Date: Friday, May 21, 2021 @ 04:36:19
  Author: felixonmars
Revision: 940164

upgpkg: haskell-tamarin-prover-term 1.6.0-74: rebuild with hashable 1.3.2.0

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-05-21 04:35:24 UTC (rev 940163)
+++ PKGBUILD2021-05-21 04:36:19 UTC (rev 940164)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=73
+pkgrel=74
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-05-19 Thread Felix Yan via arch-commits 
Date: Wednesday, May 19, 2021 @ 21:55:44
  Author: felixonmars
Revision: 936992

upgpkg: haskell-tamarin-prover-term 1.6.0-73: rebuild with hspec 2.8.1, 
hspec-core 2.8.1, hspec-discover 2.8.1

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-05-19 21:54:55 UTC (rev 936991)
+++ PKGBUILD2021-05-19 21:55:44 UTC (rev 936992)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=72
+pkgrel=73
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-05-13 Thread Felix Yan via arch-commits 
Date: Thursday, May 13, 2021 @ 17:34:43
  Author: felixonmars
Revision: 933375

upgpkg: haskell-tamarin-prover-term 1.6.0-72: rebuild with hspec 2.8.0, 
hspec-core 2.8.0, hspec-discover 2.8.0

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-05-13 17:33:55 UTC (rev 933374)
+++ PKGBUILD2021-05-13 17:34:43 UTC (rev 933375)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=71
+pkgrel=72
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-05-11 Thread Felix Yan via arch-commits 
Date: Wednesday, May 12, 2021 @ 00:45:50
  Author: felixonmars
Revision: 931115

upgpkg: haskell-tamarin-prover-term 1.6.0-71: rebuild with unliftio 0.2.15

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-05-12 00:44:44 UTC (rev 931114)
+++ PKGBUILD2021-05-12 00:45:50 UTC (rev 931115)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=70
+pkgrel=71
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-04-22 Thread Felix Yan via arch-commits 
Date: Thursday, April 22, 2021 @ 17:30:07
  Author: felixonmars
Revision: 921344

upgpkg: haskell-tamarin-prover-term 1.6.0-70: rebuild with hspec 2.7.10, 
hspec-core 2.7.10, hspec-discover 2.7.10

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-04-22 17:28:50 UTC (rev 921343)
+++ PKGBUILD2021-04-22 17:30:07 UTC (rev 921344)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=69
+pkgrel=70
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-04-13 Thread Felix Yan via arch-commits 
Date: Tuesday, April 13, 2021 @ 08:39:20
  Author: felixonmars
Revision: 916759

upgpkg: haskell-tamarin-prover-term 1.6.0-69: rebuild with 
quickcheck-classes-base 0.6.2.0

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-04-13 08:38:20 UTC (rev 916758)
+++ PKGBUILD2021-04-13 08:39:20 UTC (rev 916759)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=68
+pkgrel=69
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-04-07 Thread Felix Yan via arch-commits 
Date: Wednesday, April 7, 2021 @ 23:39:07
  Author: felixonmars
Revision: 913057

upgpkg: haskell-tamarin-prover-term 1.6.0-68: rebuild with vector 0.12.3.0

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-04-07 23:37:49 UTC (rev 913056)
+++ PKGBUILD2021-04-07 23:39:07 UTC (rev 913057)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=67
+pkgrel=68
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-03-29 Thread Felix Yan via arch-commits 
Date: Monday, March 29, 2021 @ 06:27:12
  Author: felixonmars
Revision: 908569

upgpkg: haskell-tamarin-prover-term 1.6.0-67: rebuild with math-functions 
0.3.4.2

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-03-29 06:25:56 UTC (rev 908568)
+++ PKGBUILD2021-03-29 06:27:12 UTC (rev 908569)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=66
+pkgrel=67
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-03-28 Thread Felix Yan via arch-commits 
Date: Sunday, March 28, 2021 @ 05:41:03
  Author: felixonmars
Revision: 906325

upgpkg: haskell-tamarin-prover-term 1.6.0-66: rebuild with tasty 1.4.1

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-03-28 05:39:47 UTC (rev 906324)
+++ PKGBUILD2021-03-28 05:41:03 UTC (rev 906325)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=65
+pkgrel=66
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-03-26 Thread Felix Yan via arch-commits 
Date: Friday, March 26, 2021 @ 22:14:04
  Author: felixonmars
Revision: 904813

upgpkg: haskell-tamarin-prover-term 1.6.0-65: rebuild with attoparsec 0.14.1

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-03-26 22:12:47 UTC (rev 904812)
+++ PKGBUILD2021-03-26 22:14:04 UTC (rev 904813)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=64
+pkgrel=65
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-03-25 Thread Felix Yan via arch-commits 
Date: Thursday, March 25, 2021 @ 15:56:39
  Author: felixonmars
Revision: 903188

upgpkg: haskell-tamarin-prover-term 1.6.0-64: rebuild with tasty 1.4.0.3

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-03-25 15:55:00 UTC (rev 903187)
+++ PKGBUILD2021-03-25 15:56:39 UTC (rev 903188)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=63
+pkgrel=64
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-03-22 Thread Felix Yan via arch-commits 
Date: Tuesday, March 23, 2021 @ 03:00:56
  Author: felixonmars
Revision: 899738

upgpkg: haskell-tamarin-prover-term 1.6.0-63: rebuild with hspec 2.7.9, 
hspec-core 2.7.9, hspec-discover 2.7.9

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-03-23 02:59:32 UTC (rev 899737)
+++ PKGBUILD2021-03-23 03:00:56 UTC (rev 899738)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=62
+pkgrel=63
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-03-20 Thread Felix Yan via arch-commits 
Date: Sunday, March 21, 2021 @ 04:35:47
  Author: felixonmars
Revision: 896829

upgpkg: haskell-tamarin-prover-term 1.6.0-62: rebuild with tasty 1.4.0.2

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-03-21 04:34:33 UTC (rev 896828)
+++ PKGBUILD2021-03-21 04:35:47 UTC (rev 896829)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=61
+pkgrel=62
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-03-16 Thread Felix Yan via arch-commits 
Date: Tuesday, March 16, 2021 @ 21:07:14
  Author: felixonmars
Revision: 892296

upgpkg: haskell-tamarin-prover-term 1.6.0-61: rebuild with doctest 0.18.1

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-03-16 21:05:53 UTC (rev 892295)
+++ PKGBUILD2021-03-16 21:07:14 UTC (rev 892296)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=60
+pkgrel=61
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-03-11 Thread Felix Yan via arch-commits 
Date: Friday, March 12, 2021 @ 04:39:15
  Author: felixonmars
Revision: 888105

upgpkg: haskell-tamarin-prover-term 1.6.0-60: rebuild with tasty 1.4.0.1

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-03-12 04:37:57 UTC (rev 888104)
+++ PKGBUILD2021-03-12 04:39:15 UTC (rev 888105)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=59
+pkgrel=60
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-03-06 Thread Felix Yan via arch-commits 
Date: Sunday, March 7, 2021 @ 03:40:59
  Author: felixonmars
Revision: 885304

upgpkg: haskell-tamarin-prover-term 1.6.0-59: rebuild with vector-th-unbox 
0.2.1.9

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-03-07 03:40:09 UTC (rev 885303)
+++ PKGBUILD2021-03-07 03:40:59 UTC (rev 885304)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=58
+pkgrel=59
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-03-05 Thread Felix Yan via arch-commits 
Date: Friday, March 5, 2021 @ 23:29:56
  Author: felixonmars
Revision: 882750

upgpkg: haskell-tamarin-prover-term 1.6.0-58: rebuild with hspec 2.7.8, 
hspec-core 2.7.8, hspec-discover 2.7.8

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-03-05 23:29:04 UTC (rev 882749)
+++ PKGBUILD2021-03-05 23:29:56 UTC (rev 882750)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=57
+pkgrel=58
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-03-03 Thread Felix Yan via arch-commits 
Date: Thursday, March 4, 2021 @ 01:37:02
  Author: felixonmars
Revision: 879940

upgpkg: haskell-tamarin-prover-term 1.6.0-57: rebuild with tasty 1.4, 
tasty-silver 3.2, tasty-ant-xml 1.1.8

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-03-04 01:36:18 UTC (rev 879939)
+++ PKGBUILD2021-03-04 01:37:02 UTC (rev 879940)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=56
+pkgrel=57
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-03-01 Thread Felix Yan via arch-commits 
Date: Monday, March 1, 2021 @ 20:21:39
  Author: felixonmars
Revision: 876761

upgpkg: haskell-tamarin-prover-term 1.6.0-56: rebuild with vector-th-unbox 
0.2.1.8

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-03-01 20:20:52 UTC (rev 876760)
+++ PKGBUILD2021-03-01 20:21:39 UTC (rev 876761)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=55
+pkgrel=56
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2021-02-24 Thread Felix Yan via arch-commits 
Date: Thursday, February 25, 2021 @ 03:05:08
  Author: felixonmars
Revision: 872638

upgpkg: haskell-tamarin-prover-term 1.6.0-55: rebuild with regex-base 0.94.0.1

Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-02-25 03:04:11 UTC (rev 872637)
+++ PKGBUILD2021-02-25 03:05:08 UTC (rev 872638)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=54
+pkgrel=55
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

  1   2   >