[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Tuesday, December 29, 2020 @ 10:47:41 Author: felixonmars Revision: 796802 upgpkg: haskell-tamarin-prover-theory 1.6.0-36: rebuild with tagged 0.8.6.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-12-29 10:45:15 UTC (rev 796801) +++ PKGBUILD2020-12-29 10:47:41 UTC (rev 796802) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.6.0 -pkgrel=35 +pkgrel=36 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Monday, December 28, 2020 @ 14:08:15 Author: felixonmars Revision: 794970 upgpkg: haskell-tamarin-prover-theory 1.6.0-35: rebuild with indexed-traversable 0.1.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-12-28 14:05:45 UTC (rev 794969) +++ PKGBUILD2020-12-28 14:08:15 UTC (rev 794970) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.6.0 -pkgrel=34 +pkgrel=35 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Saturday, December 26, 2020 @ 05:44:18 Author: felixonmars Revision: 792027 upgpkg: haskell-tamarin-prover-theory 1.6.0-34: rebuild with tasty-quickcheck 0.10.1.2 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-12-26 05:41:48 UTC (rev 792026) +++ PKGBUILD2020-12-26 05:44:18 UTC (rev 792027) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.6.0 -pkgrel=33 +pkgrel=34 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Friday, December 25, 2020 @ 04:02:31 Author: felixonmars Revision: 789565 upgpkg: haskell-tamarin-prover-theory 1.6.0-33: rebuild with comonad 5.0.7 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-12-25 03:58:37 UTC (rev 789564) +++ PKGBUILD2020-12-25 04:02:31 UTC (rev 789565) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.6.0 -pkgrel=32 +pkgrel=33 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Thursday, December 24, 2020 @ 14:40:16 Author: felixonmars Revision: 788174 upgpkg: haskell-tamarin-prover-theory 1.6.0-32: rebuild with base16-bytestring 1.0.1.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-12-24 14:39:05 UTC (rev 788173) +++ PKGBUILD2020-12-24 14:40:16 UTC (rev 788174) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.6.0 -pkgrel=31 +pkgrel=32 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Thursday, December 24, 2020 @ 13:05:00 Author: felixonmars Revision: 787206 upgpkg: haskell-tamarin-prover-theory 1.6.0-31: rebuild with ghc 8.10.3 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-12-24 13:03:31 UTC (rev 787205) +++ PKGBUILD2020-12-24 13:05:00 UTC (rev 787206) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.6.0 -pkgrel=30 +pkgrel=31 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Wednesday, December 23, 2020 @ 07:46:40 Author: felixonmars Revision: 783880 upgpkg: haskell-tamarin-prover-theory 1.6.0-30: rebuild with tasty-smallcheck 0.8.2 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-12-23 07:42:59 UTC (rev 783879) +++ PKGBUILD2020-12-23 07:46:40 UTC (rev 783880) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.6.0 -pkgrel=29 +pkgrel=30 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Monday, December 21, 2020 @ 21:00:34 Author: felixonmars Revision: 781564 upgpkg: haskell-tamarin-prover-theory 1.6.0-29: rebuild with tasty-hunit 0.10.0.3 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-12-21 20:58:39 UTC (rev 781563) +++ PKGBUILD2020-12-21 21:00:34 UTC (rev 781564) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.6.0 -pkgrel=28 +pkgrel=29 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Thursday, December 17, 2020 @ 22:38:17 Author: felixonmars Revision: 778213 upgpkg: haskell-tamarin-prover-theory 1.6.0-28: rebuild with th-abstraction 0.4.1.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-12-17 22:34:39 UTC (rev 778212) +++ PKGBUILD2020-12-17 22:38:17 UTC (rev 778213) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.6.0 -pkgrel=27 +pkgrel=28 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Tuesday, December 15, 2020 @ 18:57:30 Author: felixonmars Revision: 776074 upgpkg: haskell-tamarin-prover-theory 1.6.0-27: rebuild with base16-bytestring 1.0.0.0, casa-types 0.0.2 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-12-15 18:53:44 UTC (rev 776073) +++ PKGBUILD2020-12-15 18:57:30 UTC (rev 776074) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.6.0 -pkgrel=26 +pkgrel=27 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Sunday, December 13, 2020 @ 22:25:06 Author: felixonmars Revision: 774595 upgpkg: haskell-tamarin-prover-theory 1.6.0-26: rebuild with base-orphans 0.8.5 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-12-13 22:22:29 UTC (rev 774594) +++ PKGBUILD2020-12-13 22:25:06 UTC (rev 774595) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.6.0 -pkgrel=25 +pkgrel=26 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Monday, December 7, 2020 @ 22:05:12 Author: felixonmars Revision: 771636 upgpkg: haskell-tamarin-prover-theory 1.6.0-25: rebuild with strict 0.4.0.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-12-07 22:01:35 UTC (rev 771635) +++ PKGBUILD2020-12-07 22:05:12 UTC (rev 771636) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.6.0 -pkgrel=24 +pkgrel=25 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Saturday, December 5, 2020 @ 01:37:17 Author: felixonmars Revision: 770381 upgpkg: haskell-tamarin-prover-theory 1.6.0-24: rebuild with time-compat 1.9.5 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-12-05 01:32:56 UTC (rev 770380) +++ PKGBUILD2020-12-05 01:37:17 UTC (rev 770381) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.6.0 -pkgrel=23 +pkgrel=24 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Saturday, November 28, 2020 @ 18:56:03 Author: felixonmars Revision: 765440 upgpkg: haskell-tamarin-prover-theory 1.6.0-23: rebuild with unbounded-delays 0.1.1.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-11-28 18:52:25 UTC (rev 765439) +++ PKGBUILD2020-11-28 18:56:03 UTC (rev 765440) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.6.0 -pkgrel=22 +pkgrel=23 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Monday, November 23, 2020 @ 00:09:48 Author: felixonmars Revision: 759776 upgpkg: haskell-tamarin-prover-theory 1.6.0-22: rebuild with optparse-applicative 0.16.1.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-11-23 00:06:14 UTC (rev 759775) +++ PKGBUILD2020-11-23 00:09:48 UTC (rev 759776) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.6.0 -pkgrel=21 +pkgrel=22 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Friday, November 20, 2020 @ 23:27:59 Author: felixonmars Revision: 758236 upgpkg: haskell-tamarin-prover-theory 1.6.0-21: rebuild with base64-bytestring 1.2.0.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-11-20 23:24:24 UTC (rev 758235) +++ PKGBUILD2020-11-20 23:27:59 UTC (rev 758236) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.6.0 -pkgrel=20 +pkgrel=21 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Monday, November 16, 2020 @ 17:45:19 Author: felixonmars Revision: 755447 upgpkg: haskell-tamarin-prover-theory 1.6.0-20: rebuild with QuickCheck 2.14.2, quickcheck-instances 0.3.25.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-11-16 17:41:22 UTC (rev 755446) +++ PKGBUILD2020-11-16 17:45:19 UTC (rev 755447) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.6.0 -pkgrel=19 +pkgrel=20 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Sunday, November 8, 2020 @ 12:59:17 Author: felixonmars Revision: 746548 upgpkg: haskell-tamarin-prover-theory 1.6.0-19: rebuild with uniplate 1.6.13 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-11-08 12:56:13 UTC (rev 746547) +++ PKGBUILD2020-11-08 12:59:17 UTC (rev 746548) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.6.0 -pkgrel=18 +pkgrel=19 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Saturday, November 7, 2020 @ 14:20:17 Author: felixonmars Revision: 745792 upgpkg: haskell-tamarin-prover-theory 1.6.0-18: rebuild with integer-logarithms 1.0.3.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-11-07 14:14:53 UTC (rev 745791) +++ PKGBUILD2020-11-07 14:20:17 UTC (rev 745792) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.6.0 -pkgrel=17 +pkgrel=18 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Friday, November 6, 2020 @ 13:46:21 Author: felixonmars Revision: 744284 upgpkg: haskell-tamarin-prover-theory 1.6.0-17: rebuild with splitmix 0.1.0.3 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-11-06 13:43:47 UTC (rev 744283) +++ PKGBUILD2020-11-06 13:46:21 UTC (rev 744284) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.6.0 -pkgrel=16 +pkgrel=17 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Wednesday, November 4, 2020 @ 18:03:57 Author: felixonmars Revision: 742480 upgpkg: haskell-tamarin-prover-theory 1.6.0-16: rebuild with quickcheck-instances 0.3.25 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-11-04 18:00:40 UTC (rev 742479) +++ PKGBUILD2020-11-04 18:03:57 UTC (rev 742480) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.6.0 -pkgrel=15 +pkgrel=16 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Wednesday, November 4, 2020 @ 08:22:26 Author: felixonmars Revision: 741707 upgpkg: haskell-tamarin-prover-theory 1.6.0-15: rebuild with time-compat 1.9.4 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-11-04 08:21:23 UTC (rev 741706) +++ PKGBUILD2020-11-04 08:22:26 UTC (rev 741707) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.6.0 -pkgrel=14 +pkgrel=15 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Monday, November 2, 2020 @ 17:10:08 Author: felixonmars Revision: 739973 upgpkg: haskell-tamarin-prover-theory 1.6.0-14: rebuild with HUnit 1.6.1.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-11-02 17:06:11 UTC (rev 739972) +++ PKGBUILD2020-11-02 17:10:08 UTC (rev 739973) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.6.0 -pkgrel=13 +pkgrel=14 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Saturday, October 31, 2020 @ 14:18:34 Author: felixonmars Revision: 737716 upgpkg: haskell-tamarin-prover-theory 1.6.0-13: rebuild with unliftio 0.2.13.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-10-31 14:15:40 UTC (rev 737715) +++ PKGBUILD2020-10-31 14:18:34 UTC (rev 737716) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.6.0 -pkgrel=12 +pkgrel=13 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Wednesday, October 28, 2020 @ 09:33:27 Author: felixonmars Revision: 735305 upgpkg: haskell-tamarin-prover-theory 1.6.0-12: rebuild with optparse-applicative 0.16.0.0, optparse-generic 1.4.3, turtle 1.5.21 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-10-28 09:30:39 UTC (rev 735304) +++ PKGBUILD2020-10-28 09:33:27 UTC (rev 735305) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.6.0 -pkgrel=11 +pkgrel=12 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Sunday, October 25, 2020 @ 20:53:15 Author: felixonmars Revision: 732985 upgpkg: haskell-tamarin-prover-theory 1.6.0-11: rebuild with bifunctors 5.5.8 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-10-25 20:50:44 UTC (rev 732984) +++ PKGBUILD2020-10-25 20:53:15 UTC (rev 732985) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.6.0 -pkgrel=10 +pkgrel=11 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Friday, October 23, 2020 @ 20:33:41 Author: felixonmars Revision: 730830 upgpkg: haskell-tamarin-prover-theory 1.6.0-10: rebuild with generic-deriving 1.14 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-10-23 20:32:47 UTC (rev 730829) +++ PKGBUILD2020-10-23 20:33:41 UTC (rev 730830) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.6.0 -pkgrel=9 +pkgrel=10 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Wednesday, October 21, 2020 @ 23:51:53 Author: felixonmars Revision: 728614 upgpkg: haskell-tamarin-prover-theory 1.6.0-9: rebuild with splitmix 0.1.0.2 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-10-21 23:48:33 UTC (rev 728613) +++ PKGBUILD2020-10-21 23:51:53 UTC (rev 728614) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.6.0 -pkgrel=8 +pkgrel=9 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Saturday, October 17, 2020 @ 10:52:26 Author: felixonmars Revision: 725358 upgpkg: haskell-tamarin-prover-theory 1.6.0-8: rebuild with th-abstraction 0.4.0.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-10-17 10:43:19 UTC (rev 725357) +++ PKGBUILD2020-10-17 10:52:26 UTC (rev 725358) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.6.0 -pkgrel=7 +pkgrel=8 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Friday, October 9, 2020 @ 19:11:46 Author: felixonmars Revision: 722744 upgpkg: haskell-tamarin-prover-theory 1.6.0-7: rebuild with unordered-containers 0.2.13.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-10-09 19:09:17 UTC (rev 722743) +++ PKGBUILD2020-10-09 19:11:46 UTC (rev 722744) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.6.0 -pkgrel=6 +pkgrel=7 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Wednesday, October 7, 2020 @ 11:01:52 Author: felixonmars Revision: 720327 upgpkg: haskell-tamarin-prover-theory 1.6.0-6: rebuild with base-compat 0.11.2, base-compat-batteries 0.11.2 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-10-07 11:01:34 UTC (rev 720326) +++ PKGBUILD2020-10-07 11:01:52 UTC (rev 720327) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.6.0 -pkgrel=5 +pkgrel=6 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Monday, October 5, 2020 @ 07:23:41 Author: felixonmars Revision: 718710 upgpkg: haskell-tamarin-prover-theory 1.6.0-5: rebuild with aeson 1.5.4.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-10-05 07:21:08 UTC (rev 718709) +++ PKGBUILD2020-10-05 07:23:41 UTC (rev 718710) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.6.0 -pkgrel=4 +pkgrel=5 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Sunday, October 4, 2020 @ 07:32:37 Author: felixonmars Revision: 717337 upgpkg: haskell-tamarin-prover-theory 1.6.0-4: rebuild with transformers-compat 0.6.6 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-10-04 07:30:15 UTC (rev 717336) +++ PKGBUILD2020-10-04 07:32:37 UTC (rev 717337) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.6.0 -pkgrel=3 +pkgrel=4 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Friday, October 2, 2020 @ 07:30:49 Author: felixonmars Revision: 715099 upgpkg: haskell-tamarin-prover-theory 1.6.0-3: rebuild with base-orphans 0.8.3 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-10-02 07:30:15 UTC (rev 715098) +++ PKGBUILD2020-10-02 07:30:49 UTC (rev 715099) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.6.0 -pkgrel=2 +pkgrel=3 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Thursday, September 17, 2020 @ 21:57:25 Author: felixonmars Revision: 709478 upgpkg: haskell-tamarin-prover-theory 1.6.0-2: rebuild with hspec 2.7.4, hspec-core 2.7.4, hspec-discover 2.7.4 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-09-17 21:54:48 UTC (rev 709477) +++ PKGBUILD2020-09-17 21:57:25 UTC (rev 709478) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.6.0 -pkgrel=1 +pkgrel=2 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Wednesday, September 16, 2020 @ 14:46:35 Author: felixonmars Revision: 708074 upgpkg: haskell-tamarin-prover-theory 1.6.0-1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD | 15 +++ 1 file changed, 7 insertions(+), 8 deletions(-) Modified: PKGBUILD === --- PKGBUILD2020-09-16 14:41:32 UTC (rev 708073) +++ PKGBUILD2020-09-16 14:46:35 UTC (rev 708074) @@ -3,27 +3,26 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory -pkgver=1.4.1 -pkgrel=119 +pkgver=1.6.0 +pkgrel=1 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL") arch=('x86_64') depends=('ghc-libs' 'haskell-aeson' 'haskell-aeson-pretty' 'haskell-dlist' 'haskell-fclabels' - 'haskell-parallel' 'haskell-safe' - 'haskell-uniplate' 'haskell-tamarin-prover-utils' 'haskell-tamarin-prover-term') + 'haskell-parallel' 'haskell-safe' 'haskell-uniplate' 'haskell-tamarin-prover-utils' + 'haskell-tamarin-prover-term') makedepends=('ghc') source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz";) -sha512sums=('4d3aeae02be5d430bff6c55d78656e3c9a648674d235bfeb36ce227a39abd3054a132b99ff8040abf05d8e26506fe85d21ecfb6fce73062dd45b5ba98d941144') +sha512sums=('7f3569f740d63d715b92a8f073eaecb8b32efe59b910b246977d36bb9e873765440e72feb6e76c7cbafab0495b88cfc666bb1dd12f685627c60d5cbd97b2973e') build() { -cd "${srcdir}/tamarin-prover-${pkgver}/lib/theory" +cd tamarin-prover-$pkgver/lib/theory runhaskell Setup configure -O --enable-shared --enable-executable-dynamic --disable-library-vanilla \ --prefix=/usr --docdir=/usr/share/doc/$pkgname \ --dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid runhaskell Setup build $MAKEFLAGS -# haddock failed to generate runhaskell Setup register --gen-script runhaskell Setup unregister --gen-script sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh @@ -31,7 +30,7 @@ } package() { -cd "${srcdir}/tamarin-prover-${pkgver}/lib/theory" +cd tamarin-prover-$pkgver/lib/theory install -D -m744 register.sh "$pkgdir"/usr/share/haskell/register/$pkgname.sh install -D -m744 unregister.sh "$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Monday, September 14, 2020 @ 21:50:51 Author: felixonmars Revision: 706756 upgpkg: haskell-tamarin-prover-theory 1.4.1-119: rebuild with quickcheck-classes-base 0.6.1.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-09-14 21:48:49 UTC (rev 706755) +++ PKGBUILD2020-09-14 21:50:51 UTC (rev 706756) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=118 +pkgrel=119 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Saturday, September 12, 2020 @ 18:35:54 Author: felixonmars Revision: 704568 upgpkg: haskell-tamarin-prover-theory 1.4.1-118: rebuild with ansi-terminal 0.11 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-09-12 18:33:48 UTC (rev 704567) +++ PKGBUILD2020-09-12 18:35:54 UTC (rev 704568) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=117 +pkgrel=118 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Thursday, September 10, 2020 @ 21:30:12 Author: felixonmars Revision: 702425 upgpkg: haskell-tamarin-prover-theory 1.4.1-117: rebuild with mwc-random 0.15.0.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-09-10 21:27:20 UTC (rev 702424) +++ PKGBUILD2020-09-10 21:30:12 UTC (rev 702425) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=116 +pkgrel=117 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Monday, September 7, 2020 @ 16:00:43 Author: felixonmars Revision: 700020 upgpkg: haskell-tamarin-prover-theory 1.4.1-116: rebuild with hspec 2.7.3, hspec-core 2.7.3, hspec-discover 2.7.3 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-09-07 15:57:30 UTC (rev 700019) +++ PKGBUILD2020-09-07 16:00:43 UTC (rev 700020) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=115 +pkgrel=116 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Wednesday, September 2, 2020 @ 21:53:59 Author: felixonmars Revision: 697153 upgpkg: haskell-tamarin-prover-theory 1.4.1-115: rebuild with mwc-random 0.15.0.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-09-02 21:50:37 UTC (rev 697152) +++ PKGBUILD2020-09-02 21:53:59 UTC (rev 697153) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=114 +pkgrel=115 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Tuesday, September 1, 2020 @ 19:39:32 Author: felixonmars Revision: 695895 upgpkg: haskell-tamarin-prover-theory 1.4.1-114: rebuild with aeson 1.5.4.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-09-01 19:36:15 UTC (rev 695894) +++ PKGBUILD2020-09-01 19:39:32 UTC (rev 695895) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=113 +pkgrel=114 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Monday, August 31, 2020 @ 07:15:27 Author: felixonmars Revision: 693843 upgpkg: haskell-tamarin-prover-theory 1.4.1-113: rebuild with happy 1.20.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-08-31 07:12:31 UTC (rev 693842) +++ PKGBUILD2020-08-31 07:15:27 UTC (rev 693843) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=112 +pkgrel=113 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Friday, August 28, 2020 @ 13:40:49 Author: felixonmars Revision: 690914 upgpkg: haskell-tamarin-prover-theory 1.4.1-112: rebuild with logict 0.7.0.3 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-08-28 13:37:56 UTC (rev 690913) +++ PKGBUILD2020-08-28 13:40:49 UTC (rev 690914) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=111 +pkgrel=112 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Tuesday, August 25, 2020 @ 17:26:43 Author: felixonmars Revision: 688556 upgpkg: haskell-tamarin-prover-theory 1.4.1-111: rebuild with random 1.2.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-08-25 17:23:26 UTC (rev 688555) +++ PKGBUILD2020-08-25 17:26:43 UTC (rev 688556) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=110 +pkgrel=111 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Sunday, August 23, 2020 @ 07:32:49 Author: felixonmars Revision: 686948 upgpkg: haskell-tamarin-prover-theory 1.4.1-110: rebuild with base64-bytestring 1.2.0.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-08-23 07:30:12 UTC (rev 686947) +++ PKGBUILD2020-08-23 07:32:49 UTC (rev 686948) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=109 +pkgrel=110 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Friday, August 21, 2020 @ 08:49:31 Author: felixonmars Revision: 685835 upgpkg: haskell-tamarin-prover-theory 1.4.1-109: rebuild with dlist 1.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-08-21 08:45:55 UTC (rev 685834) +++ PKGBUILD2020-08-21 08:49:31 UTC (rev 685835) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=108 +pkgrel=109 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Monday, August 17, 2020 @ 22:30:55 Author: felixonmars Revision: 683433 upgpkg: haskell-tamarin-prover-theory 1.4.1-108: rebuild with ghc 8.10.2 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-08-17 22:26:58 UTC (rev 683432) +++ PKGBUILD2020-08-17 22:30:55 UTC (rev 683433) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=107 +pkgrel=108 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Sunday, August 16, 2020 @ 00:38:48 Author: felixonmars Revision: 680434 upgpkg: haskell-tamarin-prover-theory 1.4.1-107: rebuild with math-functions 0.3.4.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-08-16 00:34:52 UTC (rev 680433) +++ PKGBUILD2020-08-16 00:38:48 UTC (rev 680434) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=106 +pkgrel=107 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Friday, August 14, 2020 @ 22:19:12 Author: felixonmars Revision: 679342 upgpkg: haskell-tamarin-prover-theory 1.4.1-106: rebuild with aeson 1.5.3.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-08-14 22:16:24 UTC (rev 679341) +++ PKGBUILD2020-08-14 22:19:12 UTC (rev 679342) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=105 +pkgrel=106 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Thursday, August 13, 2020 @ 19:47:37 Author: felixonmars Revision: 677973 upgpkg: haskell-tamarin-prover-theory 1.4.1-105: rebuild with hspec 2.7.2, hspec-core 2.7.2, hspec-discover 2.7.2 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-08-13 19:40:29 UTC (rev 677972) +++ PKGBUILD2020-08-13 19:47:37 UTC (rev 677973) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=104 +pkgrel=105 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Wednesday, August 12, 2020 @ 20:44:02 Author: felixonmars Revision: 676742 upgpkg: haskell-tamarin-prover-theory 1.4.1-104: rebuild with quickcheck-instances 0.3.24 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-08-12 20:44:01 UTC (rev 676741) +++ PKGBUILD2020-08-12 20:44:02 UTC (rev 676742) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=103 +pkgrel=104 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Tuesday, August 11, 2020 @ 23:52:14 Author: felixonmars Revision: 675247 upgpkg: haskell-tamarin-prover-theory 1.4.1-103: rebuild with splitmix 0.1.0.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-08-11 23:49:23 UTC (rev 675246) +++ PKGBUILD2020-08-11 23:52:14 UTC (rev 675247) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=102 +pkgrel=103 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Monday, August 10, 2020 @ 17:23:36 Author: felixonmars Revision: 673945 upgpkg: haskell-tamarin-prover-theory 1.4.1-102: rebuild with optics-th 0.3.0.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-08-10 17:20:41 UTC (rev 673944) +++ PKGBUILD2020-08-10 17:23:36 UTC (rev 673945) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=101 +pkgrel=102 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Saturday, August 8, 2020 @ 13:27:42 Author: felixonmars Revision: 672362 upgpkg: haskell-tamarin-prover-theory 1.4.1-101: rebuild with these 1.1.1.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-08-08 13:24:49 UTC (rev 672361) +++ PKGBUILD2020-08-08 13:27:42 UTC (rev 672362) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=100 +pkgrel=101 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Wednesday, August 5, 2020 @ 12:50:20 Author: felixonmars Revision: 669425 upgpkg: haskell-tamarin-prover-theory 1.4.1-100: rebuild with unordered-containers 0.2.12.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-08-05 12:47:27 UTC (rev 669424) +++ PKGBUILD2020-08-05 12:50:20 UTC (rev 669425) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=99 +pkgrel=100 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Monday, August 3, 2020 @ 10:43:53 Author: felixonmars Revision: 668182 upgpkg: haskell-tamarin-prover-theory 1.4.1-99: rebuild with these 1.1.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-08-03 10:40:49 UTC (rev 668181) +++ PKGBUILD2020-08-03 10:43:53 UTC (rev 668182) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=98 +pkgrel=99 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Saturday, August 1, 2020 @ 01:49:44 Author: felixonmars Revision: 666998 upgpkg: haskell-tamarin-prover-theory 1.4.1-98: rebuild with QuickCheck 2.14.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-08-01 01:45:58 UTC (rev 666997) +++ PKGBUILD2020-08-01 01:49:44 UTC (rev 666998) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=97 +pkgrel=98 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Monday, June 29, 2020 @ 08:01:00 Author: felixonmars Revision: 655875 upgpkg: haskell-tamarin-prover-theory 1.4.1-97: rebuild with primitive 0.7.1.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-06-29 07:58:14 UTC (rev 655874) +++ PKGBUILD2020-06-29 08:01:00 UTC (rev 655875) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=96 +pkgrel=97 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Friday, June 26, 2020 @ 19:11:13 Author: felixonmars Revision: 654412 upgpkg: haskell-tamarin-prover-theory 1.4.1-96: rebuild with ChasingBottoms 1.3.1.9 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-06-26 19:08:12 UTC (rev 654411) +++ PKGBUILD2020-06-26 19:11:13 UTC (rev 654412) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=95 +pkgrel=96 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Wednesday, June 24, 2020 @ 08:44:43 Author: felixonmars Revision: 652096 upgpkg: haskell-tamarin-prover-theory 1.4.1-95: rebuild with splitmix 0.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-06-24 08:41:44 UTC (rev 652095) +++ PKGBUILD2020-06-24 08:44:43 UTC (rev 652096) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=94 +pkgrel=95 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Saturday, June 20, 2020 @ 11:02:36 Author: felixonmars Revision: 648292 upgpkg: haskell-tamarin-prover-theory 1.4.1-94: rebuild with base16-bytestring 0.1.1.7 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-06-20 10:59:40 UTC (rev 648291) +++ PKGBUILD2020-06-20 11:02:36 UTC (rev 648292) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=93 +pkgrel=94 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Wednesday, June 17, 2020 @ 21:06:14 Author: felixonmars Revision: 646686 upgpkg: haskell-tamarin-prover-theory 1.4.1-93: rebuild with unordered-containers 0.2.11.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-06-17 21:03:19 UTC (rev 646685) +++ PKGBUILD2020-06-17 21:06:14 UTC (rev 646686) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=92 +pkgrel=93 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Monday, June 15, 2020 @ 11:19:59 Author: felixonmars Revision: 644981 upgpkg: haskell-tamarin-prover-theory 1.4.1-92: rebuild with aeson 1.5.2.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-06-15 11:17:47 UTC (rev 644980) +++ PKGBUILD2020-06-15 11:19:59 UTC (rev 644981) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=91 +pkgrel=92 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Sunday, June 14, 2020 @ 01:37:28 Author: felixonmars Revision: 643638 upgpkg: haskell-tamarin-prover-theory 1.4.1-91: rebuild with splitmix 0.0.5 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-06-14 01:34:14 UTC (rev 643637) +++ PKGBUILD2020-06-14 01:37:28 UTC (rev 643638) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=90 +pkgrel=91 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Saturday, June 6, 2020 @ 10:38:22 Author: felixonmars Revision: 639405 upgpkg: haskell-tamarin-prover-theory 1.4.1-90: rebuild with tasty-golden 2.3.4 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-06-06 10:35:12 UTC (rev 639404) +++ PKGBUILD2020-06-06 10:38:22 UTC (rev 639405) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=89 +pkgrel=90 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Thursday, May 28, 2020 @ 19:55:22 Author: felixonmars Revision: 636644 upgpkg: haskell-tamarin-prover-theory 1.4.1-89: rebuild with aeson 1.5.1.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-05-28 19:53:08 UTC (rev 636643) +++ PKGBUILD2020-05-28 19:55:22 UTC (rev 636644) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=88 +pkgrel=89 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Tuesday, May 26, 2020 @ 21:26:31 Author: felixonmars Revision: 635415 upgpkg: haskell-tamarin-prover-theory 1.4.1-88: rebuild with quickcheck-instances 0.3.23 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-05-26 21:24:02 UTC (rev 635414) +++ PKGBUILD2020-05-26 21:26:31 UTC (rev 635415) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=87 +pkgrel=88 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Monday, May 25, 2020 @ 13:59:10 Author: felixonmars Revision: 634359 upgpkg: haskell-tamarin-prover-theory 1.4.1-87: rebuild with aeson 1.5.0.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-05-25 13:59:01 UTC (rev 634358) +++ PKGBUILD2020-05-25 13:59:10 UTC (rev 634359) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=86 +pkgrel=87 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Monday, May 25, 2020 @ 03:59:22 Author: felixonmars Revision: 633746 upgpkg: haskell-tamarin-prover-theory 1.4.1-86: rebuild with safe 0.3.19 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-05-25 03:44:12 UTC (rev 633745) +++ PKGBUILD2020-05-25 03:59:22 UTC (rev 633746) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=85 +pkgrel=86 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Saturday, May 23, 2020 @ 18:52:13 Author: felixonmars Revision: 632434 upgpkg: haskell-tamarin-prover-theory 1.4.1-85: rebuild with tasty 1.3.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-05-23 18:48:43 UTC (rev 632433) +++ PKGBUILD2020-05-23 18:52:13 UTC (rev 632434) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=84 +pkgrel=85 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Saturday, May 23, 2020 @ 02:20:56 Author: felixonmars Revision: 631761 upgpkg: haskell-tamarin-prover-theory 1.4.1-84: rebuild with fclabels 2.0.5 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-05-23 02:02:48 UTC (rev 631760) +++ PKGBUILD2020-05-23 02:20:56 UTC (rev 631761) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=83 +pkgrel=84 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Wednesday, May 20, 2020 @ 16:05:10 Author: felixonmars Revision: 630861 upgpkg: haskell-tamarin-prover-theory 1.4.1-83: rebuild with fclabels 2.0.4 (with correct patch for template-haskell 2.16) Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD === --- PKGBUILD2020-05-20 16:02:15 UTC (rev 630860) +++ PKGBUILD2020-05-20 16:05:10 UTC (rev 630861) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=82 +pkgrel=83 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL") @@ -22,7 +22,7 @@ runhaskell Setup configure -O --enable-shared --enable-executable-dynamic --disable-library-vanilla \ --prefix=/usr --docdir=/usr/share/doc/$pkgname \ --dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid -runhaskell Setup build +runhaskell Setup build $MAKEFLAGS # haddock failed to generate runhaskell Setup register --gen-script runhaskell Setup unregister --gen-script
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Tuesday, May 19, 2020 @ 18:54:02 Author: felixonmars Revision: 630043 upgpkg: haskell-tamarin-prover-theory 1.4.1-82: rebuild with tasty-golden 2.3.3.3 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-05-19 18:51:19 UTC (rev 630042) +++ PKGBUILD2020-05-19 18:54:02 UTC (rev 630043) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=81 +pkgrel=82 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Tuesday, May 12, 2020 @ 17:47:38 Author: felixonmars Revision: 627088 upgpkg: haskell-tamarin-prover-theory 1.4.1-81: rebuild with tasty 1.3 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-05-12 17:44:02 UTC (rev 627087) +++ PKGBUILD2020-05-12 17:47:38 UTC (rev 627088) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=80 +pkgrel=81 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Friday, May 1, 2020 @ 12:38:42 Author: felixonmars Revision: 623806 upgpkg: haskell-tamarin-prover-theory 1.4.1-80: rebuild with tasty-golden 2.3.3.2 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-05-01 12:38:26 UTC (rev 623805) +++ PKGBUILD2020-05-01 12:38:42 UTC (rev 623806) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=79 +pkgrel=80 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Thursday, April 30, 2020 @ 10:32:50 Author: felixonmars Revision: 622438 upgpkg: haskell-tamarin-prover-theory 1.4.1-79 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-04-30 10:24:31 UTC (rev 622437) +++ PKGBUILD2020-04-30 10:32:50 UTC (rev 622438) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=78 +pkgrel=79 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Tuesday, April 14, 2020 @ 22:40:51 Author: felixonmars Revision: 614361 upgpkg: haskell-tamarin-prover-theory 1.4.1-78: rebuild with warp tasty-golden 2.3.3.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-04-14 22:38:07 UTC (rev 614360) +++ PKGBUILD2020-04-14 22:40:51 UTC (rev 614361) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=77 +pkgrel=78 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Friday, April 3, 2020 @ 15:28:13 Author: felixonmars Revision: 610840 upgpkg: haskell-tamarin-prover-theory 1.4.1-77: rebuild with dlist 0.8.0.8 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-04-03 15:25:14 UTC (rev 610839) +++ PKGBUILD2020-04-03 15:28:13 UTC (rev 610840) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=76 +pkgrel=77 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Wednesday, April 1, 2020 @ 16:10:01 Author: felixonmars Revision: 608990 upgpkg: haskell-tamarin-prover-theory 1.4.1-76: rebuild with QuickCheck 2.14 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-04-01 16:07:49 UTC (rev 608989) +++ PKGBUILD2020-04-01 16:10:01 UTC (rev 608990) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=75 +pkgrel=76 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Sunday, March 29, 2020 @ 19:44:06 Author: felixonmars Revision: 606416 upgpkg: haskell-tamarin-prover-theory 1.4.1-75: rebuild with ChasingBottoms 1.3.1.8 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-03-29 19:41:24 UTC (rev 606415) +++ PKGBUILD2020-03-29 19:44:06 UTC (rev 606416) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=74 +pkgrel=75 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Saturday, March 28, 2020 @ 16:08:39 Author: felixonmars Revision: 605275 upgpkg: haskell-tamarin-prover-theory 1.4.1-74: rebuild with attoparsec 0.13.2.4 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-03-28 16:08:32 UTC (rev 605274) +++ PKGBUILD2020-03-28 16:08:39 UTC (rev 605275) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=73 +pkgrel=74 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Thursday, March 26, 2020 @ 20:18:50 Author: felixonmars Revision: 604642 upgpkg: haskell-tamarin-prover-theory 1.4.1-73: rebuild with aeson 1.4.7.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-03-26 20:16:04 UTC (rev 604641) +++ PKGBUILD2020-03-26 20:18:50 UTC (rev 604642) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=72 +pkgrel=73 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Friday, March 20, 2020 @ 13:03:10 Author: felixonmars Revision: 601605 upgpkg: haskell-tamarin-prover-theory 1.4.1-72: rebuild with aeson 1.4.7.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-03-20 13:02:20 UTC (rev 601604) +++ PKGBUILD2020-03-20 13:03:10 UTC (rev 601605) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=71 +pkgrel=72 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Sunday, March 15, 2020 @ 20:36:57 Author: felixonmars Revision: 598537 upgpkg: haskell-tamarin-prover-theory 1.4.1-71: rebuild with hashable 1.3.0.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-03-15 20:34:20 UTC (rev 598536) +++ PKGBUILD2020-03-15 20:36:57 UTC (rev 598537) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=70 +pkgrel=71 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Friday, March 13, 2020 @ 23:41:57 Author: felixonmars Revision: 596467 upgpkg: haskell-tamarin-prover-theory 1.4.1-70: rebuild with time-compat 1.9.3 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-03-13 23:39:22 UTC (rev 596466) +++ PKGBUILD2020-03-13 23:41:57 UTC (rev 596467) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=69 +pkgrel=70 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Thursday, March 12, 2020 @ 02:04:20 Author: felixonmars Revision: 594924 upgpkg: haskell-tamarin-prover-theory 1.4.1-69: rebuild with generic-deriving 1.13.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-03-12 02:01:35 UTC (rev 594923) +++ PKGBUILD2020-03-12 02:04:20 UTC (rev 594924) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=68 +pkgrel=69 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Sunday, March 8, 2020 @ 21:46:28 Author: felixonmars Revision: 592559 upgpkg: haskell-tamarin-prover-theory 1.4.1-68: rebuild with generic-deriving 1.13 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-03-08 21:43:36 UTC (rev 592558) +++ PKGBUILD2020-03-08 21:46:28 UTC (rev 592559) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=67 +pkgrel=68 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Sunday, March 1, 2020 @ 21:39:06 Author: felixonmars Revision: 588261 upgpkg: haskell-tamarin-prover-theory 1.4.1-67: rebuild with primitive 0.7.0.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-03-01 21:35:59 UTC (rev 588260) +++ PKGBUILD2020-03-01 21:39:06 UTC (rev 588261) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=66 +pkgrel=67 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Thursday, February 27, 2020 @ 18:12:37 Author: felixonmars Revision: 584554 upgpkg: haskell-tamarin-prover-theory 1.4.1-66: rebuild with ghc 8.8.3 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-02-27 18:09:35 UTC (rev 584553) +++ PKGBUILD2020-02-27 18:12:37 UTC (rev 584554) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=65 +pkgrel=66 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Tuesday, February 25, 2020 @ 19:57:22 Author: felixonmars Revision: 581973 upgpkg: haskell-tamarin-prover-theory 1.4.1-65: rebuild with splitmix 0.0.4 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-02-25 19:56:49 UTC (rev 581972) +++ PKGBUILD2020-02-25 19:57:22 UTC (rev 581973) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=64 +pkgrel=65 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Sunday, February 23, 2020 @ 17:26:10 Author: felixonmars Revision: 579895 upgpkg: haskell-tamarin-prover-theory 1.4.1-64: rebuild with split 0.2.3.4 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-02-23 17:23:11 UTC (rev 579894) +++ PKGBUILD2020-02-23 17:26:10 UTC (rev 579895) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=63 +pkgrel=64 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Friday, February 21, 2020 @ 15:56:06 Author: felixonmars Revision: 577679 upgpkg: haskell-tamarin-prover-theory 1.4.1-63: rebuild with tasty-golden 2.3.3 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD === --- PKGBUILD2020-02-21 15:53:13 UTC (rev 577678) +++ PKGBUILD2020-02-21 15:56:06 UTC (rev 577679) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=62 +pkgrel=63 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL") @@ -36,5 +36,5 @@ install -D -m744 register.sh "$pkgdir"/usr/share/haskell/register/$pkgname.sh install -D -m744 unregister.sh "$pkgdir"/usr/share/haskell/unregister/$pkgname.sh runhaskell Setup copy --destdir="$pkgdir" -rm -f "${pkgdir}/usr/share/doc/${pkgname}/LICENSE" +rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE }
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Monday, February 17, 2020 @ 16:38:13 Author: felixonmars Revision: 574374 upgpkg: haskell-tamarin-prover-theory 1.4.1-62: rebuild with tasty-golden 2.3.2.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-02-17 16:35:20 UTC (rev 574373) +++ PKGBUILD2020-02-17 16:38:13 UTC (rev 574374) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=61 +pkgrel=62 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Sunday, February 16, 2020 @ 11:32:24 Author: felixonmars Revision: 572339 upgpkg: haskell-tamarin-prover-theory 1.4.1-61: rebuild with ghc 8.8.2 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-02-16 11:32:07 UTC (rev 572338) +++ PKGBUILD2020-02-16 11:32:24 UTC (rev 572339) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=60 +pkgrel=61 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Tuesday, February 11, 2020 @ 09:18:58 Author: felixonmars Revision: 566870 upgpkg: haskell-tamarin-prover-theory 1.4.1-60: rebuild with ansi-terminal 0.10.3 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-02-11 09:15:58 UTC (rev 566869) +++ PKGBUILD2020-02-11 09:18:58 UTC (rev 566870) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=59 +pkgrel=60 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Monday, February 10, 2020 @ 06:44:38 Author: felixonmars Revision: 565656 upgpkg: haskell-tamarin-prover-theory 1.4.1-59: rebuild with tasty-quickcheck 0.10.1.1 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-02-10 06:41:25 UTC (rev 565655) +++ PKGBUILD2020-02-10 06:44:38 UTC (rev 565656) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=58 +pkgrel=59 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Saturday, February 8, 2020 @ 18:22:55 Author: felixonmars Revision: 564820 upgpkg: haskell-tamarin-prover-theory 1.4.1-58: rebuild with th-abstraction 0.3.2.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-02-08 18:19:10 UTC (rev 564819) +++ PKGBUILD2020-02-08 18:22:55 UTC (rev 564820) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=57 +pkgrel=58 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Wednesday, February 5, 2020 @ 19:13:16 Author: felixonmars Revision: 563399 upgpkg: haskell-tamarin-prover-theory 1.4.1-57: rebuild with vector 0.12.1.0 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-02-05 19:13:06 UTC (rev 563398) +++ PKGBUILD2020-02-05 19:13:16 UTC (rev 563399) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=56 +pkgrel=57 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")
[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD)
Date: Saturday, February 1, 2020 @ 19:28:16 Author: felixonmars Revision: 561112 upgpkg: haskell-tamarin-prover-theory 1.4.1-56: rebuild with fclabels 2.0.4 Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD2020-02-01 19:25:08 UTC (rev 56) +++ PKGBUILD2020-02-01 19:28:16 UTC (rev 561112) @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.4.1 -pkgrel=55 +pkgrel=56 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL")