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

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

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

Date: Tuesday, December 29, 2020 @ 02:06:24
  Author: felixonmars
Revision: 796408

upgpkg: haskell-tamarin-prover-utils 1.6.0-25: rebuild with tagged 0.8.6.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-29 02:05:41 UTC (rev 796407)
+++ PKGBUILD2020-12-29 02:06:24 UTC (rev 796408)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.6.0
-pkgrel=24
+pkgrel=25
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Monday, December 28, 2020 @ 01:38:37
  Author: felixonmars
Revision: 794229

upgpkg: haskell-tamarin-prover-utils 1.6.0-24: rebuild with indexed-traversable 
0.1.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-28 01:37:49 UTC (rev 794228)
+++ PKGBUILD2020-12-28 01:38:37 UTC (rev 794229)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.6.0
-pkgrel=23
+pkgrel=24
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Saturday, December 26, 2020 @ 03:10:24
  Author: felixonmars
Revision: 791725

upgpkg: haskell-tamarin-prover-utils 1.6.0-23: rebuild with tasty-quickcheck 
0.10.1.2

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-26 03:09:58 UTC (rev 791724)
+++ PKGBUILD2020-12-26 03:10:24 UTC (rev 791725)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.6.0
-pkgrel=22
+pkgrel=23
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Friday, December 25, 2020 @ 03:10:04
  Author: felixonmars
Revision: 789503

upgpkg: haskell-tamarin-prover-utils 1.6.0-22: rebuild with comonad 5.0.7

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-25 03:09:09 UTC (rev 789502)
+++ PKGBUILD2020-12-25 03:10:04 UTC (rev 789503)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.6.0
-pkgrel=21
+pkgrel=22
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Thursday, December 24, 2020 @ 13:01:21
  Author: felixonmars
Revision: 787199

upgpkg: haskell-tamarin-prover-utils 1.6.0-21: rebuild with ghc 8.10.3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-24 13:00:56 UTC (rev 787198)
+++ PKGBUILD2020-12-24 13:01:21 UTC (rev 787199)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.6.0
-pkgrel=20
+pkgrel=21
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Wednesday, December 23, 2020 @ 05:35:03
  Author: felixonmars
Revision: 783716

upgpkg: haskell-tamarin-prover-utils 1.6.0-20: rebuild with tasty-smallcheck 
0.8.2

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-23 05:34:23 UTC (rev 783715)
+++ PKGBUILD2020-12-23 05:35:03 UTC (rev 783716)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.6.0
-pkgrel=19
+pkgrel=20
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Sunday, December 20, 2020 @ 21:54:38
  Author: felixonmars
Revision: 780774

upgpkg: haskell-tamarin-prover-utils 1.6.0-19: rebuild with tasty-hunit 0.10.0.3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-20 21:53:50 UTC (rev 780773)
+++ PKGBUILD2020-12-20 21:54:38 UTC (rev 780774)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.6.0
-pkgrel=18
+pkgrel=19
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Thursday, December 17, 2020 @ 19:47:29
  Author: felixonmars
Revision: 777920

upgpkg: haskell-tamarin-prover-utils 1.6.0-18: rebuild with th-abstraction 
0.4.1.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-17 19:46:48 UTC (rev 777919)
+++ PKGBUILD2020-12-17 19:47:29 UTC (rev 777920)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.6.0
-pkgrel=17
+pkgrel=18
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Sunday, December 13, 2020 @ 12:51:25
  Author: felixonmars
Revision: 774171

upgpkg: haskell-tamarin-prover-utils 1.6.0-17: rebuild with base-orphans 0.8.5

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-13 12:50:44 UTC (rev 774170)
+++ PKGBUILD2020-12-13 12:51:25 UTC (rev 774171)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.6.0
-pkgrel=16
+pkgrel=17
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Saturday, November 28, 2020 @ 18:50:51
  Author: felixonmars
Revision: 765436

upgpkg: haskell-tamarin-prover-utils 1.6.0-16: rebuild with unbounded-delays 
0.1.1.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-28 18:50:11 UTC (rev 765435)
+++ PKGBUILD2020-11-28 18:50:51 UTC (rev 765436)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.6.0
-pkgrel=15
+pkgrel=16
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Sunday, November 22, 2020 @ 18:46:07
  Author: felixonmars
Revision: 759404

upgpkg: haskell-tamarin-prover-utils 1.6.0-15: rebuild with 
optparse-applicative 0.16.1.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-22 18:45:19 UTC (rev 759403)
+++ PKGBUILD2020-11-22 18:46:07 UTC (rev 759404)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.6.0
-pkgrel=14
+pkgrel=15
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Friday, November 20, 2020 @ 23:22:44
  Author: felixonmars
Revision: 758232

upgpkg: haskell-tamarin-prover-utils 1.6.0-14: rebuild with base64-bytestring 
1.2.0.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-20 23:22:02 UTC (rev 758231)
+++ PKGBUILD2020-11-20 23:22:44 UTC (rev 758232)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.6.0
-pkgrel=13
+pkgrel=14
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Monday, November 16, 2020 @ 16:27:46
  Author: felixonmars
Revision: 755391

upgpkg: haskell-tamarin-prover-utils 1.6.0-13: rebuild with QuickCheck 2.14.2

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-16 16:27:04 UTC (rev 755390)
+++ PKGBUILD2020-11-16 16:27:46 UTC (rev 755391)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.6.0
-pkgrel=12
+pkgrel=13
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Friday, November 6, 2020 @ 00:41:08
  Author: felixonmars
Revision: 743852

upgpkg: haskell-tamarin-prover-utils 1.6.0-12: rebuild with splitmix 0.1.0.3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-06 00:40:43 UTC (rev 743851)
+++ PKGBUILD2020-11-06 00:41:08 UTC (rev 743852)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.6.0
-pkgrel=11
+pkgrel=12
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Monday, November 2, 2020 @ 14:53:07
  Author: felixonmars
Revision: 739809

upgpkg: haskell-tamarin-prover-utils 1.6.0-11: rebuild with HUnit 1.6.1.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-02 14:52:22 UTC (rev 739808)
+++ PKGBUILD2020-11-02 14:53:07 UTC (rev 739809)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.6.0
-pkgrel=10
+pkgrel=11
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Saturday, October 31, 2020 @ 14:13:20
  Author: felixonmars
Revision: 737712

upgpkg: haskell-tamarin-prover-utils 1.6.0-10: rebuild with unliftio 0.2.13.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-31 14:12:30 UTC (rev 737711)
+++ PKGBUILD2020-10-31 14:13:20 UTC (rev 737712)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.6.0
-pkgrel=9
+pkgrel=10
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Tuesday, October 27, 2020 @ 18:45:25
  Author: felixonmars
Revision: 734795

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-27 18:44:59 UTC (rev 734794)
+++ PKGBUILD2020-10-27 18:45:25 UTC (rev 734795)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.6.0
-pkgrel=8
+pkgrel=9
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Sunday, October 25, 2020 @ 20:49:22
  Author: felixonmars
Revision: 732981

upgpkg: haskell-tamarin-prover-utils 1.6.0-8: rebuild with bifunctors 5.5.8

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-25 20:48:52 UTC (rev 732980)
+++ PKGBUILD2020-10-25 20:49:22 UTC (rev 732981)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.6.0
-pkgrel=7
+pkgrel=8
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Wednesday, October 21, 2020 @ 19:39:21
  Author: felixonmars
Revision: 728298

upgpkg: haskell-tamarin-prover-utils 1.6.0-7: rebuild with splitmix 0.1.0.2

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-21 19:38:55 UTC (rev 728297)
+++ PKGBUILD2020-10-21 19:39:21 UTC (rev 728298)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.6.0
-pkgrel=6
+pkgrel=7
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Friday, October 16, 2020 @ 21:42:49
  Author: felixonmars
Revision: 725076

upgpkg: haskell-tamarin-prover-utils 1.6.0-6: rebuild with th-abstraction 
0.4.0.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-16 21:41:55 UTC (rev 725075)
+++ PKGBUILD2020-10-16 21:42:49 UTC (rev 725076)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.6.0
-pkgrel=5
+pkgrel=6
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Wednesday, October 7, 2020 @ 00:29:25
  Author: felixonmars
Revision: 720068

upgpkg: haskell-tamarin-prover-utils 1.6.0-5: rebuild with base-compat 0.11.2, 
base-compat-batteries 0.11.2

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-07 00:28:47 UTC (rev 720067)
+++ PKGBUILD2020-10-07 00:29:25 UTC (rev 720068)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.6.0
-pkgrel=4
+pkgrel=5
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Sunday, October 4, 2020 @ 00:06:17
  Author: felixonmars
Revision: 717082

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-04 00:05:52 UTC (rev 717081)
+++ PKGBUILD2020-10-04 00:06:17 UTC (rev 717082)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.6.0
-pkgrel=3
+pkgrel=4
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Friday, October 2, 2020 @ 00:40:51
  Author: felixonmars
Revision: 714812

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-02 00:40:18 UTC (rev 714811)
+++ PKGBUILD2020-10-02 00:40:51 UTC (rev 714812)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.6.0
-pkgrel=2
+pkgrel=3
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Thursday, September 17, 2020 @ 19:54:36
  Author: felixonmars
Revision: 709233

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-17 19:54:08 UTC (rev 709232)
+++ PKGBUILD2020-09-17 19:54:36 UTC (rev 709233)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.6.0
-pkgrel=1
+pkgrel=2
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Wednesday, September 16, 2020 @ 14:37:30
  Author: felixonmars
Revision: 708068

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

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

--+
 PKGBUILD |   11 +++
 1 file changed, 3 insertions(+), 8 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-09-16 14:34:27 UTC (rev 708067)
+++ PKGBUILD2020-09-16 14:37:30 UTC (rev 708068)
@@ -3,8 +3,8 @@
 
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
-pkgver=1.4.1
-pkgrel=65
+pkgver=1.6.0
+pkgrel=1
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")
@@ -13,13 +13,8 @@
  'haskell-dlist' 'haskell-fclabels' 'haskell-safe' 'haskell-syb')
 makedepends=('ghc')
 
source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
-sha512sums=('4d3aeae02be5d430bff6c55d78656e3c9a648674d235bfeb36ce227a39abd3054a132b99ff8040abf05d8e26506fe85d21ecfb6fce73062dd45b5ba98d941144')
+sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e')
 
-prepare() {
-cd tamarin-prover-$pkgver/lib/utils
-sed -i -e '/fail/d' -e '/MonadDisj/i instance Monad m => MonadFail (DisjT 
m) where\nfail = error' src/Control/Monad/Trans/Disj.hs
-}
-
 build() {
 cd "${srcdir}/tamarin-prover-${pkgver}/lib/utils"

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

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

Date: Monday, September 14, 2020 @ 20:06:42
  Author: felixonmars
Revision: 706522

upgpkg: haskell-tamarin-prover-utils 1.4.1-65: rebuild with 
quickcheck-classes-base 0.6.1.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-14 20:06:19 UTC (rev 706521)
+++ PKGBUILD2020-09-14 20:06:42 UTC (rev 706522)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=64
+pkgrel=65
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Saturday, September 12, 2020 @ 16:43:47
  Author: felixonmars
Revision: 704336

upgpkg: haskell-tamarin-prover-utils 1.4.1-64: rebuild with ansi-terminal 0.11

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-12 16:43:17 UTC (rev 704335)
+++ PKGBUILD2020-09-12 16:43:47 UTC (rev 704336)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=63
+pkgrel=64
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Thursday, September 10, 2020 @ 18:44:19
  Author: felixonmars
Revision: 702177

upgpkg: haskell-tamarin-prover-utils 1.4.1-63: rebuild with mwc-random 0.15.0.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-10 18:43:36 UTC (rev 702176)
+++ PKGBUILD2020-09-10 18:44:19 UTC (rev 702177)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=62
+pkgrel=63
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Monday, September 7, 2020 @ 13:42:57
  Author: felixonmars
Revision: 699798

upgpkg: haskell-tamarin-prover-utils 1.4.1-62: rebuild with hspec 2.7.3, 
hspec-core 2.7.3, hspec-discover 2.7.3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-07 13:42:14 UTC (rev 699797)
+++ PKGBUILD2020-09-07 13:42:57 UTC (rev 699798)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=61
+pkgrel=62
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Wednesday, September 2, 2020 @ 19:34:02
  Author: felixonmars
Revision: 696900

upgpkg: haskell-tamarin-prover-utils 1.4.1-61: rebuild with mwc-random 0.15.0.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-02 19:33:17 UTC (rev 696899)
+++ PKGBUILD2020-09-02 19:34:02 UTC (rev 696900)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=60
+pkgrel=61
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Monday, August 31, 2020 @ 05:11:58
  Author: felixonmars
Revision: 693620

upgpkg: haskell-tamarin-prover-utils 1.4.1-60: rebuild with happy 1.20.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-31 05:11:18 UTC (rev 693619)
+++ PKGBUILD2020-08-31 05:11:58 UTC (rev 693620)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=59
+pkgrel=60
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Friday, August 28, 2020 @ 11:52:40
  Author: felixonmars
Revision: 690610

upgpkg: haskell-tamarin-prover-utils 1.4.1-59: rebuild with logict 0.7.0.3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-28 11:52:11 UTC (rev 690609)
+++ PKGBUILD2020-08-28 11:52:40 UTC (rev 690610)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=58
+pkgrel=59
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Tuesday, August 25, 2020 @ 14:21:19
  Author: felixonmars
Revision: 688303

upgpkg: haskell-tamarin-prover-utils 1.4.1-58: rebuild with random 1.2.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-25 14:20:37 UTC (rev 688302)
+++ PKGBUILD2020-08-25 14:21:19 UTC (rev 688303)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=57
+pkgrel=58
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Sunday, August 23, 2020 @ 07:27:53
  Author: felixonmars
Revision: 686942

upgpkg: haskell-tamarin-prover-utils 1.4.1-57: rebuild with base64-bytestring 
1.2.0.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-23 07:27:06 UTC (rev 686941)
+++ PKGBUILD2020-08-23 07:27:53 UTC (rev 686942)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=56
+pkgrel=57
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Friday, August 21, 2020 @ 08:44:00
  Author: felixonmars
Revision: 685831

upgpkg: haskell-tamarin-prover-utils 1.4.1-56: rebuild with dlist 1.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-21 08:43:16 UTC (rev 685830)
+++ PKGBUILD2020-08-21 08:44:00 UTC (rev 685831)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=55
+pkgrel=56
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Monday, August 17, 2020 @ 20:02:08
  Author: felixonmars
Revision: 683172

upgpkg: haskell-tamarin-prover-utils 1.4.1-55: rebuild with ghc 8.10.2

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-17 20:01:28 UTC (rev 683171)
+++ PKGBUILD2020-08-17 20:02:08 UTC (rev 683172)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=54
+pkgrel=55
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Saturday, August 15, 2020 @ 22:17:08
  Author: felixonmars
Revision: 680180

upgpkg: haskell-tamarin-prover-utils 1.4.1-54: rebuild with math-functions 
0.3.4.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-15 22:16:30 UTC (rev 680179)
+++ PKGBUILD2020-08-15 22:17:08 UTC (rev 680180)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=53
+pkgrel=54
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Thursday, August 13, 2020 @ 17:05:33
  Author: felixonmars
Revision: 677708

upgpkg: haskell-tamarin-prover-utils 1.4.1-53: rebuild with hspec 2.7.2, 
hspec-core 2.7.2, hspec-discover 2.7.2

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-13 17:04:58 UTC (rev 677707)
+++ PKGBUILD2020-08-13 17:05:33 UTC (rev 677708)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=52
+pkgrel=53
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Tuesday, August 11, 2020 @ 21:53:57
  Author: felixonmars
Revision: 674978

upgpkg: haskell-tamarin-prover-utils 1.4.1-52: rebuild with splitmix 0.1.0.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-11 21:53:22 UTC (rev 674977)
+++ PKGBUILD2020-08-11 21:53:57 UTC (rev 674978)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=51
+pkgrel=52
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Friday, July 31, 2020 @ 23:29:23
  Author: felixonmars
Revision: 666752

upgpkg: haskell-tamarin-prover-utils 1.4.1-51: rebuild with QuickCheck 2.14.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-07-31 23:28:44 UTC (rev 666751)
+++ PKGBUILD2020-07-31 23:29:23 UTC (rev 666752)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=50
+pkgrel=51
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Sunday, June 28, 2020 @ 23:04:04
  Author: felixonmars
Revision: 655607

upgpkg: haskell-tamarin-prover-utils 1.4.1-50: rebuild with primitive 0.7.1.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-06-28 23:03:29 UTC (rev 655606)
+++ PKGBUILD2020-06-28 23:04:04 UTC (rev 655607)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=49
+pkgrel=50
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Tuesday, June 23, 2020 @ 22:37:00
  Author: felixonmars
Revision: 651802

upgpkg: haskell-tamarin-prover-utils 1.4.1-49: rebuild with splitmix 0.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-06-23 22:36:26 UTC (rev 651801)
+++ PKGBUILD2020-06-23 22:37:00 UTC (rev 651802)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=48
+pkgrel=49
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Saturday, June 13, 2020 @ 23:17:02
  Author: felixonmars
Revision: 643398

upgpkg: haskell-tamarin-prover-utils 1.4.1-48: rebuild with splitmix 0.0.5

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-06-13 23:16:29 UTC (rev 643397)
+++ PKGBUILD2020-06-13 23:17:02 UTC (rev 643398)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=47
+pkgrel=48
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Monday, May 25, 2020 @ 03:41:48
  Author: felixonmars
Revision: 633742

upgpkg: haskell-tamarin-prover-utils 1.4.1-47: rebuild with safe 0.3.19

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-05-25 03:41:00 UTC (rev 633741)
+++ PKGBUILD2020-05-25 03:41:48 UTC (rev 633742)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=46
+pkgrel=47
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Saturday, May 23, 2020 @ 16:26:54
  Author: felixonmars
Revision: 632194

upgpkg: haskell-tamarin-prover-utils 1.4.1-46: rebuild with tasty 1.3.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-05-23 16:26:14 UTC (rev 632193)
+++ PKGBUILD2020-05-23 16:26:54 UTC (rev 632194)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=45
+pkgrel=46
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Saturday, May 23, 2020 @ 01:53:16
  Author: felixonmars
Revision: 631748

upgpkg: haskell-tamarin-prover-utils 1.4.1-45: rebuild with fclabels 2.0.5

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-05-23 01:52:00 UTC (rev 631747)
+++ PKGBUILD2020-05-23 01:53:16 UTC (rev 631748)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=44
+pkgrel=45
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Wednesday, May 20, 2020 @ 16:00:11
  Author: felixonmars
Revision: 630856

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-05-20 15:59:29 UTC (rev 630855)
+++ PKGBUILD2020-05-20 16:00:11 UTC (rev 630856)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=43
+pkgrel=44
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")
@@ -26,7 +26,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
 runhaskell Setup register --gen-script
 runhaskell Setup unregister --gen-script
 sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh

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

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

Date: Tuesday, May 12, 2020 @ 11:08:21
  Author: felixonmars
Revision: 626816

upgpkg: haskell-tamarin-prover-utils 1.4.1-43: rebuild with tasty 1.3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-05-12 11:07:41 UTC (rev 626815)
+++ PKGBUILD2020-05-12 11:08:21 UTC (rev 626816)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=42
+pkgrel=43
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Thursday, April 30, 2020 @ 10:19:50
  Author: felixonmars
Revision: 622434

upgpkg: haskell-tamarin-prover-utils 1.4.1-42

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-04-30 10:18:01 UTC (rev 622433)
+++ PKGBUILD2020-04-30 10:19:50 UTC (rev 622434)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=41
+pkgrel=42
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Friday, April 3, 2020 @ 15:23:31
  Author: felixonmars
Revision: 610836

upgpkg: haskell-tamarin-prover-utils 1.4.1-41: rebuild with dlist 0.8.0.8

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-04-03 15:22:39 UTC (rev 610835)
+++ PKGBUILD2020-04-03 15:23:31 UTC (rev 610836)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=40
+pkgrel=41
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Wednesday, April 1, 2020 @ 10:48:40
  Author: felixonmars
Revision: 608722

upgpkg: haskell-tamarin-prover-utils 1.4.1-40: rebuild with QuickCheck 2.14

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-04-01 10:48:08 UTC (rev 608721)
+++ PKGBUILD2020-04-01 10:48:40 UTC (rev 608722)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=39
+pkgrel=40
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Sunday, March 15, 2020 @ 15:24:36
  Author: felixonmars
Revision: 598247

upgpkg: haskell-tamarin-prover-utils 1.4.1-39: rebuild with hashable 1.3.0.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-03-15 15:23:53 UTC (rev 598246)
+++ PKGBUILD2020-03-15 15:24:36 UTC (rev 598247)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=38
+pkgrel=39
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Sunday, March 1, 2020 @ 18:55:25
  Author: felixonmars
Revision: 587973

upgpkg: haskell-tamarin-prover-utils 1.4.1-38: rebuild with primitive 0.7.0.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-03-01 18:54:43 UTC (rev 587972)
+++ PKGBUILD2020-03-01 18:55:25 UTC (rev 587973)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=37
+pkgrel=38
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Thursday, February 27, 2020 @ 15:31:17
  Author: felixonmars
Revision: 584276

upgpkg: haskell-tamarin-prover-utils 1.4.1-37: rebuild with ghc 8.8.3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-02-27 15:30:34 UTC (rev 584275)
+++ PKGBUILD2020-02-27 15:31:17 UTC (rev 584276)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=36
+pkgrel=37
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Tuesday, February 25, 2020 @ 17:15:20
  Author: felixonmars
Revision: 581641

upgpkg: haskell-tamarin-prover-utils 1.4.1-36: rebuild with splitmix 0.0.4

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-02-25 17:14:37 UTC (rev 581640)
+++ PKGBUILD2020-02-25 17:15:20 UTC (rev 581641)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=35
+pkgrel=36
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Sunday, February 23, 2020 @ 17:21:52
  Author: felixonmars
Revision: 579891

upgpkg: haskell-tamarin-prover-utils 1.4.1-35: rebuild with split 0.2.3.4

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-02-23 17:21:11 UTC (rev 579890)
+++ PKGBUILD2020-02-23 17:21:52 UTC (rev 579891)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=34
+pkgrel=35
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")
@@ -39,5 +39,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-utils/trunk (PKGBUILD)

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

Date: Sunday, February 16, 2020 @ 09:51:27
  Author: felixonmars
Revision: 572189

upgpkg: haskell-tamarin-prover-utils 1.4.1-34: rebuild with ghc 8.8.2

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-02-16 09:50:42 UTC (rev 572188)
+++ PKGBUILD2020-02-16 09:51:27 UTC (rev 572189)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=33
+pkgrel=34
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Monday, February 10, 2020 @ 23:02:26
  Author: felixonmars
Revision: 566381

upgpkg: haskell-tamarin-prover-utils 1.4.1-33: rebuild with ansi-terminal 0.10.3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-02-10 23:01:45 UTC (rev 566380)
+++ PKGBUILD2020-02-10 23:02:26 UTC (rev 566381)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=32
+pkgrel=33
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Wednesday, February 5, 2020 @ 10:04:40
  Author: felixonmars
Revision: 563044

upgpkg: haskell-tamarin-prover-utils 1.4.1-32: rebuild with vector 0.12.1.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-02-05 10:03:47 UTC (rev 563043)
+++ PKGBUILD2020-02-05 10:04:40 UTC (rev 563044)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=31
+pkgrel=32
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Tuesday, February 4, 2020 @ 19:48:17
  Author: felixonmars
Revision: 562410

upgpkg: haskell-tamarin-prover-utils 1.4.1-31: rebuild with vector 0.12.1.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-02-04 19:47:35 UTC (rev 562409)
+++ PKGBUILD2020-02-04 19:48:17 UTC (rev 562410)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=30
+pkgrel=31
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Saturday, February 1, 2020 @ 19:20:35
  Author: felixonmars
Revision: 561106

upgpkg: haskell-tamarin-prover-utils 1.4.1-30: rebuild with fclabels 2.0.4

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-02-01 19:19:52 UTC (rev 561105)
+++ PKGBUILD2020-02-01 19:20:35 UTC (rev 561106)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=29
+pkgrel=30
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Wednesday, January 29, 2020 @ 12:23:22
  Author: felixonmars
Revision: 558757

upgpkg: haskell-tamarin-prover-utils 1.4.1-29: rebuild with base-compat 0.11.1, 
base-compat-batteries 0.11.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-01-29 12:22:31 UTC (rev 558756)
+++ PKGBUILD2020-01-29 12:23:22 UTC (rev 558757)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=28
+pkgrel=29
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Monday, January 27, 2020 @ 23:48:53
  Author: felixonmars
Revision: 556741

upgpkg: haskell-tamarin-prover-utils 1.4.1-28: rebuild with base-orphans 0.8.2

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-01-27 23:48:10 UTC (rev 556740)
+++ PKGBUILD2020-01-27 23:48:53 UTC (rev 556741)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=27
+pkgrel=28
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Wednesday, January 22, 2020 @ 19:45:42
  Author: felixonmars
Revision: 554460

upgpkg: haskell-tamarin-prover-utils 1.4.1-27: rebuild with base64-bytestring 
1.0.0.3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-01-22 19:45:08 UTC (rev 554459)
+++ PKGBUILD2020-01-22 19:45:42 UTC (rev 554460)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=26
+pkgrel=27
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Thursday, January 9, 2020 @ 18:12:04
  Author: felixonmars
Revision: 551399

upgpkg: haskell-tamarin-prover-utils 1.4.1-26: rebuild with ghc 8.8.1, 
cabal-doctest 1.0.7, polyparse 1.13, primitive 0.7.0.0, regex-base 0.94.0.0, 
regex-pcre 0.95.0.0, regex-posix 0.96.0.0, regex-tdfa 1.3.1.0, easytest 0.3, 
unexceptionalio 0.5.0, gtk2hs-buildtools 0.13.8.0, ghc-typelits-natnormalise 
0.7, resolv 0.1.1.3, ghc-typelits-knownnat 0.7.1

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

--+
 PKGBUILD |7 ++-
 1 file changed, 6 insertions(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-01-09 18:05:38 UTC (rev 551398)
+++ PKGBUILD2020-01-09 18:12:04 UTC (rev 551399)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=25
+pkgrel=26
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")
@@ -15,6 +15,11 @@
 
source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
 
sha512sums=('4d3aeae02be5d430bff6c55d78656e3c9a648674d235bfeb36ce227a39abd3054a132b99ff8040abf05d8e26506fe85d21ecfb6fce73062dd45b5ba98d941144')
 
+prepare() {
+cd tamarin-prover-$pkgver/lib/utils
+sed -i -e '/fail/d' -e '/MonadDisj/i instance Monad m => MonadFail (DisjT 
m) where\nfail = error' src/Control/Monad/Trans/Disj.hs
+}
+
 build() {
 cd "${srcdir}/tamarin-prover-${pkgver}/lib/utils"

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

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

Date: Saturday, January 4, 2020 @ 16:56:39
  Author: felixonmars
Revision: 548117

upgpkg: haskell-tamarin-prover-utils 1.4.1-25: rebuild with ansi-terminal 0.10.2

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-01-04 16:55:37 UTC (rev 548116)
+++ PKGBUILD2020-01-04 16:56:39 UTC (rev 548117)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=24
+pkgrel=25
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Thursday, January 2, 2020 @ 15:51:57
  Author: felixonmars
Revision: 546276

upgpkg: haskell-tamarin-prover-utils 1.4.1-24: rebuild with ansi-terminal 0.10.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-01-02 15:51:09 UTC (rev 546275)
+++ PKGBUILD2020-01-02 15:51:57 UTC (rev 546276)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=23
+pkgrel=24
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2019-12-30 Thread Felix Yan via arch-commits

Date: Monday, December 30, 2019 @ 09:43:17
  Author: felixonmars
Revision: 544282

upgpkg: haskell-tamarin-prover-utils 1.4.1-23: rebuild with exceptions 0.10.4

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-12-30 09:42:29 UTC (rev 544281)
+++ PKGBUILD2019-12-30 09:43:17 UTC (rev 544282)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=22
+pkgrel=23
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Wednesday, December 25, 2019 @ 11:17:12
  Author: felixonmars
Revision: 540822

upgpkg: haskell-tamarin-prover-utils 1.4.1-22: rebuild with tasty-hunit 0.10.0.2

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-12-25 11:16:19 UTC (rev 540821)
+++ PKGBUILD2019-12-25 11:17:12 UTC (rev 540822)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=21
+pkgrel=22
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2019-12-23 Thread Felix Yan via arch-commits

Date: Monday, December 23, 2019 @ 14:20:38
  Author: felixonmars
Revision: 539264

upgpkg: haskell-tamarin-prover-utils 1.4.1-21: rebuild with pandoc 2.8, 
pandoc-types 1.20, doctemplates 0.7.1, HsYAML 0.2.1.0, haddock-library 1.8.0, 
texmath 0.12, base-compat 0.11.0, base-compat-batteries 0.11.0, 
optparse-applicative 0.15.1.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-12-23 14:19:51 UTC (rev 539263)
+++ PKGBUILD2019-12-23 14:20:38 UTC (rev 539264)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=20
+pkgrel=21
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2019-12-06 Thread Felix Yan via arch-commits

Date: Friday, December 6, 2019 @ 18:02:48
  Author: felixonmars
Revision: 535916

upgpkg: haskell-tamarin-prover-utils 1.4.1-20

rebuild with safe 0.3.18

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-12-06 18:02:28 UTC (rev 535915)
+++ PKGBUILD2019-12-06 18:02:48 UTC (rev 535916)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=19
+pkgrel=20
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Monday, September 2, 2019 @ 06:00:35
  Author: felixonmars
Revision: 506575

upgpkg: haskell-tamarin-prover-utils 1.4.1-19

rebuild with exceptions 0.10.3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-09-02 05:59:57 UTC (rev 506574)
+++ PKGBUILD2019-09-02 06:00:35 UTC (rev 506575)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=18
+pkgrel=19
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2019-08-26 Thread Felix Yan via arch-commits

Date: Monday, August 26, 2019 @ 09:40:41
  Author: felixonmars
Revision: 502036

upgpkg: haskell-tamarin-prover-utils 1.4.1-18

rebuild with call-stack 0.2.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-08-26 09:39:53 UTC (rev 502035)
+++ PKGBUILD2019-08-26 09:40:41 UTC (rev 502036)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=17
+pkgrel=18
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2019-08-06 Thread Felix Yan via arch-commits

Date: Tuesday, August 6, 2019 @ 13:54:10
  Author: felixonmars
Revision: 497768

upgpkg: haskell-tamarin-prover-utils 1.4.1-17

rebuild with dlist 0.8.0.7

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-08-06 13:53:31 UTC (rev 497767)
+++ PKGBUILD2019-08-06 13:54:10 UTC (rev 497768)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=16
+pkgrel=17
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Wednesday, July 31, 2019 @ 17:58:24
  Author: felixonmars
Revision: 495766

upgpkg: haskell-tamarin-prover-utils 1.4.1-16

rebuild with splitmix 0.0.3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-07-31 17:57:41 UTC (rev 495765)
+++ PKGBUILD2019-07-31 17:58:24 UTC (rev 495766)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=15
+pkgrel=16
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2019-07-27 Thread Felix Yan via arch-commits

Date: Saturday, July 27, 2019 @ 11:26:49
  Author: felixonmars
Revision: 493167

upgpkg: haskell-tamarin-prover-utils 1.4.1-15

rebuild with silently 1.2.5.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-07-27 11:26:09 UTC (rev 493166)
+++ PKGBUILD2019-07-27 11:26:49 UTC (rev 493167)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=14
+pkgrel=15
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2019-07-17 Thread Felix Yan via arch-commits

Date: Wednesday, July 17, 2019 @ 17:06:05
  Author: felixonmars
Revision: 490353

upgpkg: haskell-tamarin-prover-utils 1.4.1-14

rebuild with QuickCheck 2.13.2

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-07-17 17:05:23 UTC (rev 490352)
+++ PKGBUILD2019-07-17 17:06:05 UTC (rev 490353)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=13
+pkgrel=14
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2019-06-30 Thread Felix Yan via arch-commits

Date: Sunday, June 30, 2019 @ 17:16:25
  Author: felixonmars
Revision: 486414

upgpkg: haskell-tamarin-prover-utils 1.4.1-13

rebuild with tasty 1.2.3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-06-30 17:15:49 UTC (rev 486413)
+++ PKGBUILD2019-06-30 17:16:25 UTC (rev 486414)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=12
+pkgrel=13
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Thursday, June 27, 2019 @ 08:14:35
  Author: felixonmars
Revision: 484793

upgpkg: haskell-tamarin-prover-utils 1.4.1-12

rebuild with syb 0.7.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-06-27 08:13:58 UTC (rev 484792)
+++ PKGBUILD2019-06-27 08:14:35 UTC (rev 484793)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=11
+pkgrel=12
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2019-06-08 Thread Felix Yan via arch-commits

Date: Sunday, June 9, 2019 @ 00:38:59
  Author: felixonmars
Revision: 478506

upgpkg: haskell-tamarin-prover-utils 1.4.1-11

rebuild with async 2.2.2

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-06-09 00:38:12 UTC (rev 478505)
+++ PKGBUILD2019-06-09 00:38:59 UTC (rev 478506)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=10
+pkgrel=11
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2019-05-30 Thread Felix Yan via arch-commits

Date: Thursday, May 30, 2019 @ 14:44:28
  Author: felixonmars
Revision: 474640

upgpkg: haskell-tamarin-prover-utils 1.4.1-10

rebuild with ansi-terminal 0.9.1, ansi-wl-pprint 0.6.9, concurrent-output 
1.10.10

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-05-30 14:43:48 UTC (rev 474639)
+++ PKGBUILD2019-05-30 14:44:28 UTC (rev 474640)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=9
+pkgrel=10
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Tuesday, May 28, 2019 @ 22:38:20
  Author: felixonmars
Revision: 473209

upgpkg: haskell-tamarin-prover-utils 1.4.1-9

rebuild with clock 0.8

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-05-28 22:37:41 UTC (rev 473208)
+++ PKGBUILD2019-05-28 22:38:20 UTC (rev 473209)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=8
+pkgrel=9
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2019-05-27 Thread Felix Yan via arch-commits

Date: Monday, May 27, 2019 @ 14:59:29
  Author: felixonmars
Revision: 471472

upgpkg: haskell-tamarin-prover-utils 1.4.1-8

rebuild with QuickCheck 2.13.1, hspec-core 2.7.1, hspec-discover 2.7.1, hspec 
2.7.1, time-compat 1.9.2.2, quickcheck-instances 0.3.21

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-05-27 14:58:39 UTC (rev 471471)
+++ PKGBUILD2019-05-27 14:59:29 UTC (rev 471472)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=7
+pkgrel=8
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2019-05-27 Thread Felix Yan via arch-commits

Date: Monday, May 27, 2019 @ 08:14:06
  Author: felixonmars
Revision: 471103

upgpkg: haskell-tamarin-prover-utils 1.4.1-7

rebuild with QuickCheck 2.13.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-05-27 08:13:29 UTC (rev 471102)
+++ PKGBUILD2019-05-27 08:14:06 UTC (rev 471103)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=6
+pkgrel=7
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2019-05-06 Thread Felix Yan via arch-commits

Date: Monday, May 6, 2019 @ 11:16:44
  Author: felixonmars
Revision: 460668

upgpkg: haskell-tamarin-prover-utils 1.4.1-6

rebuild with colour 2.3.5

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-05-06 11:16:03 UTC (rev 460667)
+++ PKGBUILD2019-05-06 11:16:44 UTC (rev 460668)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=5
+pkgrel=6
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2019-04-26 Thread Felix Yan via arch-commits

Date: Friday, April 26, 2019 @ 16:50:30
  Author: felixonmars
Revision: 454279

upgpkg: haskell-tamarin-prover-utils 1.4.1-5

rebuild with ghc 8.6.5

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-04-26 16:49:41 UTC (rev 454278)
+++ PKGBUILD2019-04-26 16:50:30 UTC (rev 454279)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=4
+pkgrel=5
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2019-03-30 Thread Felix Yan via arch-commits

Date: Sunday, March 31, 2019 @ 05:16:24
  Author: felixonmars
Revision: 446466

upgpkg: haskell-tamarin-prover-utils 1.4.1-4

rebuild with dlist 0.8.0.6

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-03-31 05:15:44 UTC (rev 446465)
+++ PKGBUILD2019-03-31 05:16:24 UTC (rev 446466)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=3
+pkgrel=4
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2019-03-09 Thread Felix Yan via arch-commits

Date: Sunday, March 10, 2019 @ 07:15:35
  Author: felixonmars
Revision: 438962

upgpkg: haskell-tamarin-prover-utils 1.4.1-3

rebuild with ghc 8.6.4

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-03-10 07:14:30 UTC (rev 438961)
+++ PKGBUILD2019-03-10 07:15:35 UTC (rev 438962)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=2
+pkgrel=3
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2019-01-20 Thread Felix Yan via arch-commits

Date: Sunday, January 20, 2019 @ 19:37:01
  Author: felixonmars
Revision: 425476

upgpkg: haskell-tamarin-prover-utils 1.4.1-2

rebuild with QuickCheck 2.12.6.1, servant 0.15, servant-server 0.15, 
servant-swagger 1.1.7, hspec-discover 2.7.0, hspec-meta 2.6.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-01-20 19:36:22 UTC (rev 425475)
+++ PKGBUILD2019-01-20 19:37:01 UTC (rev 425476)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.1
-pkgrel=1
+pkgrel=2
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2019-01-20 Thread Felix Yan via arch-commits

Date: Sunday, January 20, 2019 @ 11:12:21
  Author: felixonmars
Revision: 425030

upgpkg: haskell-tamarin-prover-utils 1.4.1-1

rebuild with tamarin-prover 1.4.1

Modified:
  haskell-tamarin-prover-utils/trunk/PKGBUILD
Deleted:
  haskell-tamarin-prover-utils/trunk/ghc-8.4.patch

---+
 PKGBUILD  |   15 ++-
 ghc-8.4.patch |  110 
 2 files changed, 4 insertions(+), 121 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2019-01-20 10:24:22 UTC (rev 425029)
+++ PKGBUILD2019-01-20 11:12:21 UTC (rev 425030)
@@ -3,8 +3,8 @@
 
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
-pkgver=1.4.0
-pkgrel=10
+pkgver=1.4.1
+pkgrel=1
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")
@@ -12,16 +12,9 @@
 depends=('ghc-libs' 'haskell-sha' 'haskell-base64-bytestring' 
'haskell-blaze-builder'
  'haskell-dlist' 'haskell-fclabels' 'haskell-safe' 'haskell-syb')
 makedepends=('ghc')
-source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;
-ghc-8.4.patch)
-sha512sums=('7c1afe6a53b596c2ce01e9ad7a7f464af1f4efbc5f8edc13d5ec8bc32ce4e91ddde91dff6ab8e01cf3cf30a37a3a18953d937debc36c9df664f718d968e2ae74'
-
'14a34dccb77582977f1df0ea74049a22f136161c7afc9c213cb90436b9b2c3ef4ab8f0049417ea4ab3b5c861eab140fe6255c59d5b29a706a330117676cc6047')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
+sha512sums=('4d3aeae02be5d430bff6c55d78656e3c9a648674d235bfeb36ce227a39abd3054a132b99ff8040abf05d8e26506fe85d21ecfb6fce73062dd45b5ba98d941144')
 
-prepare() {
-cd tamarin-prover-$pkgver
-patch -p1 -i ../ghc-8.4.patch
-}
-
 build() {
 cd "${srcdir}/tamarin-prover-${pkgver}/lib/utils"
 

Deleted: ghc-8.4.patch
===
--- ghc-8.4.patch   2019-01-20 10:24:22 UTC (rev 425029)
+++ ghc-8.4.patch   2019-01-20 11:12:21 UTC (rev 425030)
@@ -1,110 +0,0 @@
-diff --git a/lib/utils/src/Extension/Data/Bounded.hs 
b/lib/utils/src/Extension/Data/Bounded.hs
-index 5f166006..6ca7970d 100644
 a/lib/utils/src/Extension/Data/Bounded.hs
-+++ b/lib/utils/src/Extension/Data/Bounded.hs
-@@ -16,14 +16,18 @@ module Extension.Data.Bounded (
- newtype BoundedMax a = BoundedMax {getBoundedMax :: a}
- deriving( Eq, Ord, Show )
- 
-+instance (Ord a, Bounded a) => Semigroup (BoundedMax a) where
-+BoundedMax x <> BoundedMax y = BoundedMax (max x y)
-+
- instance (Ord a, Bounded a) => Monoid (BoundedMax a) where
- mempty  = BoundedMax minBound
--(BoundedMax x) `mappend` (BoundedMax y) = BoundedMax (max x y)
- 
- -- | A newtype wrapper for a monoid of the minimum of a bounded type.
- newtype BoundedMin a = BoundedMin {getBoundedMin :: a}
- deriving( Eq, Ord, Show )
- 
-+instance (Ord a, Bounded a) => Semigroup (BoundedMin a) where
-+BoundedMin x <> BoundedMin y = BoundedMin (min x y)
-+
- instance (Ord a, Bounded a) => Monoid (BoundedMin a) where
- mempty  = BoundedMin maxBound
--(BoundedMin x) `mappend` (BoundedMin y) = BoundedMin (min x y)
-\ No newline at end of file
-diff --git a/lib/utils/src/Extension/Data/Monoid.hs 
b/lib/utils/src/Extension/Data/Monoid.hs
-index 83655c34..ca4f53c2 100644
 a/lib/utils/src/Extension/Data/Monoid.hs
-+++ b/lib/utils/src/Extension/Data/Monoid.hs
-@@ -38,10 +38,12 @@ newtype MinMax a = MinMax { getMinMax :: Maybe (a, a) }
- minMaxSingleton :: a -> MinMax a
- minMaxSingleton x = MinMax (Just (x, x))
- 
-+instance Ord a => Semigroup (MinMax a) where
-+MinMax Nothing <> y  = y
-+x  <> MinMax Nothing = x
-+MinMax (Just (xMin, xMax)) <> MinMax (Just (yMin, yMax)) =
-+   MinMax (Just (min xMin yMin, max xMax yMax))
-+
-+
- instance Ord a => Monoid (MinMax a) where
- mempty = MinMax Nothing
--
--MinMax Nothing `mappend` y  = y
--x  `mappend` MinMax Nothing = x
--MinMax (Just (xMin, xMax)) `mappend` MinMax (Just (yMin, yMax)) =
--   MinMax (Just (min xMin yMin, max xMax yMax))
-diff --git a/lib/utils/src/Logic/Connectives.hs 
b/lib/utils/src/Logic/Connectives.hs
-index 2e441172..7206cc2c 100644
 a/lib/utils/src/Logic/Connectives.hs
-+++ b/lib/utils/src/Logic/Connectives.hs
-@@ -23,12 +23,12 @@ import Control.DeepSeq
- 
- -- | A conjunction of atoms of type a.
- newtype Conj a = Conj { getConj :: [a] }
--  deriving (Monoid, Foldable, Traversable, Eq, Ord, Show, Binary,
-+  deriving (Monoid, Semigroup, Foldable, Traversable, Eq, Ord, Show, Binary,
- Functor, Applicative, Monad, Alternative, MonadPlus,

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

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

Date: Monday, December 10, 2018 @ 01:44:13
  Author: felixonmars
Revision: 413711

upgpkg: haskell-tamarin-prover-utils 1.4.0-10

rebuild with ghc 8.6.3, cmark-gfm 0.1.6

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

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

Modified: PKGBUILD
===
--- PKGBUILD2018-12-10 01:43:32 UTC (rev 413710)
+++ PKGBUILD2018-12-10 01:44:13 UTC (rev 413711)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.0
-pkgrel=9
+pkgrel=10
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Wednesday, December 5, 2018 @ 09:08:19
  Author: felixonmars
Revision: 411286

upgpkg: haskell-tamarin-prover-utils 1.4.0-9

rebuild with base64-bytestring 1.0.0.2

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

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

Modified: PKGBUILD
===
--- PKGBUILD2018-12-05 09:07:41 UTC (rev 411285)
+++ PKGBUILD2018-12-05 09:08:19 UTC (rev 411286)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.0
-pkgrel=8
+pkgrel=9
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Tuesday, November 6, 2018 @ 21:36:39
  Author: felixonmars
Revision: 402238

upgpkg: haskell-tamarin-prover-utils 1.4.0-8

rebuild with ghc 8.6.2

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

--+
 PKGBUILD |   10 +-
 1 file changed, 5 insertions(+), 5 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2018-11-06 21:35:40 UTC (rev 402237)
+++ PKGBUILD2018-11-06 21:36:39 UTC (rev 402238)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.0
-pkgrel=7
+pkgrel=8
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")
@@ -26,7 +26,7 @@
 cd "${srcdir}/tamarin-prover-${pkgver}/lib/utils"
 
 runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
---prefix=/usr --docdir="/usr/share/doc/${pkgname}" \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
 --dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
 runhaskell Setup build
 runhaskell Setup register --gen-script
@@ -38,8 +38,8 @@
 package() {
 cd "${srcdir}/tamarin-prover-${pkgver}/lib/utils"
 
-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}"
+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"
 }

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

2018-10-14 Thread Felix Yan via arch-commits

Date: Monday, October 15, 2018 @ 00:12:46
  Author: felixonmars
Revision: 393981

upgpkg: haskell-tamarin-prover-utils 1.4.0-7

rebuild with ghc 8.6.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2018-10-15 00:11:54 UTC (rev 393980)
+++ PKGBUILD2018-10-15 00:12:46 UTC (rev 393981)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.0
-pkgrel=6
+pkgrel=7
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2018-09-13 Thread Felix Yan via arch-commits

Date: Thursday, September 13, 2018 @ 15:55:55
  Author: felixonmars
Revision: 380334

upgpkg: haskell-tamarin-prover-utils 1.4.0-6

rebuild with dlist 0.8.0.5

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

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

Modified: PKGBUILD
===
--- PKGBUILD2018-09-13 15:54:48 UTC (rev 380333)
+++ PKGBUILD2018-09-13 15:55:55 UTC (rev 380334)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.0
-pkgrel=5
+pkgrel=6
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2018-06-02 Thread Felix Yan via arch-commits

Date: Saturday, June 2, 2018 @ 10:25:12
  Author: felixonmars
Revision: 337297

upgpkg: haskell-tamarin-prover-utils 1.4.0-5

rebuild with primitive 0.6.4.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2018-06-02 10:24:32 UTC (rev 337296)
+++ PKGBUILD2018-06-02 10:25:12 UTC (rev 337297)
@@ -5,7 +5,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.0
-pkgrel=4
+pkgrel=5
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2018-06-01 Thread Felix Yan via arch-commits

Date: Friday, June 1, 2018 @ 07:47:18
  Author: felixonmars
Revision: 335634

upgpkg: haskell-tamarin-prover-utils 1.4.0-4

rebuild with ghc 8.4.3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2018-06-01 07:46:22 UTC (rev 335633)
+++ PKGBUILD2018-06-01 07:47:18 UTC (rev 335634)
@@ -5,7 +5,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.0
-pkgrel=3
+pkgrel=4
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Wednesday, May 23, 2018 @ 07:50:52
  Author: felixonmars
Revision: 328049

upgpkg: haskell-tamarin-prover-utils 1.4.0-3

rebuild with safe,0.3.17

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

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

Modified: PKGBUILD
===
--- PKGBUILD2018-05-23 07:50:06 UTC (rev 328048)
+++ PKGBUILD2018-05-23 07:50:52 UTC (rev 328049)
@@ -5,7 +5,7 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.0
-pkgrel=2
+pkgrel=3
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2018-05-18 Thread Felix Yan via arch-commits

Date: Friday, May 18, 2018 @ 07:43:29
  Author: felixonmars
Revision: 324257

upgpkg: haskell-tamarin-prover-utils 1.4.0-2

rebuild with ghc 8.4.2

Added:
  haskell-tamarin-prover-utils/trunk/ghc-8.4.patch
Modified:
  haskell-tamarin-prover-utils/trunk/PKGBUILD

---+
 PKGBUILD  |   15 +--
 ghc-8.4.patch |  110 
 2 files changed, 121 insertions(+), 4 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2018-05-18 07:27:52 UTC (rev 324256)
+++ PKGBUILD2018-05-18 07:43:29 UTC (rev 324257)
@@ -5,17 +5,24 @@
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
 pkgver=1.4.0
-pkgrel=1
+pkgrel=2
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")
 arch=('x86_64')
 depends=('ghc-libs' 'haskell-sha' 'haskell-base64-bytestring' 
'haskell-blaze-builder'
- 'haskell-dlist' 'haskell-fclabels' 'haskell-mtl' 'haskell-safe' 
'haskell-syb')
+ 'haskell-dlist' 'haskell-fclabels' 'haskell-safe' 'haskell-syb')
 makedepends=('ghc')
-source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
-sha512sums=('7c1afe6a53b596c2ce01e9ad7a7f464af1f4efbc5f8edc13d5ec8bc32ce4e91ddde91dff6ab8e01cf3cf30a37a3a18953d937debc36c9df664f718d968e2ae74')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;
+ghc-8.4.patch)
+sha512sums=('7c1afe6a53b596c2ce01e9ad7a7f464af1f4efbc5f8edc13d5ec8bc32ce4e91ddde91dff6ab8e01cf3cf30a37a3a18953d937debc36c9df664f718d968e2ae74'
+
'14a34dccb77582977f1df0ea74049a22f136161c7afc9c213cb90436b9b2c3ef4ab8f0049417ea4ab3b5c861eab140fe6255c59d5b29a706a330117676cc6047')
 
+prepare() {
+cd tamarin-prover-$pkgver
+patch -p1 -i ../ghc-8.4.patch
+}
+
 build() {
 cd "${srcdir}/tamarin-prover-${pkgver}/lib/utils"
 

Added: ghc-8.4.patch
===
--- ghc-8.4.patch   (rev 0)
+++ ghc-8.4.patch   2018-05-18 07:43:29 UTC (rev 324257)
@@ -0,0 +1,110 @@
+diff --git a/lib/utils/src/Extension/Data/Bounded.hs 
b/lib/utils/src/Extension/Data/Bounded.hs
+index 5f166006..6ca7970d 100644
+--- a/lib/utils/src/Extension/Data/Bounded.hs
 b/lib/utils/src/Extension/Data/Bounded.hs
+@@ -16,14 +16,18 @@ module Extension.Data.Bounded (
+ newtype BoundedMax a = BoundedMax {getBoundedMax :: a}
+ deriving( Eq, Ord, Show )
+ 
++instance (Ord a, Bounded a) => Semigroup (BoundedMax a) where
++BoundedMax x <> BoundedMax y = BoundedMax (max x y)
++
+ instance (Ord a, Bounded a) => Monoid (BoundedMax a) where
+ mempty  = BoundedMax minBound
+-(BoundedMax x) `mappend` (BoundedMax y) = BoundedMax (max x y)
+ 
+ -- | A newtype wrapper for a monoid of the minimum of a bounded type.
+ newtype BoundedMin a = BoundedMin {getBoundedMin :: a}
+ deriving( Eq, Ord, Show )
+ 
++instance (Ord a, Bounded a) => Semigroup (BoundedMin a) where
++BoundedMin x <> BoundedMin y = BoundedMin (min x y)
++
+ instance (Ord a, Bounded a) => Monoid (BoundedMin a) where
+ mempty  = BoundedMin maxBound
+-(BoundedMin x) `mappend` (BoundedMin y) = BoundedMin (min x y)
+\ No newline at end of file
+diff --git a/lib/utils/src/Extension/Data/Monoid.hs 
b/lib/utils/src/Extension/Data/Monoid.hs
+index 83655c34..ca4f53c2 100644
+--- a/lib/utils/src/Extension/Data/Monoid.hs
 b/lib/utils/src/Extension/Data/Monoid.hs
+@@ -38,10 +38,12 @@ newtype MinMax a = MinMax { getMinMax :: Maybe (a, a) }
+ minMaxSingleton :: a -> MinMax a
+ minMaxSingleton x = MinMax (Just (x, x))
+ 
++instance Ord a => Semigroup (MinMax a) where
++MinMax Nothing <> y  = y
++x  <> MinMax Nothing = x
++MinMax (Just (xMin, xMax)) <> MinMax (Just (yMin, yMax)) =
++   MinMax (Just (min xMin yMin, max xMax yMax))
++
++
+ instance Ord a => Monoid (MinMax a) where
+ mempty = MinMax Nothing
+-
+-MinMax Nothing `mappend` y  = y
+-x  `mappend` MinMax Nothing = x
+-MinMax (Just (xMin, xMax)) `mappend` MinMax (Just (yMin, yMax)) =
+-   MinMax (Just (min xMin yMin, max xMax yMax))
+diff --git a/lib/utils/src/Logic/Connectives.hs 
b/lib/utils/src/Logic/Connectives.hs
+index 2e441172..7206cc2c 100644
+--- a/lib/utils/src/Logic/Connectives.hs
 b/lib/utils/src/Logic/Connectives.hs
+@@ -23,12 +23,12 @@ import Control.DeepSeq
+ 
+ -- | A conjunction of atoms of type a.
+ newtype Conj a = Conj { getConj :: [a] }
+-  deriving (Monoid, Foldable, Traversable, Eq, Ord, Show, Binary,
++  deriving (Monoid, Semigroup, Foldable, Traversable, Eq, Ord, Show, Binary,
+ Functor,

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

2018-05-07 Thread Felix Yan via arch-commits

Date: Monday, May 7, 2018 @ 13:00:59
  Author: felixonmars
Revision: 319104

upgpkg: haskell-tamarin-prover-utils 1.4.0-1

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

--+
 PKGBUILD |6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2018-05-07 12:56:24 UTC (rev 319103)
+++ PKGBUILD2018-05-07 13:00:59 UTC (rev 319104)
@@ -4,8 +4,8 @@
 
 _hkgname=tamarin-prover-utils
 pkgname=haskell-tamarin-prover-utils
-pkgver=1.2.3
-pkgrel=3
+pkgver=1.4.0
+pkgrel=1
 pkgdesc="Utility library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")
@@ -14,7 +14,7 @@
  'haskell-dlist' 'haskell-fclabels' 'haskell-mtl' 'haskell-safe' 
'haskell-syb')
 makedepends=('ghc')
 
source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
-sha512sums=('3ec371f0abf1a391bbc2be0b3e3940b5f634515e443a6535ab3b8a5c6514004bbada35838b63e2c1e5edcbbdb230eae5be03dd8464f8516d3301bf02aad3d5ff')
+sha512sums=('7c1afe6a53b596c2ce01e9ad7a7f464af1f4efbc5f8edc13d5ec8bc32ce4e91ddde91dff6ab8e01cf3cf30a37a3a18953d937debc36c9df664f718d968e2ae74')
 
 build() {
 cd "${srcdir}/tamarin-prover-${pkgver}/lib/utils"

1 2 >

1 - 100 of 111 matches

Mail list logo