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

2020-12-29 Thread Felix Yan via arch-commits 
Date: Tuesday, December 29, 2020 @ 10:48:22
  Author: felixonmars
Revision: 796804

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-29 10:47:52 UTC (rev 796803)
+++ PKGBUILD2020-12-29 10:48:22 UTC (rev 796804)
@@ -3,7 +3,7 @@
 _hkgname=tamarin-prover-sapic
 pkgname=haskell-tamarin-prover-sapic
 pkgver=1.6.0
-pkgrel=35
+pkgrel=36
 pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-12-28 Thread Felix Yan via arch-commits 
Date: Monday, December 28, 2020 @ 14:09:03
  Author: felixonmars
Revision: 794972

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-28 14:08:28 UTC (rev 794971)
+++ PKGBUILD2020-12-28 14:09:03 UTC (rev 794972)
@@ -3,7 +3,7 @@
 _hkgname=tamarin-prover-sapic
 pkgname=haskell-tamarin-prover-sapic
 pkgver=1.6.0
-pkgrel=34
+pkgrel=35
 pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-12-25 Thread Felix Yan via arch-commits 
Date: Saturday, December 26, 2020 @ 05:44:58
  Author: felixonmars
Revision: 792029

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-26 05:44:28 UTC (rev 792028)
+++ PKGBUILD2020-12-26 05:44:58 UTC (rev 792029)
@@ -3,7 +3,7 @@
 _hkgname=tamarin-prover-sapic
 pkgname=haskell-tamarin-prover-sapic
 pkgver=1.6.0
-pkgrel=33
+pkgrel=34
 pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-12-24 Thread Felix Yan via arch-commits 
Date: Friday, December 25, 2020 @ 04:03:37
  Author: felixonmars
Revision: 789567

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-25 04:02:52 UTC (rev 789566)
+++ PKGBUILD2020-12-25 04:03:37 UTC (rev 789567)
@@ -3,7 +3,7 @@
 _hkgname=tamarin-prover-sapic
 pkgname=haskell-tamarin-prover-sapic
 pkgver=1.6.0
-pkgrel=32
+pkgrel=33
 pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-12-24 Thread Felix Yan via arch-commits 
Date: Thursday, December 24, 2020 @ 14:40:55
  Author: felixonmars
Revision: 788176

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-24 14:40:26 UTC (rev 788175)
+++ PKGBUILD2020-12-24 14:40:55 UTC (rev 788176)
@@ -3,7 +3,7 @@
 _hkgname=tamarin-prover-sapic
 pkgname=haskell-tamarin-prover-sapic
 pkgver=1.6.0
-pkgrel=31
+pkgrel=32
 pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-12-24 Thread Felix Yan via arch-commits 
Date: Thursday, December 24, 2020 @ 13:05:41
  Author: felixonmars
Revision: 787208

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-24 13:05:11 UTC (rev 787207)
+++ PKGBUILD2020-12-24 13:05:41 UTC (rev 787208)
@@ -3,7 +3,7 @@
 _hkgname=tamarin-prover-sapic
 pkgname=haskell-tamarin-prover-sapic
 pkgver=1.6.0
-pkgrel=30
+pkgrel=31
 pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-12-22 Thread Felix Yan via arch-commits 
Date: Wednesday, December 23, 2020 @ 07:47:37
  Author: felixonmars
Revision: 783882

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-23 07:46:49 UTC (rev 783881)
+++ PKGBUILD2020-12-23 07:47:37 UTC (rev 783882)
@@ -3,7 +3,7 @@
 _hkgname=tamarin-prover-sapic
 pkgname=haskell-tamarin-prover-sapic
 pkgver=1.6.0
-pkgrel=29
+pkgrel=30
 pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-12-21 Thread Felix Yan via arch-commits 
Date: Monday, December 21, 2020 @ 21:01:34
  Author: felixonmars
Revision: 781566

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-21 21:00:44 UTC (rev 781565)
+++ PKGBUILD2020-12-21 21:01:34 UTC (rev 781566)
@@ -3,7 +3,7 @@
 _hkgname=tamarin-prover-sapic
 pkgname=haskell-tamarin-prover-sapic
 pkgver=1.6.0
-pkgrel=28
+pkgrel=29
 pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-12-17 Thread Felix Yan via arch-commits 
Date: Thursday, December 17, 2020 @ 22:39:16
  Author: felixonmars
Revision: 778215

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-17 22:38:27 UTC (rev 778214)
+++ PKGBUILD2020-12-17 22:39:16 UTC (rev 778215)
@@ -3,7 +3,7 @@
 _hkgname=tamarin-prover-sapic
 pkgname=haskell-tamarin-prover-sapic
 pkgver=1.6.0
-pkgrel=27
+pkgrel=28
 pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-12-15 Thread Felix Yan via arch-commits 
Date: Tuesday, December 15, 2020 @ 18:58:53
  Author: felixonmars
Revision: 776076

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-15 18:57:50 UTC (rev 776075)
+++ PKGBUILD2020-12-15 18:58:53 UTC (rev 776076)
@@ -3,7 +3,7 @@
 _hkgname=tamarin-prover-sapic
 pkgname=haskell-tamarin-prover-sapic
 pkgver=1.6.0
-pkgrel=26
+pkgrel=27
 pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-12-13 Thread Felix Yan via arch-commits 
Date: Sunday, December 13, 2020 @ 22:26:04
  Author: felixonmars
Revision: 774597

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-13 22:25:16 UTC (rev 774596)
+++ PKGBUILD2020-12-13 22:26:04 UTC (rev 774597)
@@ -3,7 +3,7 @@
 _hkgname=tamarin-prover-sapic
 pkgname=haskell-tamarin-prover-sapic
 pkgver=1.6.0
-pkgrel=25
+pkgrel=26
 pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-12-07 Thread Felix Yan via arch-commits 
Date: Monday, December 7, 2020 @ 22:06:18
  Author: felixonmars
Revision: 771639

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-07 22:06:00 UTC (rev 771638)
+++ PKGBUILD2020-12-07 22:06:18 UTC (rev 771639)
@@ -3,7 +3,7 @@
 _hkgname=tamarin-prover-sapic
 pkgname=haskell-tamarin-prover-sapic
 pkgver=1.6.0
-pkgrel=24
+pkgrel=25
 pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-12-04 Thread Felix Yan via arch-commits 
Date: Saturday, December 5, 2020 @ 01:38:19
  Author: felixonmars
Revision: 770383

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-05 01:37:27 UTC (rev 770382)
+++ PKGBUILD2020-12-05 01:38:19 UTC (rev 770383)
@@ -3,7 +3,7 @@
 _hkgname=tamarin-prover-sapic
 pkgname=haskell-tamarin-prover-sapic
 pkgver=1.6.0
-pkgrel=23
+pkgrel=24
 pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-11-28 Thread Felix Yan via arch-commits 
Date: Saturday, November 28, 2020 @ 18:57:01
  Author: felixonmars
Revision: 765442

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-28 18:56:12 UTC (rev 765441)
+++ PKGBUILD2020-11-28 18:57:01 UTC (rev 765442)
@@ -3,7 +3,7 @@
 _hkgname=tamarin-prover-sapic
 pkgname=haskell-tamarin-prover-sapic
 pkgver=1.6.0
-pkgrel=22
+pkgrel=23
 pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-11-22 Thread Felix Yan via arch-commits 
Date: Monday, November 23, 2020 @ 00:10:49
  Author: felixonmars
Revision: 759778

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-23 00:09:58 UTC (rev 759777)
+++ PKGBUILD2020-11-23 00:10:49 UTC (rev 759778)
@@ -3,7 +3,7 @@
 _hkgname=tamarin-prover-sapic
 pkgname=haskell-tamarin-prover-sapic
 pkgver=1.6.0
-pkgrel=21
+pkgrel=22
 pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-11-20 Thread Felix Yan via arch-commits 
Date: Friday, November 20, 2020 @ 23:29:00
  Author: felixonmars
Revision: 758238

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-20 23:28:09 UTC (rev 758237)
+++ PKGBUILD2020-11-20 23:29:00 UTC (rev 758238)
@@ -3,7 +3,7 @@
 _hkgname=tamarin-prover-sapic
 pkgname=haskell-tamarin-prover-sapic
 pkgver=1.6.0
-pkgrel=20
+pkgrel=21
 pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-11-16 Thread Felix Yan via arch-commits 
Date: Tuesday, November 17, 2020 @ 06:01:01
  Author: felixonmars
Revision: 755983

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-17 06:00:12 UTC (rev 755982)
+++ PKGBUILD2020-11-17 06:01:01 UTC (rev 755983)
@@ -3,7 +3,7 @@
 _hkgname=tamarin-prover-sapic
 pkgname=haskell-tamarin-prover-sapic
 pkgver=1.6.0
-pkgrel=19
+pkgrel=20
 pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-11-08 Thread Felix Yan via arch-commits 
Date: Sunday, November 8, 2020 @ 13:00:22
  Author: felixonmars
Revision: 746552

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-08 13:00:16 UTC (rev 746551)
+++ PKGBUILD2020-11-08 13:00:22 UTC (rev 746552)
@@ -3,7 +3,7 @@
 _hkgname=tamarin-prover-sapic
 pkgname=haskell-tamarin-prover-sapic
 pkgver=1.6.0
-pkgrel=18
+pkgrel=19
 pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-11-07 Thread Felix Yan via arch-commits 
Date: Saturday, November 7, 2020 @ 14:21:15
  Author: felixonmars
Revision: 745794

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-07 14:20:24 UTC (rev 745793)
+++ PKGBUILD2020-11-07 14:21:15 UTC (rev 745794)
@@ -3,7 +3,7 @@
 _hkgname=tamarin-prover-sapic
 pkgname=haskell-tamarin-prover-sapic
 pkgver=1.6.0
-pkgrel=17
+pkgrel=18
 pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-11-06 Thread Felix Yan via arch-commits 
Date: Friday, November 6, 2020 @ 13:47:10
  Author: felixonmars
Revision: 744286

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-06 13:46:34 UTC (rev 744285)
+++ PKGBUILD2020-11-06 13:47:10 UTC (rev 744286)
@@ -3,7 +3,7 @@
 _hkgname=tamarin-prover-sapic
 pkgname=haskell-tamarin-prover-sapic
 pkgver=1.6.0
-pkgrel=16
+pkgrel=17
 pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-11-04 Thread Felix Yan via arch-commits 
Date: Wednesday, November 4, 2020 @ 18:05:05
  Author: felixonmars
Revision: 742482

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-04 18:04:07 UTC (rev 742481)
+++ PKGBUILD2020-11-04 18:05:05 UTC (rev 742482)
@@ -3,7 +3,7 @@
 _hkgname=tamarin-prover-sapic
 pkgname=haskell-tamarin-prover-sapic
 pkgver=1.6.0
-pkgrel=15
+pkgrel=16
 pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-11-04 Thread Felix Yan via arch-commits 
Date: Wednesday, November 4, 2020 @ 08:23:26
  Author: felixonmars
Revision: 741709

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-04 08:22:36 UTC (rev 741708)
+++ PKGBUILD2020-11-04 08:23:26 UTC (rev 741709)
@@ -3,7 +3,7 @@
 _hkgname=tamarin-prover-sapic
 pkgname=haskell-tamarin-prover-sapic
 pkgver=1.6.0
-pkgrel=14
+pkgrel=15
 pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-11-02 Thread Felix Yan via arch-commits 
Date: Monday, November 2, 2020 @ 17:11:07
  Author: felixonmars
Revision: 739977

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-02 17:11:01 UTC (rev 739976)
+++ PKGBUILD2020-11-02 17:11:07 UTC (rev 739977)
@@ -3,7 +3,7 @@
 _hkgname=tamarin-prover-sapic
 pkgname=haskell-tamarin-prover-sapic
 pkgver=1.6.0
-pkgrel=13
+pkgrel=14
 pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-10-31 Thread Felix Yan via arch-commits 
Date: Sunday, November 1, 2020 @ 02:03:29
  Author: felixonmars
Revision: 738097

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-01 02:02:58 UTC (rev 738096)
+++ PKGBUILD2020-11-01 02:03:29 UTC (rev 738097)
@@ -3,7 +3,7 @@
 _hkgname=tamarin-prover-sapic
 pkgname=haskell-tamarin-prover-sapic
 pkgver=1.6.0
-pkgrel=12
+pkgrel=13
 pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-10-28 Thread Felix Yan via arch-commits 
Date: Wednesday, October 28, 2020 @ 09:34:15
  Author: felixonmars
Revision: 735308

upgpkg: haskell-tamarin-prover-sapic 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-sapic/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-28 09:34:04 UTC (rev 735307)
+++ PKGBUILD2020-10-28 09:34:15 UTC (rev 735308)
@@ -3,7 +3,7 @@
 _hkgname=tamarin-prover-sapic
 pkgname=haskell-tamarin-prover-sapic
 pkgver=1.6.0
-pkgrel=11
+pkgrel=12
 pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-10-25 Thread Felix Yan via arch-commits 
Date: Sunday, October 25, 2020 @ 20:54:06
  Author: felixonmars
Revision: 732987

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-25 20:53:30 UTC (rev 732986)
+++ PKGBUILD2020-10-25 20:54:06 UTC (rev 732987)
@@ -3,7 +3,7 @@
 _hkgname=tamarin-prover-sapic
 pkgname=haskell-tamarin-prover-sapic
 pkgver=1.6.0
-pkgrel=10
+pkgrel=11
 pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-10-23 Thread Felix Yan via arch-commits 
Date: Friday, October 23, 2020 @ 20:34:36
  Author: felixonmars
Revision: 730833

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-23 20:34:29 UTC (rev 730832)
+++ PKGBUILD2020-10-23 20:34:36 UTC (rev 730833)
@@ -3,7 +3,7 @@
 _hkgname=tamarin-prover-sapic
 pkgname=haskell-tamarin-prover-sapic
 pkgver=1.6.0
-pkgrel=9
+pkgrel=10
 pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-10-21 Thread Felix Yan via arch-commits 
Date: Wednesday, October 21, 2020 @ 23:52:44
  Author: felixonmars
Revision: 728616

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-21 23:52:02 UTC (rev 728615)
+++ PKGBUILD2020-10-21 23:52:44 UTC (rev 728616)
@@ -3,7 +3,7 @@
 _hkgname=tamarin-prover-sapic
 pkgname=haskell-tamarin-prover-sapic
 pkgver=1.6.0
-pkgrel=8
+pkgrel=9
 pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-10-17 Thread Felix Yan via arch-commits 
Date: Saturday, October 17, 2020 @ 10:53:54
  Author: felixonmars
Revision: 725360

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-17 10:52:47 UTC (rev 725359)
+++ PKGBUILD2020-10-17 10:53:54 UTC (rev 725360)
@@ -3,7 +3,7 @@
 _hkgname=tamarin-prover-sapic
 pkgname=haskell-tamarin-prover-sapic
 pkgver=1.6.0
-pkgrel=7
+pkgrel=8
 pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-10-09 Thread Felix Yan via arch-commits 
Date: Friday, October 9, 2020 @ 19:12:29
  Author: felixonmars
Revision: 722746

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-09 19:11:58 UTC (rev 722745)
+++ PKGBUILD2020-10-09 19:12:29 UTC (rev 722746)
@@ -3,7 +3,7 @@
 _hkgname=tamarin-prover-sapic
 pkgname=haskell-tamarin-prover-sapic
 pkgver=1.6.0
-pkgrel=6
+pkgrel=7
 pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-10-07 Thread Felix Yan via arch-commits 
Date: Wednesday, October 7, 2020 @ 11:02:40
  Author: felixonmars
Revision: 720329

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-07 11:02:06 UTC (rev 720328)
+++ PKGBUILD2020-10-07 11:02:40 UTC (rev 720329)
@@ -3,7 +3,7 @@
 _hkgname=tamarin-prover-sapic
 pkgname=haskell-tamarin-prover-sapic
 pkgver=1.6.0
-pkgrel=5
+pkgrel=6
 pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-10-05 Thread Felix Yan via arch-commits 
Date: Monday, October 5, 2020 @ 07:24:30
  Author: felixonmars
Revision: 718712

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-05 07:23:55 UTC (rev 718711)
+++ PKGBUILD2020-10-05 07:24:30 UTC (rev 718712)
@@ -3,7 +3,7 @@
 _hkgname=tamarin-prover-sapic
 pkgname=haskell-tamarin-prover-sapic
 pkgver=1.6.0
-pkgrel=4
+pkgrel=5
 pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-10-04 Thread Felix Yan via arch-commits 
Date: Sunday, October 4, 2020 @ 07:33:14
  Author: felixonmars
Revision: 717339

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-04 07:32:47 UTC (rev 717338)
+++ PKGBUILD2020-10-04 07:33:14 UTC (rev 717339)
@@ -3,7 +3,7 @@
 _hkgname=tamarin-prover-sapic
 pkgname=haskell-tamarin-prover-sapic
 pkgver=1.6.0
-pkgrel=3
+pkgrel=4
 pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-10-02 Thread Felix Yan via arch-commits 
Date: Friday, October 2, 2020 @ 07:32:08
  Author: felixonmars
Revision: 715101

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-02 07:31:13 UTC (rev 715100)
+++ PKGBUILD2020-10-02 07:32:08 UTC (rev 715101)
@@ -3,7 +3,7 @@
 _hkgname=tamarin-prover-sapic
 pkgname=haskell-tamarin-prover-sapic
 pkgver=1.6.0
-pkgrel=2
+pkgrel=3
 pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2020-09-17 Thread Felix Yan via arch-commits 
Date: Thursday, September 17, 2020 @ 21:58:16
  Author: felixonmars
Revision: 709480

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-17 21:57:38 UTC (rev 709479)
+++ PKGBUILD2020-09-17 21:58:16 UTC (rev 709480)
@@ -3,7 +3,7 @@
 _hkgname=tamarin-prover-sapic
 pkgname=haskell-tamarin-prover-sapic
 pkgver=1.6.0
-pkgrel=1
+pkgrel=2
 pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")