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

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

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

Date: Tuesday, December 29, 2020 @ 09:30:30
  Author: felixonmars
Revision: 796630

upgpkg: haskell-tamarin-prover-term 1.6.0-28: rebuild with tagged 0.8.6.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-29 09:29:41 UTC (rev 796629)
+++ PKGBUILD2020-12-29 09:30:30 UTC (rev 796630)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=27
+pkgrel=28
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Monday, December 28, 2020 @ 08:56:37
  Author: felixonmars
Revision: 794386

upgpkg: haskell-tamarin-prover-term 1.6.0-27: rebuild with indexed-traversable 
0.1.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-28 08:55:45 UTC (rev 794385)
+++ PKGBUILD2020-12-28 08:56:37 UTC (rev 794386)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=26
+pkgrel=27
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Saturday, December 26, 2020 @ 03:11:20
  Author: felixonmars
Revision: 791727

upgpkg: haskell-tamarin-prover-term 1.6.0-26: rebuild with tasty-quickcheck 
0.10.1.2

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-26 03:10:34 UTC (rev 791726)
+++ PKGBUILD2020-12-26 03:11:20 UTC (rev 791727)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=25
+pkgrel=26
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Friday, December 25, 2020 @ 03:12:36
  Author: felixonmars
Revision: 789505

upgpkg: haskell-tamarin-prover-term 1.6.0-25: rebuild with comonad 5.0.7

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-25 03:11:00 UTC (rev 789504)
+++ PKGBUILD2020-12-25 03:12:36 UTC (rev 789505)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=24
+pkgrel=25
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Thursday, December 24, 2020 @ 13:02:20
  Author: felixonmars
Revision: 787202

upgpkg: haskell-tamarin-prover-term 1.6.0-24: rebuild with ghc 8.10.3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-24 13:01:42 UTC (rev 787201)
+++ PKGBUILD2020-12-24 13:02:20 UTC (rev 787202)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=23
+pkgrel=24
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Wednesday, December 23, 2020 @ 05:36:27
  Author: felixonmars
Revision: 783718

upgpkg: haskell-tamarin-prover-term 1.6.0-23: rebuild with tasty-smallcheck 
0.8.2

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-23 05:35:13 UTC (rev 783717)
+++ PKGBUILD2020-12-23 05:36:27 UTC (rev 783718)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=22
+pkgrel=23
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Monday, December 21, 2020 @ 13:54:19
  Author: felixonmars
Revision: 781079

upgpkg: haskell-tamarin-prover-term 1.6.0-22: rebuild with tasty-hunit 0.10.0.3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-21 13:52:02 UTC (rev 781078)
+++ PKGBUILD2020-12-21 13:54:19 UTC (rev 781079)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=21
+pkgrel=22
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Thursday, December 17, 2020 @ 19:48:57
  Author: felixonmars
Revision: 777922

upgpkg: haskell-tamarin-prover-term 1.6.0-21: rebuild with th-abstraction 
0.4.1.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-17 19:47:39 UTC (rev 777921)
+++ PKGBUILD2020-12-17 19:48:57 UTC (rev 777922)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=20
+pkgrel=21
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Sunday, December 13, 2020 @ 14:03:00
  Author: felixonmars
Revision: 774303

upgpkg: haskell-tamarin-prover-term 1.6.0-20: rebuild with base-orphans 0.8.5

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-13 14:01:42 UTC (rev 774302)
+++ PKGBUILD2020-12-13 14:03:00 UTC (rev 774303)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=19
+pkgrel=20
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Saturday, November 28, 2020 @ 18:52:15
  Author: felixonmars
Revision: 765438

upgpkg: haskell-tamarin-prover-term 1.6.0-19: rebuild with unbounded-delays 
0.1.1.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-28 18:50:59 UTC (rev 765437)
+++ PKGBUILD2020-11-28 18:52:15 UTC (rev 765438)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=18
+pkgrel=19
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Sunday, November 22, 2020 @ 18:47:55
  Author: felixonmars
Revision: 759406

upgpkg: haskell-tamarin-prover-term 1.6.0-18: rebuild with optparse-applicative 
0.16.1.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-22 18:46:21 UTC (rev 759405)
+++ PKGBUILD2020-11-22 18:47:55 UTC (rev 759406)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=17
+pkgrel=18
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Friday, November 20, 2020 @ 23:24:12
  Author: felixonmars
Revision: 758234

upgpkg: haskell-tamarin-prover-term 1.6.0-17: rebuild with base64-bytestring 
1.2.0.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-20 23:22:54 UTC (rev 758233)
+++ PKGBUILD2020-11-20 23:24:12 UTC (rev 758234)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=16
+pkgrel=17
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Thursday, November 19, 2020 @ 15:05:12
  Author: felixonmars
Revision: 757595

upgpkg: haskell-tamarin-prover-term 1.6.0-16: add fix for maude 3.1

Added:
  haskell-tamarin-prover-term/trunk/maude-3.1.patch
Modified:
  haskell-tamarin-prover-term/trunk/PKGBUILD

-+
 PKGBUILD|   13 ++---
 maude-3.1.patch |   35 +++
 2 files changed, 45 insertions(+), 3 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-11-19 15:02:38 UTC (rev 757594)
+++ PKGBUILD2020-11-19 15:05:12 UTC (rev 757595)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=15
+pkgrel=16
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")
@@ -12,9 +12,16 @@
 depends=('ghc-libs' 'haskell-hunit' 'haskell-attoparsec' 'haskell-dlist'
  'haskell-safe' 'haskell-tamarin-prover-utils')
 makedepends=('ghc')
-source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
-sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;
+maude-3.1.patch)
+sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e'
+
'1ef5e4c370a0c5f5541d50600604ba7adc566c2f5cf415cdb844842bb10b343edd00aa5aa654f8e55355c80f48a34382c87c3fba4adca0c77e726f407f3815c3')
 
+prepare() {
+cd tamarin-prover-$pkgver
+patch -p1 -i ../maude-3.1.patch
+}
+
 build() {
 cd tamarin-prover-$pkgver/lib/term
 

Added: maude-3.1.patch
===
--- maude-3.1.patch (rev 0)
+++ maude-3.1.patch 2020-11-19 15:05:12 UTC (rev 757595)
@@ -0,0 +1,35 @@
+diff --git a/lib/term/src/Term/Maude/Parser.hs 
b/lib/term/src/Term/Maude/Parser.hs
+index 187c35dc..0a1d3c35 100644
+--- a/lib/term/src/Term/Maude/Parser.hs
 b/lib/term/src/Term/Maude/Parser.hs
+@@ -224,7 +224,7 @@ parseVariantsReply msig reply = flip parseOnly reply $ do
+ <* endOfLine <* string "rewrites: "
+ <* takeWhile1 isDigit <* endOfLine <* endOfInput
+   where
+-parseVariant = string "Variant #" *> takeWhile1 isDigit *> endOfLine *>
++parseVariant = string "Variant " *> optional (char '#') *> takeWhile1 
isDigit *> endOfLine *>
+string "rewrites: " *> takeWhile1 isDigit *> endOfLine *>
+parseReprintedTerm *> manyTill parseEntry endOfLine
+ parseReprintedTerm = choice [ string "TOP" *> pure LSortMsg, parseSort ]
+@@ -235,7 +235,7 @@ parseVariantsReply msig reply = flip parseOnly reply $ do
+ -- | @parseSubstitution l@ parses a single substitution returned by Maude.
+ parseSubstitution :: MaudeSig -> Parser MSubst
+ parseSubstitution msig = do
+-endOfLine *> string "Solution " *> takeWhile1 isDigit *> endOfLine
++endOfLine *> choice [string "Solution ", string "Unifier ", string 
"Matcher "] *> takeWhile1 isDigit *> endOfLine
+ choice [ string "empty substitution" *> endOfLine *> pure []
+, many1 parseEntry]
+   where 
+diff --git a/src/Main/Environment.hs b/src/Main/Environment.hs
+index ecb15d2f..1b55c2e7 100644
+--- a/src/Main/Environment.hs
 b/src/Main/Environment.hs
+@@ -175,7 +175,7 @@ ensureMaude as = do
+ 
+ --  Maude versions prior to 2.7.1 are no longer supported,
+ --  because the 'get variants' command is incompatible.
+-supportedVersions = ["2.7.1", "3.0"]
++supportedVersions = ["2.7.1", "3.0", "3.1"]
+ 
+ errMsg' = errMsg $ "'" ++ maude ++ "' executable not found / does not 
work"
+

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

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

Date: Monday, November 16, 2020 @ 16:29:14
  Author: felixonmars
Revision: 755393

upgpkg: haskell-tamarin-prover-term 1.6.0-15: rebuild with QuickCheck 2.14.2

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-16 16:27:55 UTC (rev 755392)
+++ PKGBUILD2020-11-16 16:29:14 UTC (rev 755393)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=14
+pkgrel=15
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Saturday, November 7, 2020 @ 10:48:49
  Author: felixonmars
Revision: 745650

upgpkg: haskell-tamarin-prover-term 1.6.0-14: rebuild with integer-logarithms 
1.0.3.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-07 10:47:31 UTC (rev 745649)
+++ PKGBUILD2020-11-07 10:48:49 UTC (rev 745650)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=13
+pkgrel=14
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Friday, November 6, 2020 @ 11:33:33
  Author: felixonmars
Revision: 744020

upgpkg: haskell-tamarin-prover-term 1.6.0-13: rebuild with splitmix 0.1.0.3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-06 11:32:42 UTC (rev 744019)
+++ PKGBUILD2020-11-06 11:33:33 UTC (rev 744020)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=12
+pkgrel=13
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Monday, November 2, 2020 @ 14:54:32
  Author: felixonmars
Revision: 739811

upgpkg: haskell-tamarin-prover-term 1.6.0-12: rebuild with HUnit 1.6.1.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-02 14:53:20 UTC (rev 739810)
+++ PKGBUILD2020-11-02 14:54:32 UTC (rev 739811)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=11
+pkgrel=12
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Saturday, October 31, 2020 @ 14:15:10
  Author: felixonmars
Revision: 737714

upgpkg: haskell-tamarin-prover-term 1.6.0-11: rebuild with unliftio 0.2.13.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-31 14:13:51 UTC (rev 737713)
+++ PKGBUILD2020-10-31 14:15:10 UTC (rev 737714)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=10
+pkgrel=11
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Tuesday, October 27, 2020 @ 19:25:41
  Author: felixonmars
Revision: 734913

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-27 19:24:54 UTC (rev 734912)
+++ PKGBUILD2020-10-27 19:25:41 UTC (rev 734913)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=9
+pkgrel=10
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Sunday, October 25, 2020 @ 20:50:29
  Author: felixonmars
Revision: 732983

upgpkg: haskell-tamarin-prover-term 1.6.0-9: rebuild with bifunctors 5.5.8

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-25 20:49:37 UTC (rev 732982)
+++ PKGBUILD2020-10-25 20:50:29 UTC (rev 732983)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=8
+pkgrel=9
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Wednesday, October 21, 2020 @ 19:40:54
  Author: felixonmars
Revision: 728300

upgpkg: haskell-tamarin-prover-term 1.6.0-8: rebuild with splitmix 0.1.0.2

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-21 19:39:30 UTC (rev 728299)
+++ PKGBUILD2020-10-21 19:40:54 UTC (rev 728300)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=7
+pkgrel=8
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Friday, October 16, 2020 @ 21:44:33
  Author: felixonmars
Revision: 725078

upgpkg: haskell-tamarin-prover-term 1.6.0-7: rebuild with th-abstraction 0.4.0.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-16 21:43:05 UTC (rev 725077)
+++ PKGBUILD2020-10-16 21:44:33 UTC (rev 725078)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=6
+pkgrel=7
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Wednesday, October 7, 2020 @ 00:30:53
  Author: felixonmars
Revision: 720070

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-07 00:29:47 UTC (rev 720069)
+++ PKGBUILD2020-10-07 00:30:53 UTC (rev 720070)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=5
+pkgrel=6
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Sunday, October 4, 2020 @ 00:07:17
  Author: felixonmars
Revision: 717084

upgpkg: haskell-tamarin-prover-term 1.6.0-5: rebuild with transformers-compat 
0.6.6

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-04 00:06:28 UTC (rev 717083)
+++ PKGBUILD2020-10-04 00:07:17 UTC (rev 717084)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=4
+pkgrel=5
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Friday, October 2, 2020 @ 00:42:02
  Author: felixonmars
Revision: 714814

upgpkg: haskell-tamarin-prover-term 1.6.0-4: rebuild with base-orphans 0.8.3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-02 00:41:06 UTC (rev 714813)
+++ PKGBUILD2020-10-02 00:42:02 UTC (rev 714814)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=3
+pkgrel=4
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Thursday, September 17, 2020 @ 19:55:38
  Author: felixonmars
Revision: 709235

upgpkg: haskell-tamarin-prover-term 1.6.0-3: rebuild with hspec 2.7.4, 
hspec-core 2.7.4, hspec-discover 2.7.4

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-17 19:54:49 UTC (rev 709234)
+++ PKGBUILD2020-09-17 19:55:38 UTC (rev 709235)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=2
+pkgrel=3
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Wednesday, September 16, 2020 @ 14:41:22
  Author: felixonmars
Revision: 708072

upgpkg: haskell-tamarin-prover-term 1.6.0-2: rebuild for tamarin-prover-utils 
1.6.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-16 14:40:04 UTC (rev 708071)
+++ PKGBUILD2020-09-16 14:41:22 UTC (rev 708072)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.6.0
-pkgrel=1
+pkgrel=2
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Wednesday, September 16, 2020 @ 14:39:54
  Author: felixonmars
Revision: 708070

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-16 14:37:40 UTC (rev 708069)
+++ PKGBUILD2020-09-16 14:39:54 UTC (rev 708070)
@@ -3,8 +3,8 @@
 
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
-pkgver=1.4.1
-pkgrel=80
+pkgver=1.6.0
+pkgrel=1
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")
@@ -12,18 +12,11 @@
 depends=('ghc-libs' 'haskell-hunit' 'haskell-attoparsec' 'haskell-dlist'
  'haskell-safe' 'haskell-tamarin-prover-utils')
 makedepends=('ghc')
-source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;
-
tamarin-prover-maude-3.patch::https://github.com/tamarin-prover/tamarin-prover/pull/353.patch)
-sha512sums=('4d3aeae02be5d430bff6c55d78656e3c9a648674d235bfeb36ce227a39abd3054a132b99ff8040abf05d8e26506fe85d21ecfb6fce73062dd45b5ba98d941144'
-
'cb3863c1d69ceff5b583a91aa442ccfbf61280ac04379dec67b4e564eddc8f1a393f85949130275eb6d5874295334c6bb34bb55b741632a288c65fb2e6459305')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
+sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e')
 
-prepare() {
-cd "${srcdir}/tamarin-prover-${pkgver}"
-patch -p1 -i "$srcdir"/tamarin-prover-maude-3.patch
-}
-
 build() {
-cd "${srcdir}/tamarin-prover-${pkgver}/lib/term"
+cd tamarin-prover-$pkgver/lib/term
 
 runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
 --prefix=/usr --docdir=/usr/share/doc/$pkgname \
@@ -36,7 +29,7 @@
 }
 
 package() {
-cd "${srcdir}/tamarin-prover-${pkgver}/lib/term"
+cd tamarin-prover-$pkgver/lib/term
 
 install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
 install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh

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

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

Date: Monday, September 14, 2020 @ 20:07:39
  Author: felixonmars
Revision: 706525

upgpkg: haskell-tamarin-prover-term 1.4.1-80: rebuild with 
quickcheck-classes-base 0.6.1.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-14 20:07:34 UTC (rev 706524)
+++ PKGBUILD2020-09-14 20:07:39 UTC (rev 706525)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=79
+pkgrel=80
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Saturday, September 12, 2020 @ 16:44:48
  Author: felixonmars
Revision: 704338

upgpkg: haskell-tamarin-prover-term 1.4.1-79: rebuild with ansi-terminal 0.11

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-12 16:43:56 UTC (rev 704337)
+++ PKGBUILD2020-09-12 16:44:48 UTC (rev 704338)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=78
+pkgrel=79
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Thursday, September 10, 2020 @ 18:46:23
  Author: felixonmars
Revision: 702179

upgpkg: haskell-tamarin-prover-term 1.4.1-78: rebuild with mwc-random 0.15.0.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-10 18:44:31 UTC (rev 702178)
+++ PKGBUILD2020-09-10 18:46:23 UTC (rev 702179)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=77
+pkgrel=78
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Monday, September 7, 2020 @ 13:44:35
  Author: felixonmars
Revision: 699800

upgpkg: haskell-tamarin-prover-term 1.4.1-77: rebuild with hspec 2.7.3, 
hspec-core 2.7.3, hspec-discover 2.7.3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-07 13:43:12 UTC (rev 699799)
+++ PKGBUILD2020-09-07 13:44:35 UTC (rev 699800)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=76
+pkgrel=77
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Wednesday, September 2, 2020 @ 19:35:41
  Author: felixonmars
Revision: 696902

upgpkg: haskell-tamarin-prover-term 1.4.1-76: rebuild with mwc-random 0.15.0.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-02 19:34:17 UTC (rev 696901)
+++ PKGBUILD2020-09-02 19:35:41 UTC (rev 696902)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=75
+pkgrel=76
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Monday, August 31, 2020 @ 05:13:22
  Author: felixonmars
Revision: 693622

upgpkg: haskell-tamarin-prover-term 1.4.1-75: rebuild with happy 1.20.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-31 05:12:11 UTC (rev 693621)
+++ PKGBUILD2020-08-31 05:13:22 UTC (rev 693622)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=74
+pkgrel=75
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Friday, August 28, 2020 @ 11:54:00
  Author: felixonmars
Revision: 690612

upgpkg: haskell-tamarin-prover-term 1.4.1-74: rebuild with logict 0.7.0.3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-28 11:52:48 UTC (rev 690611)
+++ PKGBUILD2020-08-28 11:54:00 UTC (rev 690612)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=73
+pkgrel=74
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Tuesday, August 25, 2020 @ 14:22:52
  Author: felixonmars
Revision: 688305

upgpkg: haskell-tamarin-prover-term 1.4.1-73: rebuild with random 1.2.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-25 14:21:35 UTC (rev 688304)
+++ PKGBUILD2020-08-25 14:22:52 UTC (rev 688305)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=72
+pkgrel=73
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Sunday, August 23, 2020 @ 07:29:28
  Author: felixonmars
Revision: 686944

upgpkg: haskell-tamarin-prover-term 1.4.1-72: rebuild with base64-bytestring 
1.2.0.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-23 07:28:08 UTC (rev 686943)
+++ PKGBUILD2020-08-23 07:29:28 UTC (rev 686944)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=71
+pkgrel=72
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Friday, August 21, 2020 @ 08:45:40
  Author: felixonmars
Revision: 685833

upgpkg: haskell-tamarin-prover-term 1.4.1-71: rebuild with dlist 1.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-21 08:44:13 UTC (rev 685832)
+++ PKGBUILD2020-08-21 08:45:40 UTC (rev 685833)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=70
+pkgrel=71
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Monday, August 17, 2020 @ 20:03:48
  Author: felixonmars
Revision: 683174

upgpkg: haskell-tamarin-prover-term 1.4.1-70: rebuild with ghc 8.10.2

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-17 20:02:19 UTC (rev 683173)
+++ PKGBUILD2020-08-17 20:03:48 UTC (rev 683174)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=69
+pkgrel=70
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Saturday, August 15, 2020 @ 22:18:36
  Author: felixonmars
Revision: 680182

upgpkg: haskell-tamarin-prover-term 1.4.1-69: rebuild with math-functions 
0.3.4.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-15 22:17:17 UTC (rev 680181)
+++ PKGBUILD2020-08-15 22:18:36 UTC (rev 680182)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=68
+pkgrel=69
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Thursday, August 13, 2020 @ 17:06:46
  Author: felixonmars
Revision: 677710

upgpkg: haskell-tamarin-prover-term 1.4.1-68: rebuild with hspec 2.7.2, 
hspec-core 2.7.2, hspec-discover 2.7.2

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-13 17:05:41 UTC (rev 677709)
+++ PKGBUILD2020-08-13 17:06:46 UTC (rev 677710)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=67
+pkgrel=68
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Tuesday, August 11, 2020 @ 21:55:10
  Author: felixonmars
Revision: 674980

upgpkg: haskell-tamarin-prover-term 1.4.1-67: rebuild with splitmix 0.1.0.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-11 21:54:05 UTC (rev 674979)
+++ PKGBUILD2020-08-11 21:55:10 UTC (rev 674980)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=66
+pkgrel=67
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Friday, July 31, 2020 @ 23:30:49
  Author: felixonmars
Revision: 666754

upgpkg: haskell-tamarin-prover-term 1.4.1-66: rebuild with QuickCheck 2.14.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-07-31 23:29:37 UTC (rev 666753)
+++ PKGBUILD2020-07-31 23:30:49 UTC (rev 666754)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=65
+pkgrel=66
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Sunday, June 28, 2020 @ 23:05:16
  Author: felixonmars
Revision: 655609

upgpkg: haskell-tamarin-prover-term 1.4.1-65: rebuild with primitive 0.7.1.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-06-28 23:04:12 UTC (rev 655608)
+++ PKGBUILD2020-06-28 23:05:16 UTC (rev 655609)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=64
+pkgrel=65
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Tuesday, June 23, 2020 @ 22:38:21
  Author: felixonmars
Revision: 651804

upgpkg: haskell-tamarin-prover-term 1.4.1-64: rebuild with splitmix 0.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-06-23 22:37:09 UTC (rev 651803)
+++ PKGBUILD2020-06-23 22:38:21 UTC (rev 651804)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=63
+pkgrel=64
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Saturday, June 13, 2020 @ 23:18:15
  Author: felixonmars
Revision: 643400

upgpkg: haskell-tamarin-prover-term 1.4.1-63: rebuild with splitmix 0.0.5

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-06-13 23:17:10 UTC (rev 643399)
+++ PKGBUILD2020-06-13 23:18:15 UTC (rev 643400)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=62
+pkgrel=63
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Monday, May 25, 2020 @ 03:43:57
  Author: felixonmars
Revision: 633744

upgpkg: haskell-tamarin-prover-term 1.4.1-62: rebuild with safe 0.3.19

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-05-25 03:42:05 UTC (rev 633743)
+++ PKGBUILD2020-05-25 03:43:57 UTC (rev 633744)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=61
+pkgrel=62
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Saturday, May 23, 2020 @ 16:28:18
  Author: felixonmars
Revision: 632196

upgpkg: haskell-tamarin-prover-term 1.4.1-61: rebuild with tasty 1.3.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-05-23 16:27:08 UTC (rev 632195)
+++ PKGBUILD2020-05-23 16:28:18 UTC (rev 632196)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=60
+pkgrel=61
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Saturday, May 23, 2020 @ 02:01:39
  Author: felixonmars
Revision: 631757

upgpkg: haskell-tamarin-prover-term 1.4.1-60: rebuild with fclabels 2.0.5

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-05-23 01:58:05 UTC (rev 631756)
+++ PKGBUILD2020-05-23 02:01:39 UTC (rev 631757)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=59
+pkgrel=60
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Wednesday, May 20, 2020 @ 16:01:59
  Author: felixonmars
Revision: 630859

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-05-20 16:01:54 UTC (rev 630858)
+++ PKGBUILD2020-05-20 16:01:59 UTC (rev 630859)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=58
+pkgrel=59
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")
@@ -28,7 +28,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-term/trunk (PKGBUILD)

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

Date: Tuesday, May 12, 2020 @ 11:09:34
  Author: felixonmars
Revision: 626818

upgpkg: haskell-tamarin-prover-term 1.4.1-58: rebuild with tasty 1.3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-05-12 11:08:35 UTC (rev 626817)
+++ PKGBUILD2020-05-12 11:09:34 UTC (rev 626818)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=57
+pkgrel=58
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Thursday, April 30, 2020 @ 10:24:18
  Author: felixonmars
Revision: 622436

upgpkg: haskell-tamarin-prover-term 1.4.1-57

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-04-30 10:20:03 UTC (rev 622435)
+++ PKGBUILD2020-04-30 10:24:18 UTC (rev 622436)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=56
+pkgrel=57
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Friday, April 3, 2020 @ 15:25:00
  Author: felixonmars
Revision: 610838

upgpkg: haskell-tamarin-prover-term 1.4.1-56: rebuild with dlist 0.8.0.8

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-04-03 15:23:45 UTC (rev 610837)
+++ PKGBUILD2020-04-03 15:25:00 UTC (rev 610838)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=55
+pkgrel=56
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Wednesday, April 1, 2020 @ 10:49:43
  Author: felixonmars
Revision: 608724

upgpkg: haskell-tamarin-prover-term 1.4.1-55: rebuild with QuickCheck 2.14

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-04-01 10:48:48 UTC (rev 608723)
+++ PKGBUILD2020-04-01 10:49:43 UTC (rev 608724)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=54
+pkgrel=55
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Saturday, March 28, 2020 @ 16:05:34
  Author: felixonmars
Revision: 605272

upgpkg: haskell-tamarin-prover-term 1.4.1-54: rebuild with attoparsec 0.13.2.4

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-03-28 16:04:22 UTC (rev 605271)
+++ PKGBUILD2020-03-28 16:05:34 UTC (rev 605272)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=53
+pkgrel=54
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Sunday, March 15, 2020 @ 15:25:56
  Author: felixonmars
Revision: 598249

upgpkg: haskell-tamarin-prover-term 1.4.1-53: rebuild with hashable 1.3.0.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-03-15 15:24:52 UTC (rev 598248)
+++ PKGBUILD2020-03-15 15:25:56 UTC (rev 598249)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=52
+pkgrel=53
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Sunday, March 8, 2020 @ 21:34:31
  Author: felixonmars
Revision: 592545

upgpkg: haskell-tamarin-prover-term 1.4.1-52

fix compatibility with maude 3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-03-08 21:27:22 UTC (rev 592544)
+++ PKGBUILD2020-03-08 21:34:31 UTC (rev 592545)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=51
+pkgrel=52
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")
@@ -12,12 +12,19 @@
 depends=('ghc-libs' 'haskell-hunit' 'haskell-attoparsec' 'haskell-dlist'
  'haskell-safe' 'haskell-tamarin-prover-utils')
 makedepends=('ghc')
-source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;)
-sha512sums=('4d3aeae02be5d430bff6c55d78656e3c9a648674d235bfeb36ce227a39abd3054a132b99ff8040abf05d8e26506fe85d21ecfb6fce73062dd45b5ba98d941144')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;
+
tamarin-prover-maude-3.patch::https://github.com/tamarin-prover/tamarin-prover/pull/353.patch)
+sha512sums=('4d3aeae02be5d430bff6c55d78656e3c9a648674d235bfeb36ce227a39abd3054a132b99ff8040abf05d8e26506fe85d21ecfb6fce73062dd45b5ba98d941144'
+
'cb3863c1d69ceff5b583a91aa442ccfbf61280ac04379dec67b4e564eddc8f1a393f85949130275eb6d5874295334c6bb34bb55b741632a288c65fb2e6459305')
 
+prepare() {
+cd "${srcdir}/tamarin-prover-${pkgver}"
+patch -p1 -i "$srcdir"/tamarin-prover-maude-3.patch
+}
+
 build() {
 cd "${srcdir}/tamarin-prover-${pkgver}/lib/term"
-
+
 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
@@ -30,7 +37,7 @@
 
 package() {
 cd "${srcdir}/tamarin-prover-${pkgver}/lib/term"
-
+
 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"

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

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

Date: Sunday, March 1, 2020 @ 18:56:46
  Author: felixonmars
Revision: 587975

upgpkg: haskell-tamarin-prover-term 1.4.1-51: rebuild with primitive 0.7.0.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-03-01 18:55:39 UTC (rev 587974)
+++ PKGBUILD2020-03-01 18:56:46 UTC (rev 587975)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=50
+pkgrel=51
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Thursday, February 27, 2020 @ 15:32:40
  Author: felixonmars
Revision: 584278

upgpkg: haskell-tamarin-prover-term 1.4.1-50: rebuild with ghc 8.8.3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-02-27 15:31:31 UTC (rev 584277)
+++ PKGBUILD2020-02-27 15:32:40 UTC (rev 584278)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=49
+pkgrel=50
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Tuesday, February 25, 2020 @ 17:16:44
  Author: felixonmars
Revision: 581643

upgpkg: haskell-tamarin-prover-term 1.4.1-49: rebuild with splitmix 0.0.4

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-02-25 17:15:35 UTC (rev 581642)
+++ PKGBUILD2020-02-25 17:16:44 UTC (rev 581643)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=48
+pkgrel=49
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Sunday, February 23, 2020 @ 17:23:03
  Author: felixonmars
Revision: 579893

upgpkg: haskell-tamarin-prover-term 1.4.1-48: rebuild with split 0.2.3.4

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-02-23 17:22:00 UTC (rev 579892)
+++ PKGBUILD2020-02-23 17:23:03 UTC (rev 579893)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=47
+pkgrel=48
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")
@@ -34,5 +34,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-term/trunk (PKGBUILD)

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

Date: Sunday, February 16, 2020 @ 09:52:48
  Author: felixonmars
Revision: 572191

upgpkg: haskell-tamarin-prover-term 1.4.1-47: rebuild with ghc 8.8.2

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-02-16 09:51:41 UTC (rev 572190)
+++ PKGBUILD2020-02-16 09:52:48 UTC (rev 572191)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=46
+pkgrel=47
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Tuesday, February 11, 2020 @ 09:15:44
  Author: felixonmars
Revision: 566868

upgpkg: haskell-tamarin-prover-term 1.4.1-46: rebuild with ansi-terminal 0.10.3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-02-11 09:14:31 UTC (rev 566867)
+++ PKGBUILD2020-02-11 09:15:44 UTC (rev 566868)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=45
+pkgrel=46
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Sunday, February 9, 2020 @ 16:22:59
  Author: felixonmars
Revision: 565458

upgpkg: haskell-tamarin-prover-term 1.4.1-45: rebuild with tasty-quickcheck 
0.10.1.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-02-09 16:21:25 UTC (rev 565457)
+++ PKGBUILD2020-02-09 16:22:59 UTC (rev 565458)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=44
+pkgrel=45
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Wednesday, February 5, 2020 @ 19:09:33
  Author: felixonmars
Revision: 563390

upgpkg: haskell-tamarin-prover-term 1.4.1-44: rebuild with vector 0.12.1.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-02-05 19:09:30 UTC (rev 563389)
+++ PKGBUILD2020-02-05 19:09:33 UTC (rev 563390)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=43
+pkgrel=44
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Saturday, February 1, 2020 @ 19:25:01
  Author: felixonmars
Revision: 561110

upgpkg: haskell-tamarin-prover-term 1.4.1-43: rebuild with fclabels 2.0.4

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-02-01 19:23:35 UTC (rev 561109)
+++ PKGBUILD2020-02-01 19:25:01 UTC (rev 561110)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=42
+pkgrel=43
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Wednesday, January 29, 2020 @ 12:25:01
  Author: felixonmars
Revision: 558761

upgpkg: haskell-tamarin-prover-term 1.4.1-42: rebuild with base-compat 0.11.1, 
base-compat-batteries 0.11.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-01-29 12:23:33 UTC (rev 558760)
+++ PKGBUILD2020-01-29 12:25:01 UTC (rev 558761)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=41
+pkgrel=42
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Monday, January 27, 2020 @ 23:50:17
  Author: felixonmars
Revision: 556743

upgpkg: haskell-tamarin-prover-term 1.4.1-41: rebuild with base-orphans 0.8.2

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-01-27 23:49:08 UTC (rev 556742)
+++ PKGBUILD2020-01-27 23:50:17 UTC (rev 556743)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=40
+pkgrel=41
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Wednesday, January 22, 2020 @ 19:47:02
  Author: felixonmars
Revision: 554462

upgpkg: haskell-tamarin-prover-term 1.4.1-40: rebuild with base64-bytestring 
1.0.0.3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-01-22 19:45:53 UTC (rev 554461)
+++ PKGBUILD2020-01-22 19:47:02 UTC (rev 554462)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=39
+pkgrel=40
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Thursday, January 9, 2020 @ 18:13:27
  Author: felixonmars
Revision: 551401

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-01-09 18:12:16 UTC (rev 551400)
+++ PKGBUILD2020-01-09 18:13:27 UTC (rev 551401)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=38
+pkgrel=39
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Saturday, January 4, 2020 @ 16:58:27
  Author: felixonmars
Revision: 548119

upgpkg: haskell-tamarin-prover-term 1.4.1-38: rebuild with ansi-terminal 0.10.2

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-01-04 16:56:51 UTC (rev 548118)
+++ PKGBUILD2020-01-04 16:58:27 UTC (rev 548119)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=37
+pkgrel=38
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Thursday, January 2, 2020 @ 15:53:17
  Author: felixonmars
Revision: 546278

upgpkg: haskell-tamarin-prover-term 1.4.1-37: rebuild with ansi-terminal 0.10.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2020-01-02 15:52:05 UTC (rev 546277)
+++ PKGBUILD2020-01-02 15:53:17 UTC (rev 546278)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=36
+pkgrel=37
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Monday, December 30, 2019 @ 09:44:40
  Author: felixonmars
Revision: 544284

upgpkg: haskell-tamarin-prover-term 1.4.1-36: rebuild with exceptions 0.10.4

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-12-30 09:43:25 UTC (rev 544283)
+++ PKGBUILD2019-12-30 09:44:40 UTC (rev 544284)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=35
+pkgrel=36
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Wednesday, December 25, 2019 @ 11:18:42
  Author: felixonmars
Revision: 540824

upgpkg: haskell-tamarin-prover-term 1.4.1-35: rebuild with tasty-hunit 0.10.0.2

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-12-25 11:17:25 UTC (rev 540823)
+++ PKGBUILD2019-12-25 11:18:42 UTC (rev 540824)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=34
+pkgrel=35
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Monday, December 23, 2019 @ 14:21:58
  Author: felixonmars
Revision: 539266

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-12-23 14:20:47 UTC (rev 539265)
+++ PKGBUILD2019-12-23 14:21:58 UTC (rev 539266)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=33
+pkgrel=34
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Friday, December 6, 2019 @ 18:04:07
  Author: felixonmars
Revision: 535919

upgpkg: haskell-tamarin-prover-term 1.4.1-33

rebuild with safe 0.3.18

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-12-06 18:03:02 UTC (rev 535918)
+++ PKGBUILD2019-12-06 18:04:07 UTC (rev 535919)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=32
+pkgrel=33
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

2019-11-21 Thread Felix Yan via arch-commits

Date: Thursday, November 21, 2019 @ 17:04:08
  Author: felixonmars
Revision: 531183

upgpkg: haskell-tamarin-prover-term 1.4.1-32

rebuild with pcre-light 0.4.1.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-11-21 17:02:43 UTC (rev 531182)
+++ PKGBUILD2019-11-21 17:04:08 UTC (rev 531183)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=31
+pkgrel=32
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Monday, September 2, 2019 @ 06:01:47
  Author: felixonmars
Revision: 506577

upgpkg: haskell-tamarin-prover-term 1.4.1-31

rebuild with exceptions 0.10.3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-09-02 06:00:44 UTC (rev 506576)
+++ PKGBUILD2019-09-02 06:01:47 UTC (rev 506577)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=30
+pkgrel=31
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Sunday, September 1, 2019 @ 09:50:44
  Author: felixonmars
Revision: 505960

upgpkg: haskell-tamarin-prover-term 1.4.1-30

rebuild with attoparsec 0.13.2.3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-09-01 09:49:33 UTC (rev 505959)
+++ PKGBUILD2019-09-01 09:50:44 UTC (rev 505960)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=29
+pkgrel=30
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Monday, August 26, 2019 @ 09:42:13
  Author: felixonmars
Revision: 502038

upgpkg: haskell-tamarin-prover-term 1.4.1-29

rebuild with call-stack 0.2.0

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-08-26 09:40:52 UTC (rev 502037)
+++ PKGBUILD2019-08-26 09:42:13 UTC (rev 502038)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=28
+pkgrel=29
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Tuesday, August 6, 2019 @ 13:55:38
  Author: felixonmars
Revision: 497770

upgpkg: haskell-tamarin-prover-term 1.4.1-28

rebuild with dlist 0.8.0.7

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-08-06 13:54:20 UTC (rev 497769)
+++ PKGBUILD2019-08-06 13:55:38 UTC (rev 497770)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=27
+pkgrel=28
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Wednesday, July 31, 2019 @ 17:59:54
  Author: felixonmars
Revision: 495768

upgpkg: haskell-tamarin-prover-term 1.4.1-27

rebuild with splitmix 0.0.3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-07-31 17:58:34 UTC (rev 495767)
+++ PKGBUILD2019-07-31 17:59:54 UTC (rev 495768)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=26
+pkgrel=27
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Saturday, July 27, 2019 @ 11:28:04
  Author: felixonmars
Revision: 493169

upgpkg: haskell-tamarin-prover-term 1.4.1-26

rebuild with silently 1.2.5.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-07-27 11:26:57 UTC (rev 493168)
+++ PKGBUILD2019-07-27 11:28:04 UTC (rev 493169)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=25
+pkgrel=26
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Wednesday, July 17, 2019 @ 17:07:34
  Author: felixonmars
Revision: 490355

upgpkg: haskell-tamarin-prover-term 1.4.1-25

rebuild with QuickCheck 2.13.2

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-07-17 17:06:18 UTC (rev 490354)
+++ PKGBUILD2019-07-17 17:07:34 UTC (rev 490355)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=24
+pkgrel=25
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Sunday, June 30, 2019 @ 17:17:36
  Author: felixonmars
Revision: 486416

upgpkg: haskell-tamarin-prover-term 1.4.1-24

rebuild with tasty 1.2.3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-06-30 17:16:34 UTC (rev 486415)
+++ PKGBUILD2019-06-30 17:17:36 UTC (rev 486416)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=23
+pkgrel=24
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Thursday, June 27, 2019 @ 08:15:47
  Author: felixonmars
Revision: 484795

upgpkg: haskell-tamarin-prover-term 1.4.1-23

rebuild with syb 0.7.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-06-27 08:14:45 UTC (rev 484794)
+++ PKGBUILD2019-06-27 08:15:47 UTC (rev 484795)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=22
+pkgrel=23
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Sunday, June 9, 2019 @ 00:40:28
  Author: felixonmars
Revision: 478508

upgpkg: haskell-tamarin-prover-term 1.4.1-22

rebuild with async 2.2.2

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-06-09 00:39:12 UTC (rev 478507)
+++ PKGBUILD2019-06-09 00:40:28 UTC (rev 478508)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=21
+pkgrel=22
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Thursday, May 30, 2019 @ 14:45:44
  Author: felixonmars
Revision: 474642

upgpkg: haskell-tamarin-prover-term 1.4.1-21

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

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-05-30 14:44:39 UTC (rev 474641)
+++ PKGBUILD2019-05-30 14:45:44 UTC (rev 474642)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=20
+pkgrel=21
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Tuesday, May 28, 2019 @ 22:39:33
  Author: felixonmars
Revision: 473211

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

rebuild with clock 0.8

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-05-28 22:38:30 UTC (rev 473210)
+++ PKGBUILD2019-05-28 22:39:33 UTC (rev 473211)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=19
+pkgrel=20
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Tuesday, May 28, 2019 @ 19:57:29
  Author: felixonmars
Revision: 473047

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

rebuild with clock 0.8

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-05-28 19:56:26 UTC (rev 473046)
+++ PKGBUILD2019-05-28 19:57:29 UTC (rev 473047)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=18
+pkgrel=19
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Monday, May 27, 2019 @ 17:23:43
  Author: felixonmars
Revision: 471714

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

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-term/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2019-05-27 17:22:22 UTC (rev 471713)
+++ PKGBUILD2019-05-27 17:23:43 UTC (rev 471714)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=17
+pkgrel=18
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Monday, May 27, 2019 @ 12:14:52
  Author: felixonmars
Revision: 471346

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

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-term/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2019-05-27 12:13:48 UTC (rev 471345)
+++ PKGBUILD2019-05-27 12:14:52 UTC (rev 471346)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=16
+pkgrel=17
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Wednesday, May 22, 2019 @ 20:32:07
  Author: felixonmars
Revision: 468683

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

rebuild with tasty-quickcheck 0.10.1

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-05-22 20:31:03 UTC (rev 468682)
+++ PKGBUILD2019-05-22 20:32:07 UTC (rev 468683)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=15
+pkgrel=16
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Sunday, May 12, 2019 @ 10:31:20
  Author: felixonmars
Revision: 466138

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

rebuild with transformers-compat 0.6.5

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-05-12 10:30:19 UTC (rev 466137)
+++ PKGBUILD2019-05-12 10:31:20 UTC (rev 466138)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=14
+pkgrel=15
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Wednesday, May 8, 2019 @ 22:49:17
  Author: felixonmars
Revision: 463484

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

rebuild with exceptions 0.10.2

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-05-08 22:48:15 UTC (rev 463483)
+++ PKGBUILD2019-05-08 22:49:17 UTC (rev 463484)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=13
+pkgrel=14
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Monday, May 6, 2019 @ 13:50:49
  Author: felixonmars
Revision: 460930

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

rebuild with colour 2.3.5

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-05-06 13:49:21 UTC (rev 460929)
+++ PKGBUILD2019-05-06 13:50:49 UTC (rev 460930)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=12
+pkgrel=13
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Friday, May 3, 2019 @ 02:55:40
  Author: felixonmars
Revision: 458093

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

rebuild with vector 0.12.0.3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-05-03 02:54:29 UTC (rev 458092)
+++ PKGBUILD2019-05-03 02:55:40 UTC (rev 458093)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=11
+pkgrel=12
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Saturday, April 27, 2019 @ 13:14:51
  Author: felixonmars
Revision: 454701

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

rebuild with ghc 8.6.5

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-04-27 13:14:46 UTC (rev 454700)
+++ PKGBUILD2019-04-27 13:14:51 UTC (rev 454701)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=10
+pkgrel=11
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Saturday, April 20, 2019 @ 21:37:34
  Author: felixonmars
Revision: 452437

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

rebuild with integer-logarithms 1.0.3

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-04-20 21:36:29 UTC (rev 452436)
+++ PKGBUILD2019-04-20 21:37:34 UTC (rev 452437)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=9
+pkgrel=10
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

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

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

Date: Thursday, April 4, 2019 @ 00:19:23
  Author: felixonmars
Revision: 448692

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

rebuild with transformers-compat 0.6.4

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

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

Modified: PKGBUILD
===
--- PKGBUILD2019-04-04 00:18:11 UTC (rev 448691)
+++ PKGBUILD2019-04-04 00:19:23 UTC (rev 448692)
@@ -4,7 +4,7 @@
 _hkgname=tamarin-prover-term
 pkgname=haskell-tamarin-prover-term
 pkgver=1.4.1
-pkgrel=8
+pkgrel=9
 pkgdesc="Term manipulation library for the tamarin prover"
 url="http://www.infsec.ethz.ch/research/software/tamarin;
 license=("GPL")

1 2 >

1 - 100 of 156 matches

Mail list logo