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

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

2020-12-29 Thread Felix Yan via arch-commits

Date: Tuesday, December 29, 2020 @ 10:47:41
  Author: felixonmars
Revision: 796802

upgpkg: haskell-tamarin-prover-theory 1.6.0-36: rebuild with tagged 0.8.6.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-29 10:45:15 UTC (rev 796801)
+++ PKGBUILD2020-12-29 10:47:41 UTC (rev 796802)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.6.0
-pkgrel=35
+pkgrel=36
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-12-28 Thread Felix Yan via arch-commits

Date: Monday, December 28, 2020 @ 14:08:15
  Author: felixonmars
Revision: 794970

upgpkg: haskell-tamarin-prover-theory 1.6.0-35: rebuild with 
indexed-traversable 0.1.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-28 14:05:45 UTC (rev 794969)
+++ PKGBUILD2020-12-28 14:08:15 UTC (rev 794970)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.6.0
-pkgrel=34
+pkgrel=35
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-12-25 Thread Felix Yan via arch-commits

Date: Saturday, December 26, 2020 @ 05:44:18
  Author: felixonmars
Revision: 792027

upgpkg: haskell-tamarin-prover-theory 1.6.0-34: rebuild with tasty-quickcheck 
0.10.1.2

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-26 05:41:48 UTC (rev 792026)
+++ PKGBUILD2020-12-26 05:44:18 UTC (rev 792027)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.6.0
-pkgrel=33
+pkgrel=34
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-12-24 Thread Felix Yan via arch-commits

Date: Friday, December 25, 2020 @ 04:02:31
  Author: felixonmars
Revision: 789565

upgpkg: haskell-tamarin-prover-theory 1.6.0-33: rebuild with comonad 5.0.7

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-25 03:58:37 UTC (rev 789564)
+++ PKGBUILD2020-12-25 04:02:31 UTC (rev 789565)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.6.0
-pkgrel=32
+pkgrel=33
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-12-24 Thread Felix Yan via arch-commits

Date: Thursday, December 24, 2020 @ 14:40:16
  Author: felixonmars
Revision: 788174

upgpkg: haskell-tamarin-prover-theory 1.6.0-32: rebuild with base16-bytestring 
1.0.1.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-24 14:39:05 UTC (rev 788173)
+++ PKGBUILD2020-12-24 14:40:16 UTC (rev 788174)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.6.0
-pkgrel=31
+pkgrel=32
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-12-24 Thread Felix Yan via arch-commits

Date: Thursday, December 24, 2020 @ 13:05:00
  Author: felixonmars
Revision: 787206

upgpkg: haskell-tamarin-prover-theory 1.6.0-31: rebuild with ghc 8.10.3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-24 13:03:31 UTC (rev 787205)
+++ PKGBUILD2020-12-24 13:05:00 UTC (rev 787206)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.6.0
-pkgrel=30
+pkgrel=31
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-12-22 Thread Felix Yan via arch-commits

Date: Wednesday, December 23, 2020 @ 07:46:40
  Author: felixonmars
Revision: 783880

upgpkg: haskell-tamarin-prover-theory 1.6.0-30: rebuild with tasty-smallcheck 
0.8.2

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-23 07:42:59 UTC (rev 783879)
+++ PKGBUILD2020-12-23 07:46:40 UTC (rev 783880)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.6.0
-pkgrel=29
+pkgrel=30
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-12-21 Thread Felix Yan via arch-commits

Date: Monday, December 21, 2020 @ 21:00:34
  Author: felixonmars
Revision: 781564

upgpkg: haskell-tamarin-prover-theory 1.6.0-29: rebuild with tasty-hunit 
0.10.0.3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-21 20:58:39 UTC (rev 781563)
+++ PKGBUILD2020-12-21 21:00:34 UTC (rev 781564)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.6.0
-pkgrel=28
+pkgrel=29
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-12-17 Thread Felix Yan via arch-commits

Date: Thursday, December 17, 2020 @ 22:38:17
  Author: felixonmars
Revision: 778213

upgpkg: haskell-tamarin-prover-theory 1.6.0-28: rebuild with th-abstraction 
0.4.1.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-17 22:34:39 UTC (rev 778212)
+++ PKGBUILD2020-12-17 22:38:17 UTC (rev 778213)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.6.0
-pkgrel=27
+pkgrel=28
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-12-15 Thread Felix Yan via arch-commits

Date: Tuesday, December 15, 2020 @ 18:57:30
  Author: felixonmars
Revision: 776074

upgpkg: haskell-tamarin-prover-theory 1.6.0-27: rebuild with base16-bytestring 
1.0.0.0, casa-types 0.0.2

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-15 18:53:44 UTC (rev 776073)
+++ PKGBUILD2020-12-15 18:57:30 UTC (rev 776074)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.6.0
-pkgrel=26
+pkgrel=27
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-12-13 Thread Felix Yan via arch-commits

Date: Sunday, December 13, 2020 @ 22:25:06
  Author: felixonmars
Revision: 774595

upgpkg: haskell-tamarin-prover-theory 1.6.0-26: rebuild with base-orphans 0.8.5

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-13 22:22:29 UTC (rev 774594)
+++ PKGBUILD2020-12-13 22:25:06 UTC (rev 774595)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.6.0
-pkgrel=25
+pkgrel=26
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-12-07 Thread Felix Yan via arch-commits

Date: Monday, December 7, 2020 @ 22:05:12
  Author: felixonmars
Revision: 771636

upgpkg: haskell-tamarin-prover-theory 1.6.0-25: rebuild with strict 0.4.0.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-07 22:01:35 UTC (rev 771635)
+++ PKGBUILD2020-12-07 22:05:12 UTC (rev 771636)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.6.0
-pkgrel=24
+pkgrel=25
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-12-04 Thread Felix Yan via arch-commits

Date: Saturday, December 5, 2020 @ 01:37:17
  Author: felixonmars
Revision: 770381

upgpkg: haskell-tamarin-prover-theory 1.6.0-24: rebuild with time-compat 1.9.5

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-05 01:32:56 UTC (rev 770380)
+++ PKGBUILD2020-12-05 01:37:17 UTC (rev 770381)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.6.0
-pkgrel=23
+pkgrel=24
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-11-28 Thread Felix Yan via arch-commits

Date: Saturday, November 28, 2020 @ 18:56:03
  Author: felixonmars
Revision: 765440

upgpkg: haskell-tamarin-prover-theory 1.6.0-23: rebuild with unbounded-delays 
0.1.1.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-28 18:52:25 UTC (rev 765439)
+++ PKGBUILD2020-11-28 18:56:03 UTC (rev 765440)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.6.0
-pkgrel=22
+pkgrel=23
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-11-22 Thread Felix Yan via arch-commits

Date: Monday, November 23, 2020 @ 00:09:48
  Author: felixonmars
Revision: 759776

upgpkg: haskell-tamarin-prover-theory 1.6.0-22: rebuild with 
optparse-applicative 0.16.1.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-23 00:06:14 UTC (rev 759775)
+++ PKGBUILD2020-11-23 00:09:48 UTC (rev 759776)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.6.0
-pkgrel=21
+pkgrel=22
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-11-20 Thread Felix Yan via arch-commits

Date: Friday, November 20, 2020 @ 23:27:59
  Author: felixonmars
Revision: 758236

upgpkg: haskell-tamarin-prover-theory 1.6.0-21: rebuild with base64-bytestring 
1.2.0.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-20 23:24:24 UTC (rev 758235)
+++ PKGBUILD2020-11-20 23:27:59 UTC (rev 758236)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.6.0
-pkgrel=20
+pkgrel=21
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-11-16 Thread Felix Yan via arch-commits

Date: Monday, November 16, 2020 @ 17:45:19
  Author: felixonmars
Revision: 755447

upgpkg: haskell-tamarin-prover-theory 1.6.0-20: rebuild with QuickCheck 2.14.2, 
quickcheck-instances 0.3.25.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-16 17:41:22 UTC (rev 755446)
+++ PKGBUILD2020-11-16 17:45:19 UTC (rev 755447)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.6.0
-pkgrel=19
+pkgrel=20
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-11-08 Thread Felix Yan via arch-commits

Date: Sunday, November 8, 2020 @ 12:59:17
  Author: felixonmars
Revision: 746548

upgpkg: haskell-tamarin-prover-theory 1.6.0-19: rebuild with uniplate 1.6.13

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-08 12:56:13 UTC (rev 746547)
+++ PKGBUILD2020-11-08 12:59:17 UTC (rev 746548)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.6.0
-pkgrel=18
+pkgrel=19
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-11-07 Thread Felix Yan via arch-commits

Date: Saturday, November 7, 2020 @ 14:20:17
  Author: felixonmars
Revision: 745792

upgpkg: haskell-tamarin-prover-theory 1.6.0-18: rebuild with integer-logarithms 
1.0.3.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-07 14:14:53 UTC (rev 745791)
+++ PKGBUILD2020-11-07 14:20:17 UTC (rev 745792)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.6.0
-pkgrel=17
+pkgrel=18
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-11-06 Thread Felix Yan via arch-commits

Date: Friday, November 6, 2020 @ 13:46:21
  Author: felixonmars
Revision: 744284

upgpkg: haskell-tamarin-prover-theory 1.6.0-17: rebuild with splitmix 0.1.0.3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-06 13:43:47 UTC (rev 744283)
+++ PKGBUILD2020-11-06 13:46:21 UTC (rev 744284)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.6.0
-pkgrel=16
+pkgrel=17
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-11-04 Thread Felix Yan via arch-commits

Date: Wednesday, November 4, 2020 @ 18:03:57
  Author: felixonmars
Revision: 742480

upgpkg: haskell-tamarin-prover-theory 1.6.0-16: rebuild with 
quickcheck-instances 0.3.25

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-04 18:00:40 UTC (rev 742479)
+++ PKGBUILD2020-11-04 18:03:57 UTC (rev 742480)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.6.0
-pkgrel=15
+pkgrel=16
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-11-04 Thread Felix Yan via arch-commits

Date: Wednesday, November 4, 2020 @ 08:22:26
  Author: felixonmars
Revision: 741707

upgpkg: haskell-tamarin-prover-theory 1.6.0-15: rebuild with time-compat 1.9.4

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-04 08:21:23 UTC (rev 741706)
+++ PKGBUILD2020-11-04 08:22:26 UTC (rev 741707)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.6.0
-pkgrel=14
+pkgrel=15
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-11-02 Thread Felix Yan via arch-commits

Date: Monday, November 2, 2020 @ 17:10:08
  Author: felixonmars
Revision: 739973

upgpkg: haskell-tamarin-prover-theory 1.6.0-14: rebuild with HUnit 1.6.1.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-02 17:06:11 UTC (rev 739972)
+++ PKGBUILD2020-11-02 17:10:08 UTC (rev 739973)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.6.0
-pkgrel=13
+pkgrel=14
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-10-31 Thread Felix Yan via arch-commits

Date: Saturday, October 31, 2020 @ 14:18:34
  Author: felixonmars
Revision: 737716

upgpkg: haskell-tamarin-prover-theory 1.6.0-13: rebuild with unliftio 0.2.13.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-31 14:15:40 UTC (rev 737715)
+++ PKGBUILD2020-10-31 14:18:34 UTC (rev 737716)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.6.0
-pkgrel=12
+pkgrel=13
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-10-28 Thread Felix Yan via arch-commits

Date: Wednesday, October 28, 2020 @ 09:33:27
  Author: felixonmars
Revision: 735305

upgpkg: haskell-tamarin-prover-theory 1.6.0-12: rebuild with 
optparse-applicative 0.16.0.0, optparse-generic 1.4.3, turtle 1.5.21

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-28 09:30:39 UTC (rev 735304)
+++ PKGBUILD2020-10-28 09:33:27 UTC (rev 735305)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.6.0
-pkgrel=11
+pkgrel=12
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-10-25 Thread Felix Yan via arch-commits

Date: Sunday, October 25, 2020 @ 20:53:15
  Author: felixonmars
Revision: 732985

upgpkg: haskell-tamarin-prover-theory 1.6.0-11: rebuild with bifunctors 5.5.8

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-25 20:50:44 UTC (rev 732984)
+++ PKGBUILD2020-10-25 20:53:15 UTC (rev 732985)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.6.0
-pkgrel=10
+pkgrel=11
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-10-23 Thread Felix Yan via arch-commits

Date: Friday, October 23, 2020 @ 20:33:41
  Author: felixonmars
Revision: 730830

upgpkg: haskell-tamarin-prover-theory 1.6.0-10: rebuild with generic-deriving 
1.14

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-23 20:32:47 UTC (rev 730829)
+++ PKGBUILD2020-10-23 20:33:41 UTC (rev 730830)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.6.0
-pkgrel=9
+pkgrel=10
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-10-21 Thread Felix Yan via arch-commits

Date: Wednesday, October 21, 2020 @ 23:51:53
  Author: felixonmars
Revision: 728614

upgpkg: haskell-tamarin-prover-theory 1.6.0-9: rebuild with splitmix 0.1.0.2

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-21 23:48:33 UTC (rev 728613)
+++ PKGBUILD2020-10-21 23:51:53 UTC (rev 728614)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.6.0
-pkgrel=8
+pkgrel=9
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-10-17 Thread Felix Yan via arch-commits

Date: Saturday, October 17, 2020 @ 10:52:26
  Author: felixonmars
Revision: 725358

upgpkg: haskell-tamarin-prover-theory 1.6.0-8: rebuild with th-abstraction 
0.4.0.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-17 10:43:19 UTC (rev 725357)
+++ PKGBUILD2020-10-17 10:52:26 UTC (rev 725358)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.6.0
-pkgrel=7
+pkgrel=8
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-10-09 Thread Felix Yan via arch-commits

Date: Friday, October 9, 2020 @ 19:11:46
  Author: felixonmars
Revision: 722744

upgpkg: haskell-tamarin-prover-theory 1.6.0-7: rebuild with 
unordered-containers 0.2.13.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-09 19:09:17 UTC (rev 722743)
+++ PKGBUILD2020-10-09 19:11:46 UTC (rev 722744)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.6.0
-pkgrel=6
+pkgrel=7
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-10-07 Thread Felix Yan via arch-commits

Date: Wednesday, October 7, 2020 @ 11:01:52
  Author: felixonmars
Revision: 720327

upgpkg: haskell-tamarin-prover-theory 1.6.0-6: rebuild with base-compat 0.11.2, 
base-compat-batteries 0.11.2

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-07 11:01:34 UTC (rev 720326)
+++ PKGBUILD2020-10-07 11:01:52 UTC (rev 720327)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.6.0
-pkgrel=5
+pkgrel=6
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-10-05 Thread Felix Yan via arch-commits

Date: Monday, October 5, 2020 @ 07:23:41
  Author: felixonmars
Revision: 718710

upgpkg: haskell-tamarin-prover-theory 1.6.0-5: rebuild with aeson 1.5.4.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-05 07:21:08 UTC (rev 718709)
+++ PKGBUILD2020-10-05 07:23:41 UTC (rev 718710)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.6.0
-pkgrel=4
+pkgrel=5
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-10-04 Thread Felix Yan via arch-commits

Date: Sunday, October 4, 2020 @ 07:32:37
  Author: felixonmars
Revision: 717337

upgpkg: haskell-tamarin-prover-theory 1.6.0-4: rebuild with transformers-compat 
0.6.6

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-04 07:30:15 UTC (rev 717336)
+++ PKGBUILD2020-10-04 07:32:37 UTC (rev 717337)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.6.0
-pkgrel=3
+pkgrel=4
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-10-02 Thread Felix Yan via arch-commits

Date: Friday, October 2, 2020 @ 07:30:49
  Author: felixonmars
Revision: 715099

upgpkg: haskell-tamarin-prover-theory 1.6.0-3: rebuild with base-orphans 0.8.3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-02 07:30:15 UTC (rev 715098)
+++ PKGBUILD2020-10-02 07:30:49 UTC (rev 715099)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.6.0
-pkgrel=2
+pkgrel=3
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-09-17 Thread Felix Yan via arch-commits

Date: Thursday, September 17, 2020 @ 21:57:25
  Author: felixonmars
Revision: 709478

upgpkg: haskell-tamarin-prover-theory 1.6.0-2: rebuild with hspec 2.7.4, 
hspec-core 2.7.4, hspec-discover 2.7.4

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-17 21:54:48 UTC (rev 709477)
+++ PKGBUILD2020-09-17 21:57:25 UTC (rev 709478)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.6.0
-pkgrel=1
+pkgrel=2
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-09-16 Thread Felix Yan via arch-commits

Date: Wednesday, September 16, 2020 @ 14:46:35
  Author: felixonmars
Revision: 708074

upgpkg: haskell-tamarin-prover-theory 1.6.0-1

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

--+
 PKGBUILD |   15 +++
 1 file changed, 7 insertions(+), 8 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-09-16 14:41:32 UTC (rev 708073)
+++ PKGBUILD2020-09-16 14:46:35 UTC (rev 708074)
@@ -3,27 +3,26 @@
 
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
-pkgver=1.4.1
-pkgrel=119
+pkgver=1.6.0
+pkgrel=1
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")
 arch=('x86_64')
 depends=('ghc-libs' 'haskell-aeson' 'haskell-aeson-pretty' 'haskell-dlist' 
'haskell-fclabels'
- 'haskell-parallel' 'haskell-safe'
- 'haskell-uniplate' 'haskell-tamarin-prover-utils' 
'haskell-tamarin-prover-term')
+ 'haskell-parallel' 'haskell-safe' 'haskell-uniplate' 
'haskell-tamarin-prover-utils'
+ 'haskell-tamarin-prover-term')
 makedepends=('ghc')
 
source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
-sha512sums=('4d3aeae02be5d430bff6c55d78656e3c9a648674d235bfeb36ce227a39abd3054a132b99ff8040abf05d8e26506fe85d21ecfb6fce73062dd45b5ba98d941144')
+sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e')
 
 build() {
-cd "${srcdir}/tamarin-prover-${pkgver}/lib/theory"
+cd tamarin-prover-$pkgver/lib/theory
 
 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
 runhaskell Setup build $MAKEFLAGS
-# haddock failed to generate
 runhaskell Setup register --gen-script
 runhaskell Setup unregister --gen-script
 sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
@@ -31,7 +30,7 @@
 }
 
 package() {
-cd "${srcdir}/tamarin-prover-${pkgver}/lib/theory"
+cd tamarin-prover-$pkgver/lib/theory
 
 install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
 install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh

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

2020-09-14 Thread Felix Yan via arch-commits

Date: Monday, September 14, 2020 @ 21:50:51
  Author: felixonmars
Revision: 706756

upgpkg: haskell-tamarin-prover-theory 1.4.1-119: rebuild with 
quickcheck-classes-base 0.6.1.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-14 21:48:49 UTC (rev 706755)
+++ PKGBUILD2020-09-14 21:50:51 UTC (rev 706756)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=118
+pkgrel=119
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-09-12 Thread Felix Yan via arch-commits

Date: Saturday, September 12, 2020 @ 18:35:54
  Author: felixonmars
Revision: 704568

upgpkg: haskell-tamarin-prover-theory 1.4.1-118: rebuild with ansi-terminal 0.11

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-12 18:33:48 UTC (rev 704567)
+++ PKGBUILD2020-09-12 18:35:54 UTC (rev 704568)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=117
+pkgrel=118
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-09-10 Thread Felix Yan via arch-commits

Date: Thursday, September 10, 2020 @ 21:30:12
  Author: felixonmars
Revision: 702425

upgpkg: haskell-tamarin-prover-theory 1.4.1-117: rebuild with mwc-random 
0.15.0.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-10 21:27:20 UTC (rev 702424)
+++ PKGBUILD2020-09-10 21:30:12 UTC (rev 702425)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=116
+pkgrel=117
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-09-07 Thread Felix Yan via arch-commits

Date: Monday, September 7, 2020 @ 16:00:43
  Author: felixonmars
Revision: 700020

upgpkg: haskell-tamarin-prover-theory 1.4.1-116: rebuild with hspec 2.7.3, 
hspec-core 2.7.3, hspec-discover 2.7.3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-07 15:57:30 UTC (rev 700019)
+++ PKGBUILD2020-09-07 16:00:43 UTC (rev 700020)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=115
+pkgrel=116
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-09-02 Thread Felix Yan via arch-commits

Date: Wednesday, September 2, 2020 @ 21:53:59
  Author: felixonmars
Revision: 697153

upgpkg: haskell-tamarin-prover-theory 1.4.1-115: rebuild with mwc-random 
0.15.0.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-02 21:50:37 UTC (rev 697152)
+++ PKGBUILD2020-09-02 21:53:59 UTC (rev 697153)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=114
+pkgrel=115
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-09-01 Thread Felix Yan via arch-commits

Date: Tuesday, September 1, 2020 @ 19:39:32
  Author: felixonmars
Revision: 695895

upgpkg: haskell-tamarin-prover-theory 1.4.1-114: rebuild with aeson 1.5.4.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-01 19:36:15 UTC (rev 695894)
+++ PKGBUILD2020-09-01 19:39:32 UTC (rev 695895)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=113
+pkgrel=114
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-08-31 Thread Felix Yan via arch-commits

Date: Monday, August 31, 2020 @ 07:15:27
  Author: felixonmars
Revision: 693843

upgpkg: haskell-tamarin-prover-theory 1.4.1-113: rebuild with happy 1.20.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-31 07:12:31 UTC (rev 693842)
+++ PKGBUILD2020-08-31 07:15:27 UTC (rev 693843)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=112
+pkgrel=113
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-08-28 Thread Felix Yan via arch-commits

Date: Friday, August 28, 2020 @ 13:40:49
  Author: felixonmars
Revision: 690914

upgpkg: haskell-tamarin-prover-theory 1.4.1-112: rebuild with logict 0.7.0.3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-28 13:37:56 UTC (rev 690913)
+++ PKGBUILD2020-08-28 13:40:49 UTC (rev 690914)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=111
+pkgrel=112
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-08-25 Thread Felix Yan via arch-commits

Date: Tuesday, August 25, 2020 @ 17:26:43
  Author: felixonmars
Revision: 688556

upgpkg: haskell-tamarin-prover-theory 1.4.1-111: rebuild with random 1.2.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-25 17:23:26 UTC (rev 688555)
+++ PKGBUILD2020-08-25 17:26:43 UTC (rev 688556)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=110
+pkgrel=111
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-08-23 Thread Felix Yan via arch-commits

Date: Sunday, August 23, 2020 @ 07:32:49
  Author: felixonmars
Revision: 686948

upgpkg: haskell-tamarin-prover-theory 1.4.1-110: rebuild with base64-bytestring 
1.2.0.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-23 07:30:12 UTC (rev 686947)
+++ PKGBUILD2020-08-23 07:32:49 UTC (rev 686948)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=109
+pkgrel=110
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-08-21 Thread Felix Yan via arch-commits

Date: Friday, August 21, 2020 @ 08:49:31
  Author: felixonmars
Revision: 685835

upgpkg: haskell-tamarin-prover-theory 1.4.1-109: rebuild with dlist 1.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-21 08:45:55 UTC (rev 685834)
+++ PKGBUILD2020-08-21 08:49:31 UTC (rev 685835)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=108
+pkgrel=109
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-08-17 Thread Felix Yan via arch-commits

Date: Monday, August 17, 2020 @ 22:30:55
  Author: felixonmars
Revision: 683433

upgpkg: haskell-tamarin-prover-theory 1.4.1-108: rebuild with ghc 8.10.2

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-17 22:26:58 UTC (rev 683432)
+++ PKGBUILD2020-08-17 22:30:55 UTC (rev 683433)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=107
+pkgrel=108
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-08-15 Thread Felix Yan via arch-commits

Date: Sunday, August 16, 2020 @ 00:38:48
  Author: felixonmars
Revision: 680434

upgpkg: haskell-tamarin-prover-theory 1.4.1-107: rebuild with math-functions 
0.3.4.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-16 00:34:52 UTC (rev 680433)
+++ PKGBUILD2020-08-16 00:38:48 UTC (rev 680434)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=106
+pkgrel=107
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-08-14 Thread Felix Yan via arch-commits

Date: Friday, August 14, 2020 @ 22:19:12
  Author: felixonmars
Revision: 679342

upgpkg: haskell-tamarin-prover-theory 1.4.1-106: rebuild with aeson 1.5.3.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-14 22:16:24 UTC (rev 679341)
+++ PKGBUILD2020-08-14 22:19:12 UTC (rev 679342)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=105
+pkgrel=106
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-08-13 Thread Felix Yan via arch-commits

Date: Thursday, August 13, 2020 @ 19:47:37
  Author: felixonmars
Revision: 677973

upgpkg: haskell-tamarin-prover-theory 1.4.1-105: rebuild with hspec 2.7.2, 
hspec-core 2.7.2, hspec-discover 2.7.2

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-13 19:40:29 UTC (rev 677972)
+++ PKGBUILD2020-08-13 19:47:37 UTC (rev 677973)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=104
+pkgrel=105
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-08-12 Thread Felix Yan via arch-commits

Date: Wednesday, August 12, 2020 @ 20:44:02
  Author: felixonmars
Revision: 676742

upgpkg: haskell-tamarin-prover-theory 1.4.1-104: rebuild with 
quickcheck-instances 0.3.24

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-12 20:44:01 UTC (rev 676741)
+++ PKGBUILD2020-08-12 20:44:02 UTC (rev 676742)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=103
+pkgrel=104
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-08-11 Thread Felix Yan via arch-commits

Date: Tuesday, August 11, 2020 @ 23:52:14
  Author: felixonmars
Revision: 675247

upgpkg: haskell-tamarin-prover-theory 1.4.1-103: rebuild with splitmix 0.1.0.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-11 23:49:23 UTC (rev 675246)
+++ PKGBUILD2020-08-11 23:52:14 UTC (rev 675247)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=102
+pkgrel=103
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-08-10 Thread Felix Yan via arch-commits

Date: Monday, August 10, 2020 @ 17:23:36
  Author: felixonmars
Revision: 673945

upgpkg: haskell-tamarin-prover-theory 1.4.1-102: rebuild with optics-th 0.3.0.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-10 17:20:41 UTC (rev 673944)
+++ PKGBUILD2020-08-10 17:23:36 UTC (rev 673945)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=101
+pkgrel=102
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-08-08 Thread Felix Yan via arch-commits

Date: Saturday, August 8, 2020 @ 13:27:42
  Author: felixonmars
Revision: 672362

upgpkg: haskell-tamarin-prover-theory 1.4.1-101: rebuild with these 1.1.1.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-08 13:24:49 UTC (rev 672361)
+++ PKGBUILD2020-08-08 13:27:42 UTC (rev 672362)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=100
+pkgrel=101
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-08-05 Thread Felix Yan via arch-commits

Date: Wednesday, August 5, 2020 @ 12:50:20
  Author: felixonmars
Revision: 669425

upgpkg: haskell-tamarin-prover-theory 1.4.1-100: rebuild with 
unordered-containers 0.2.12.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-05 12:47:27 UTC (rev 669424)
+++ PKGBUILD2020-08-05 12:50:20 UTC (rev 669425)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=99
+pkgrel=100
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-08-03 Thread Felix Yan via arch-commits

Date: Monday, August 3, 2020 @ 10:43:53
  Author: felixonmars
Revision: 668182

upgpkg: haskell-tamarin-prover-theory 1.4.1-99: rebuild with these 1.1.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-03 10:40:49 UTC (rev 668181)
+++ PKGBUILD2020-08-03 10:43:53 UTC (rev 668182)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=98
+pkgrel=99
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-07-31 Thread Felix Yan via arch-commits

Date: Saturday, August 1, 2020 @ 01:49:44
  Author: felixonmars
Revision: 666998

upgpkg: haskell-tamarin-prover-theory 1.4.1-98: rebuild with QuickCheck 2.14.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-01 01:45:58 UTC (rev 666997)
+++ PKGBUILD2020-08-01 01:49:44 UTC (rev 666998)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=97
+pkgrel=98
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-06-29 Thread Felix Yan via arch-commits

Date: Monday, June 29, 2020 @ 08:01:00
  Author: felixonmars
Revision: 655875

upgpkg: haskell-tamarin-prover-theory 1.4.1-97: rebuild with primitive 0.7.1.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-06-29 07:58:14 UTC (rev 655874)
+++ PKGBUILD2020-06-29 08:01:00 UTC (rev 655875)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=96
+pkgrel=97
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-06-27 Thread Felix Yan via arch-commits

Date: Friday, June 26, 2020 @ 19:11:13
  Author: felixonmars
Revision: 654412

upgpkg: haskell-tamarin-prover-theory 1.4.1-96: rebuild with ChasingBottoms 
1.3.1.9

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-06-26 19:08:12 UTC (rev 654411)
+++ PKGBUILD2020-06-26 19:11:13 UTC (rev 654412)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=95
+pkgrel=96
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-06-24 Thread Felix Yan via arch-commits

Date: Wednesday, June 24, 2020 @ 08:44:43
  Author: felixonmars
Revision: 652096

upgpkg: haskell-tamarin-prover-theory 1.4.1-95: rebuild with splitmix 0.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-06-24 08:41:44 UTC (rev 652095)
+++ PKGBUILD2020-06-24 08:44:43 UTC (rev 652096)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=94
+pkgrel=95
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-06-20 Thread Felix Yan via arch-commits

Date: Saturday, June 20, 2020 @ 11:02:36
  Author: felixonmars
Revision: 648292

upgpkg: haskell-tamarin-prover-theory 1.4.1-94: rebuild with base16-bytestring 
0.1.1.7

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-06-20 10:59:40 UTC (rev 648291)
+++ PKGBUILD2020-06-20 11:02:36 UTC (rev 648292)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=93
+pkgrel=94
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-06-17 Thread Felix Yan via arch-commits

Date: Wednesday, June 17, 2020 @ 21:06:14
  Author: felixonmars
Revision: 646686

upgpkg: haskell-tamarin-prover-theory 1.4.1-93: rebuild with 
unordered-containers 0.2.11.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-06-17 21:03:19 UTC (rev 646685)
+++ PKGBUILD2020-06-17 21:06:14 UTC (rev 646686)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=92
+pkgrel=93
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-06-15 Thread Felix Yan via arch-commits

Date: Monday, June 15, 2020 @ 11:19:59
  Author: felixonmars
Revision: 644981

upgpkg: haskell-tamarin-prover-theory 1.4.1-92: rebuild with aeson 1.5.2.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-06-15 11:17:47 UTC (rev 644980)
+++ PKGBUILD2020-06-15 11:19:59 UTC (rev 644981)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=91
+pkgrel=92
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-06-13 Thread Felix Yan via arch-commits

Date: Sunday, June 14, 2020 @ 01:37:28
  Author: felixonmars
Revision: 643638

upgpkg: haskell-tamarin-prover-theory 1.4.1-91: rebuild with splitmix 0.0.5

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-06-14 01:34:14 UTC (rev 643637)
+++ PKGBUILD2020-06-14 01:37:28 UTC (rev 643638)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=90
+pkgrel=91
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-06-06 Thread Felix Yan via arch-commits

Date: Saturday, June 6, 2020 @ 10:38:22
  Author: felixonmars
Revision: 639405

upgpkg: haskell-tamarin-prover-theory 1.4.1-90: rebuild with tasty-golden 2.3.4

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-06-06 10:35:12 UTC (rev 639404)
+++ PKGBUILD2020-06-06 10:38:22 UTC (rev 639405)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=89
+pkgrel=90
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-05-28 Thread Felix Yan via arch-commits

Date: Thursday, May 28, 2020 @ 19:55:22
  Author: felixonmars
Revision: 636644

upgpkg: haskell-tamarin-prover-theory 1.4.1-89: rebuild with aeson 1.5.1.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-05-28 19:53:08 UTC (rev 636643)
+++ PKGBUILD2020-05-28 19:55:22 UTC (rev 636644)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=88
+pkgrel=89
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-05-26 Thread Felix Yan via arch-commits

Date: Tuesday, May 26, 2020 @ 21:26:31
  Author: felixonmars
Revision: 635415

upgpkg: haskell-tamarin-prover-theory 1.4.1-88: rebuild with 
quickcheck-instances 0.3.23

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-05-26 21:24:02 UTC (rev 635414)
+++ PKGBUILD2020-05-26 21:26:31 UTC (rev 635415)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=87
+pkgrel=88
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-05-25 Thread Felix Yan via arch-commits

Date: Monday, May 25, 2020 @ 13:59:10
  Author: felixonmars
Revision: 634359

upgpkg: haskell-tamarin-prover-theory 1.4.1-87: rebuild with aeson 1.5.0.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-05-25 13:59:01 UTC (rev 634358)
+++ PKGBUILD2020-05-25 13:59:10 UTC (rev 634359)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=86
+pkgrel=87
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-05-24 Thread Felix Yan via arch-commits

Date: Monday, May 25, 2020 @ 03:59:22
  Author: felixonmars
Revision: 633746

upgpkg: haskell-tamarin-prover-theory 1.4.1-86: rebuild with safe 0.3.19

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-05-25 03:44:12 UTC (rev 633745)
+++ PKGBUILD2020-05-25 03:59:22 UTC (rev 633746)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=85
+pkgrel=86
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-05-23 Thread Felix Yan via arch-commits

Date: Saturday, May 23, 2020 @ 18:52:13
  Author: felixonmars
Revision: 632434

upgpkg: haskell-tamarin-prover-theory 1.4.1-85: rebuild with tasty 1.3.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-05-23 18:48:43 UTC (rev 632433)
+++ PKGBUILD2020-05-23 18:52:13 UTC (rev 632434)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=84
+pkgrel=85
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-05-22 Thread Felix Yan via arch-commits

Date: Saturday, May 23, 2020 @ 02:20:56
  Author: felixonmars
Revision: 631761

upgpkg: haskell-tamarin-prover-theory 1.4.1-84: rebuild with fclabels 2.0.5

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-05-23 02:02:48 UTC (rev 631760)
+++ PKGBUILD2020-05-23 02:20:56 UTC (rev 631761)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=83
+pkgrel=84
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-05-20 Thread Felix Yan via arch-commits

Date: Wednesday, May 20, 2020 @ 16:05:10
  Author: felixonmars
Revision: 630861

upgpkg: haskell-tamarin-prover-theory 1.4.1-83: rebuild with fclabels 2.0.4 
(with correct patch for template-haskell 2.16)

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-05-20 16:02:15 UTC (rev 630860)
+++ PKGBUILD2020-05-20 16:05:10 UTC (rev 630861)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=82
+pkgrel=83
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")
@@ -22,7 +22,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
-runhaskell Setup build
+runhaskell Setup build $MAKEFLAGS
 # haddock failed to generate
 runhaskell Setup register --gen-script
 runhaskell Setup unregister --gen-script

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

2020-05-19 Thread Felix Yan via arch-commits

Date: Tuesday, May 19, 2020 @ 18:54:02
  Author: felixonmars
Revision: 630043

upgpkg: haskell-tamarin-prover-theory 1.4.1-82: rebuild with tasty-golden 
2.3.3.3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-05-19 18:51:19 UTC (rev 630042)
+++ PKGBUILD2020-05-19 18:54:02 UTC (rev 630043)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=81
+pkgrel=82
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-05-12 Thread Felix Yan via arch-commits

Date: Tuesday, May 12, 2020 @ 17:47:38
  Author: felixonmars
Revision: 627088

upgpkg: haskell-tamarin-prover-theory 1.4.1-81: rebuild with tasty 1.3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-05-12 17:44:02 UTC (rev 627087)
+++ PKGBUILD2020-05-12 17:47:38 UTC (rev 627088)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=80
+pkgrel=81
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-05-01 Thread Felix Yan via arch-commits

Date: Friday, May 1, 2020 @ 12:38:42
  Author: felixonmars
Revision: 623806

upgpkg: haskell-tamarin-prover-theory 1.4.1-80: rebuild with tasty-golden 
2.3.3.2

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-05-01 12:38:26 UTC (rev 623805)
+++ PKGBUILD2020-05-01 12:38:42 UTC (rev 623806)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=79
+pkgrel=80
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-04-30 Thread Felix Yan via arch-commits

Date: Thursday, April 30, 2020 @ 10:32:50
  Author: felixonmars
Revision: 622438

upgpkg: haskell-tamarin-prover-theory 1.4.1-79

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-04-30 10:24:31 UTC (rev 622437)
+++ PKGBUILD2020-04-30 10:32:50 UTC (rev 622438)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=78
+pkgrel=79
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-04-14 Thread Felix Yan via arch-commits

Date: Tuesday, April 14, 2020 @ 22:40:51
  Author: felixonmars
Revision: 614361

upgpkg: haskell-tamarin-prover-theory 1.4.1-78: rebuild with warp tasty-golden 
2.3.3.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-04-14 22:38:07 UTC (rev 614360)
+++ PKGBUILD2020-04-14 22:40:51 UTC (rev 614361)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=77
+pkgrel=78
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-04-03 Thread Felix Yan via arch-commits

Date: Friday, April 3, 2020 @ 15:28:13
  Author: felixonmars
Revision: 610840

upgpkg: haskell-tamarin-prover-theory 1.4.1-77: rebuild with dlist 0.8.0.8

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-04-03 15:25:14 UTC (rev 610839)
+++ PKGBUILD2020-04-03 15:28:13 UTC (rev 610840)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=76
+pkgrel=77
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-04-01 Thread Felix Yan via arch-commits

Date: Wednesday, April 1, 2020 @ 16:10:01
  Author: felixonmars
Revision: 608990

upgpkg: haskell-tamarin-prover-theory 1.4.1-76: rebuild with QuickCheck 2.14

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-04-01 16:07:49 UTC (rev 608989)
+++ PKGBUILD2020-04-01 16:10:01 UTC (rev 608990)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=75
+pkgrel=76
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-03-29 Thread Felix Yan via arch-commits

Date: Sunday, March 29, 2020 @ 19:44:06
  Author: felixonmars
Revision: 606416

upgpkg: haskell-tamarin-prover-theory 1.4.1-75: rebuild with ChasingBottoms 
1.3.1.8

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-03-29 19:41:24 UTC (rev 606415)
+++ PKGBUILD2020-03-29 19:44:06 UTC (rev 606416)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=74
+pkgrel=75
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-03-28 Thread Felix Yan via arch-commits

Date: Saturday, March 28, 2020 @ 16:08:39
  Author: felixonmars
Revision: 605275

upgpkg: haskell-tamarin-prover-theory 1.4.1-74: rebuild with attoparsec 0.13.2.4

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-03-28 16:08:32 UTC (rev 605274)
+++ PKGBUILD2020-03-28 16:08:39 UTC (rev 605275)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=73
+pkgrel=74
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-03-26 Thread Felix Yan via arch-commits

Date: Thursday, March 26, 2020 @ 20:18:50
  Author: felixonmars
Revision: 604642

upgpkg: haskell-tamarin-prover-theory 1.4.1-73: rebuild with aeson 1.4.7.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-03-26 20:16:04 UTC (rev 604641)
+++ PKGBUILD2020-03-26 20:18:50 UTC (rev 604642)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=72
+pkgrel=73
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-03-20 Thread Felix Yan via arch-commits

Date: Friday, March 20, 2020 @ 13:03:10
  Author: felixonmars
Revision: 601605

upgpkg: haskell-tamarin-prover-theory 1.4.1-72: rebuild with aeson 1.4.7.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-03-20 13:02:20 UTC (rev 601604)
+++ PKGBUILD2020-03-20 13:03:10 UTC (rev 601605)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=71
+pkgrel=72
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-03-15 Thread Felix Yan via arch-commits

Date: Sunday, March 15, 2020 @ 20:36:57
  Author: felixonmars
Revision: 598537

upgpkg: haskell-tamarin-prover-theory 1.4.1-71: rebuild with hashable 1.3.0.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-03-15 20:34:20 UTC (rev 598536)
+++ PKGBUILD2020-03-15 20:36:57 UTC (rev 598537)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=70
+pkgrel=71
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-03-13 Thread Felix Yan via arch-commits

Date: Friday, March 13, 2020 @ 23:41:57
  Author: felixonmars
Revision: 596467

upgpkg: haskell-tamarin-prover-theory 1.4.1-70: rebuild with time-compat 1.9.3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-03-13 23:39:22 UTC (rev 596466)
+++ PKGBUILD2020-03-13 23:41:57 UTC (rev 596467)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=69
+pkgrel=70
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-03-11 Thread Felix Yan via arch-commits

Date: Thursday, March 12, 2020 @ 02:04:20
  Author: felixonmars
Revision: 594924

upgpkg: haskell-tamarin-prover-theory 1.4.1-69: rebuild with generic-deriving 
1.13.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-03-12 02:01:35 UTC (rev 594923)
+++ PKGBUILD2020-03-12 02:04:20 UTC (rev 594924)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=68
+pkgrel=69
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-03-08 Thread Felix Yan via arch-commits

Date: Sunday, March 8, 2020 @ 21:46:28
  Author: felixonmars
Revision: 592559

upgpkg: haskell-tamarin-prover-theory 1.4.1-68: rebuild with generic-deriving 
1.13

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-03-08 21:43:36 UTC (rev 592558)
+++ PKGBUILD2020-03-08 21:46:28 UTC (rev 592559)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=67
+pkgrel=68
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-03-01 Thread Felix Yan via arch-commits

Date: Sunday, March 1, 2020 @ 21:39:06
  Author: felixonmars
Revision: 588261

upgpkg: haskell-tamarin-prover-theory 1.4.1-67: rebuild with primitive 0.7.0.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-03-01 21:35:59 UTC (rev 588260)
+++ PKGBUILD2020-03-01 21:39:06 UTC (rev 588261)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=66
+pkgrel=67
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-02-27 Thread Felix Yan via arch-commits

Date: Thursday, February 27, 2020 @ 18:12:37
  Author: felixonmars
Revision: 584554

upgpkg: haskell-tamarin-prover-theory 1.4.1-66: rebuild with ghc 8.8.3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-02-27 18:09:35 UTC (rev 584553)
+++ PKGBUILD2020-02-27 18:12:37 UTC (rev 584554)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=65
+pkgrel=66
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-02-25 Thread Felix Yan via arch-commits

Date: Tuesday, February 25, 2020 @ 19:57:22
  Author: felixonmars
Revision: 581973

upgpkg: haskell-tamarin-prover-theory 1.4.1-65: rebuild with splitmix 0.0.4

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-02-25 19:56:49 UTC (rev 581972)
+++ PKGBUILD2020-02-25 19:57:22 UTC (rev 581973)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=64
+pkgrel=65
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-02-23 Thread Felix Yan via arch-commits

Date: Sunday, February 23, 2020 @ 17:26:10
  Author: felixonmars
Revision: 579895

upgpkg: haskell-tamarin-prover-theory 1.4.1-64: rebuild with split 0.2.3.4

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-02-23 17:23:11 UTC (rev 579894)
+++ PKGBUILD2020-02-23 17:26:10 UTC (rev 579895)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=63
+pkgrel=64
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-02-21 Thread Felix Yan via arch-commits

Date: Friday, February 21, 2020 @ 15:56:06
  Author: felixonmars
Revision: 577679

upgpkg: haskell-tamarin-prover-theory 1.4.1-63: rebuild with tasty-golden 2.3.3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-02-21 15:53:13 UTC (rev 577678)
+++ PKGBUILD2020-02-21 15:56:06 UTC (rev 577679)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=62
+pkgrel=63
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")
@@ -36,5 +36,5 @@
 install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
 install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
 runhaskell Setup copy --destdir="$pkgdir"
-rm -f "${pkgdir}/usr/share/doc/${pkgname}/LICENSE"
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
 }

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

2020-02-17 Thread Felix Yan via arch-commits

Date: Monday, February 17, 2020 @ 16:38:13
  Author: felixonmars
Revision: 574374

upgpkg: haskell-tamarin-prover-theory 1.4.1-62: rebuild with tasty-golden 
2.3.2.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-02-17 16:35:20 UTC (rev 574373)
+++ PKGBUILD2020-02-17 16:38:13 UTC (rev 574374)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=61
+pkgrel=62
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-02-16 Thread Felix Yan via arch-commits

Date: Sunday, February 16, 2020 @ 11:32:24
  Author: felixonmars
Revision: 572339

upgpkg: haskell-tamarin-prover-theory 1.4.1-61: rebuild with ghc 8.8.2

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-02-16 11:32:07 UTC (rev 572338)
+++ PKGBUILD2020-02-16 11:32:24 UTC (rev 572339)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=60
+pkgrel=61
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-02-11 Thread Felix Yan via arch-commits

Date: Tuesday, February 11, 2020 @ 09:18:58
  Author: felixonmars
Revision: 566870

upgpkg: haskell-tamarin-prover-theory 1.4.1-60: rebuild with ansi-terminal 
0.10.3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-02-11 09:15:58 UTC (rev 566869)
+++ PKGBUILD2020-02-11 09:18:58 UTC (rev 566870)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=59
+pkgrel=60
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-02-09 Thread Felix Yan via arch-commits

Date: Monday, February 10, 2020 @ 06:44:38
  Author: felixonmars
Revision: 565656

upgpkg: haskell-tamarin-prover-theory 1.4.1-59: rebuild with tasty-quickcheck 
0.10.1.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-02-10 06:41:25 UTC (rev 565655)
+++ PKGBUILD2020-02-10 06:44:38 UTC (rev 565656)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=58
+pkgrel=59
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-02-08 Thread Felix Yan via arch-commits

Date: Saturday, February 8, 2020 @ 18:22:55
  Author: felixonmars
Revision: 564820

upgpkg: haskell-tamarin-prover-theory 1.4.1-58: rebuild with th-abstraction 
0.3.2.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-02-08 18:19:10 UTC (rev 564819)
+++ PKGBUILD2020-02-08 18:22:55 UTC (rev 564820)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=57
+pkgrel=58
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-02-05 Thread Felix Yan via arch-commits

Date: Wednesday, February 5, 2020 @ 19:13:16
  Author: felixonmars
Revision: 563399

upgpkg: haskell-tamarin-prover-theory 1.4.1-57: rebuild with vector 0.12.1.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-02-05 19:13:06 UTC (rev 563398)
+++ PKGBUILD2020-02-05 19:13:16 UTC (rev 563399)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=56
+pkgrel=57
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-02-01 Thread Felix Yan via arch-commits

Date: Saturday, February 1, 2020 @ 19:28:16
  Author: felixonmars
Revision: 561112

upgpkg: haskell-tamarin-prover-theory 1.4.1-56: rebuild with fclabels 2.0.4

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-02-01 19:25:08 UTC (rev 56)
+++ PKGBUILD2020-02-01 19:28:16 UTC (rev 561112)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-theory
 pkgname=haskell-tamarin-prover-theory
 pkgver=1.4.1
-pkgrel=55
+pkgrel=56
 pkgdesc="Security protocol types and constraint solver library for the tamarin 
prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

1 2 3 >

1 - 100 of 238 matches

Mail list logo