Date: Tuesday, December 29, 2020 @ 02:06:24
Author: felixonmars
Revision: 796408
upgpkg: haskell-tamarin-prover-utils 1.6.0-25: rebuild with tagged 0.8.6.1
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Monday, December 28, 2020 @ 01:38:37
Author: felixonmars
Revision: 794229
upgpkg: haskell-tamarin-prover-utils 1.6.0-24: rebuild with indexed-traversable
0.1.1
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Saturday, December 26, 2020 @ 03:10:24
Author: felixonmars
Revision: 791725
upgpkg: haskell-tamarin-prover-utils 1.6.0-23: rebuild with tasty-quickcheck
0.10.1.2
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+),
Date: Friday, December 25, 2020 @ 03:10:04
Author: felixonmars
Revision: 789503
upgpkg: haskell-tamarin-prover-utils 1.6.0-22: rebuild with comonad 5.0.7
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Thursday, December 24, 2020 @ 13:01:21
Author: felixonmars
Revision: 787199
upgpkg: haskell-tamarin-prover-utils 1.6.0-21: rebuild with ghc 8.10.3
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
M
Date: Wednesday, December 23, 2020 @ 05:35:03
Author: felixonmars
Revision: 783716
upgpkg: haskell-tamarin-prover-utils 1.6.0-20: rebuild with tasty-smallcheck
0.8.2
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Sunday, December 20, 2020 @ 21:54:38
Author: felixonmars
Revision: 780774
upgpkg: haskell-tamarin-prover-utils 1.6.0-19: rebuild with tasty-hunit 0.10.0.3
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deleti
Date: Thursday, December 17, 2020 @ 19:47:29
Author: felixonmars
Revision: 777920
upgpkg: haskell-tamarin-prover-utils 1.6.0-18: rebuild with th-abstraction
0.4.1.0
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 d
Date: Sunday, December 13, 2020 @ 12:51:25
Author: felixonmars
Revision: 774171
upgpkg: haskell-tamarin-prover-utils 1.6.0-17: rebuild with base-orphans 0.8.5
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion
Date: Saturday, November 28, 2020 @ 18:50:51
Author: felixonmars
Revision: 765436
upgpkg: haskell-tamarin-prover-utils 1.6.0-16: rebuild with unbounded-delays
0.1.1.1
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Sunday, November 22, 2020 @ 18:46:07
Author: felixonmars
Revision: 759404
upgpkg: haskell-tamarin-prover-utils 1.6.0-15: rebuild with
optparse-applicative 0.16.1.0
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+)
Date: Friday, November 20, 2020 @ 23:22:44
Author: felixonmars
Revision: 758232
upgpkg: haskell-tamarin-prover-utils 1.6.0-14: rebuild with base64-bytestring
1.2.0.1
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Monday, November 16, 2020 @ 16:27:46
Author: felixonmars
Revision: 755391
upgpkg: haskell-tamarin-prover-utils 1.6.0-13: rebuild with QuickCheck 2.14.2
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(
Date: Friday, November 6, 2020 @ 00:41:08
Author: felixonmars
Revision: 743852
upgpkg: haskell-tamarin-prover-utils 1.6.0-12: rebuild with splitmix 0.1.0.3
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Monday, November 2, 2020 @ 14:53:07
Author: felixonmars
Revision: 739809
upgpkg: haskell-tamarin-prover-utils 1.6.0-11: rebuild with HUnit 1.6.1.0
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
M
Date: Saturday, October 31, 2020 @ 14:13:20
Author: felixonmars
Revision: 737712
upgpkg: haskell-tamarin-prover-utils 1.6.0-10: rebuild with unliftio 0.2.13.1
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion
Date: Tuesday, October 27, 2020 @ 18:45:25
Author: felixonmars
Revision: 734795
upgpkg: haskell-tamarin-prover-utils 1.6.0-9: rebuild with optparse-applicative
0.16.0.0, optparse-generic 1.4.3, turtle 1.5.21
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |
Date: Sunday, October 25, 2020 @ 20:49:22
Author: felixonmars
Revision: 732981
upgpkg: haskell-tamarin-prover-utils 1.6.0-8: rebuild with bifunctors 5.5.8
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Wednesday, October 21, 2020 @ 19:39:21
Author: felixonmars
Revision: 728298
upgpkg: haskell-tamarin-prover-utils 1.6.0-7: rebuild with splitmix 0.1.0.2
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(
Date: Friday, October 16, 2020 @ 21:42:49
Author: felixonmars
Revision: 725076
upgpkg: haskell-tamarin-prover-utils 1.6.0-6: rebuild with th-abstraction
0.4.0.0
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 delet
Date: Wednesday, October 7, 2020 @ 00:29:25
Author: felixonmars
Revision: 720068
upgpkg: haskell-tamarin-prover-utils 1.6.0-5: rebuild with base-compat 0.11.2,
base-compat-batteries 0.11.2
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file chan
Date: Sunday, October 4, 2020 @ 00:06:17
Author: felixonmars
Revision: 717082
upgpkg: haskell-tamarin-prover-utils 1.6.0-4: rebuild with transformers-compat
0.6.6
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 del
Date: Friday, October 2, 2020 @ 00:40:51
Author: felixonmars
Revision: 714812
upgpkg: haskell-tamarin-prover-utils 1.6.0-3: rebuild with base-orphans 0.8.3
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Thursday, September 17, 2020 @ 19:54:36
Author: felixonmars
Revision: 709233
upgpkg: haskell-tamarin-prover-utils 1.6.0-2: rebuild with hspec 2.7.4,
hspec-core 2.7.4, hspec-discover 2.7.4
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file
Date: Wednesday, September 16, 2020 @ 14:37:30
Author: felixonmars
Revision: 708068
upgpkg: haskell-tamarin-prover-utils 1.6.0-1
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD | 11 +++
1 file changed, 3 insertions(+), 8 deletions(-)
Modified: PKGB
Date: Monday, September 14, 2020 @ 20:06:42
Author: felixonmars
Revision: 706522
upgpkg: haskell-tamarin-prover-utils 1.4.1-65: rebuild with
quickcheck-classes-base 0.6.1.0
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion
Date: Saturday, September 12, 2020 @ 16:43:47
Author: felixonmars
Revision: 704336
upgpkg: haskell-tamarin-prover-utils 1.4.1-64: rebuild with ansi-terminal 0.11
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 delet
Date: Thursday, September 10, 2020 @ 18:44:19
Author: felixonmars
Revision: 702177
upgpkg: haskell-tamarin-prover-utils 1.4.1-63: rebuild with mwc-random 0.15.0.1
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 dele
Date: Monday, September 7, 2020 @ 13:42:57
Author: felixonmars
Revision: 699798
upgpkg: haskell-tamarin-prover-utils 1.4.1-62: rebuild with hspec 2.7.3,
hspec-core 2.7.3, hspec-discover 2.7.3
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file c
Date: Wednesday, September 2, 2020 @ 19:34:02
Author: felixonmars
Revision: 696900
upgpkg: haskell-tamarin-prover-utils 1.4.1-61: rebuild with mwc-random 0.15.0.0
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 dele
Date: Monday, August 31, 2020 @ 05:11:58
Author: felixonmars
Revision: 693620
upgpkg: haskell-tamarin-prover-utils 1.4.1-60: rebuild with happy 1.20.0
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Mod
Date: Friday, August 28, 2020 @ 11:52:40
Author: felixonmars
Revision: 690610
upgpkg: haskell-tamarin-prover-utils 1.4.1-59: rebuild with logict 0.7.0.3
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
M
Date: Tuesday, August 25, 2020 @ 14:21:19
Author: felixonmars
Revision: 688303
upgpkg: haskell-tamarin-prover-utils 1.4.1-58: rebuild with random 1.2.0
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Mo
Date: Sunday, August 23, 2020 @ 07:27:53
Author: felixonmars
Revision: 686942
upgpkg: haskell-tamarin-prover-utils 1.4.1-57: rebuild with base64-bytestring
1.2.0.0
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 de
Date: Friday, August 21, 2020 @ 08:44:00
Author: felixonmars
Revision: 685831
upgpkg: haskell-tamarin-prover-utils 1.4.1-56: rebuild with dlist 1.0
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modifi
Date: Monday, August 17, 2020 @ 20:02:08
Author: felixonmars
Revision: 683172
upgpkg: haskell-tamarin-prover-utils 1.4.1-55: rebuild with ghc 8.10.2
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modif
Date: Saturday, August 15, 2020 @ 22:17:08
Author: felixonmars
Revision: 680180
upgpkg: haskell-tamarin-prover-utils 1.4.1-54: rebuild with math-functions
0.3.4.1
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 del
Date: Thursday, August 13, 2020 @ 17:05:33
Author: felixonmars
Revision: 677708
upgpkg: haskell-tamarin-prover-utils 1.4.1-53: rebuild with hspec 2.7.2,
hspec-core 2.7.2, hspec-discover 2.7.2
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file c
Date: Tuesday, August 11, 2020 @ 21:53:57
Author: felixonmars
Revision: 674978
upgpkg: haskell-tamarin-prover-utils 1.4.1-52: rebuild with splitmix 0.1.0.1
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Friday, July 31, 2020 @ 23:29:23
Author: felixonmars
Revision: 666752
upgpkg: haskell-tamarin-prover-utils 1.4.1-51: rebuild with QuickCheck 2.14.1
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Sunday, June 28, 2020 @ 23:04:04
Author: felixonmars
Revision: 655607
upgpkg: haskell-tamarin-prover-utils 1.4.1-50: rebuild with primitive 0.7.1.0
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Tuesday, June 23, 2020 @ 22:37:00
Author: felixonmars
Revision: 651802
upgpkg: haskell-tamarin-prover-utils 1.4.1-49: rebuild with splitmix 0.1
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modi
Date: Saturday, June 13, 2020 @ 23:17:02
Author: felixonmars
Revision: 643398
upgpkg: haskell-tamarin-prover-utils 1.4.1-48: rebuild with splitmix 0.0.5
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
M
Date: Monday, May 25, 2020 @ 03:41:48
Author: felixonmars
Revision: 633742
upgpkg: haskell-tamarin-prover-utils 1.4.1-47: rebuild with safe 0.3.19
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modifie
Date: Saturday, May 23, 2020 @ 16:26:54
Author: felixonmars
Revision: 632194
upgpkg: haskell-tamarin-prover-utils 1.4.1-46: rebuild with tasty 1.3.1
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modif
Date: Saturday, May 23, 2020 @ 01:53:16
Author: felixonmars
Revision: 631748
upgpkg: haskell-tamarin-prover-utils 1.4.1-45: rebuild with fclabels 2.0.5
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Mo
Date: Wednesday, May 20, 2020 @ 16:00:11
Author: felixonmars
Revision: 630856
upgpkg: haskell-tamarin-prover-utils 1.4.1-44: rebuild with fclabels 2.0.4
(with correct patch for template-haskell 2.16)
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
Date: Tuesday, May 12, 2020 @ 11:08:21
Author: felixonmars
Revision: 626816
upgpkg: haskell-tamarin-prover-utils 1.4.1-43: rebuild with tasty 1.3
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified
Date: Thursday, April 30, 2020 @ 10:19:50
Author: felixonmars
Revision: 622434
upgpkg: haskell-tamarin-prover-utils 1.4.1-42
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
==
Date: Friday, April 3, 2020 @ 15:23:31
Author: felixonmars
Revision: 610836
upgpkg: haskell-tamarin-prover-utils 1.4.1-41: rebuild with dlist 0.8.0.8
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modi
Date: Wednesday, April 1, 2020 @ 10:48:40
Author: felixonmars
Revision: 608722
upgpkg: haskell-tamarin-prover-utils 1.4.1-40: rebuild with QuickCheck 2.14
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Sunday, March 15, 2020 @ 15:24:36
Author: felixonmars
Revision: 598247
upgpkg: haskell-tamarin-prover-utils 1.4.1-39: rebuild with hashable 1.3.0.0
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Sunday, March 1, 2020 @ 18:55:25
Author: felixonmars
Revision: 587973
upgpkg: haskell-tamarin-prover-utils 1.4.1-38: rebuild with primitive 0.7.0.1
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Thursday, February 27, 2020 @ 15:31:17
Author: felixonmars
Revision: 584276
upgpkg: haskell-tamarin-prover-utils 1.4.1-37: rebuild with ghc 8.8.3
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Mo
Date: Tuesday, February 25, 2020 @ 17:15:20
Author: felixonmars
Revision: 581641
upgpkg: haskell-tamarin-prover-utils 1.4.1-36: rebuild with splitmix 0.0.4
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Sunday, February 23, 2020 @ 17:21:52
Author: felixonmars
Revision: 579891
upgpkg: haskell-tamarin-prover-utils 1.4.1-35: rebuild with split 0.2.3.4
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
1 file changed, 2 insertions(+), 2 deletions(
Date: Sunday, February 16, 2020 @ 09:51:27
Author: felixonmars
Revision: 572189
upgpkg: haskell-tamarin-prover-utils 1.4.1-34: rebuild with ghc 8.8.2
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modi
Date: Monday, February 10, 2020 @ 23:02:26
Author: felixonmars
Revision: 566381
upgpkg: haskell-tamarin-prover-utils 1.4.1-33: rebuild with ansi-terminal 0.10.3
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deleti
Date: Wednesday, February 5, 2020 @ 10:04:40
Author: felixonmars
Revision: 563044
upgpkg: haskell-tamarin-prover-utils 1.4.1-32: rebuild with vector 0.12.1.0
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(
Date: Tuesday, February 4, 2020 @ 19:48:17
Author: felixonmars
Revision: 562410
upgpkg: haskell-tamarin-prover-utils 1.4.1-31: rebuild with vector 0.12.1.0
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Saturday, February 1, 2020 @ 19:20:35
Author: felixonmars
Revision: 561106
upgpkg: haskell-tamarin-prover-utils 1.4.1-30: rebuild with fclabels 2.0.4
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Wednesday, January 29, 2020 @ 12:23:22
Author: felixonmars
Revision: 558757
upgpkg: haskell-tamarin-prover-utils 1.4.1-29: rebuild with base-compat 0.11.1,
base-compat-batteries 0.11.1
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file ch
Date: Monday, January 27, 2020 @ 23:48:53
Author: felixonmars
Revision: 556741
upgpkg: haskell-tamarin-prover-utils 1.4.1-28: rebuild with base-orphans 0.8.2
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(
Date: Wednesday, January 22, 2020 @ 19:45:42
Author: felixonmars
Revision: 554460
upgpkg: haskell-tamarin-prover-utils 1.4.1-27: rebuild with base64-bytestring
1.0.0.3
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+),
Date: Thursday, January 9, 2020 @ 18:12:04
Author: felixonmars
Revision: 551399
upgpkg: haskell-tamarin-prover-utils 1.4.1-26: rebuild with ghc 8.8.1,
cabal-doctest 1.0.7, polyparse 1.13, primitive 0.7.0.0, regex-base 0.94.0.0,
regex-pcre 0.95.0.0, regex-posix 0.96.0.0, regex-tdfa 1.3.1.0,
Date: Saturday, January 4, 2020 @ 16:56:39
Author: felixonmars
Revision: 548117
upgpkg: haskell-tamarin-prover-utils 1.4.1-25: rebuild with ansi-terminal 0.10.2
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deleti
Date: Thursday, January 2, 2020 @ 15:51:57
Author: felixonmars
Revision: 546276
upgpkg: haskell-tamarin-prover-utils 1.4.1-24: rebuild with ansi-terminal 0.10.1
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deleti
Date: Monday, December 30, 2019 @ 09:43:17
Author: felixonmars
Revision: 544282
upgpkg: haskell-tamarin-prover-utils 1.4.1-23: rebuild with exceptions 0.10.4
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(
Date: Wednesday, December 25, 2019 @ 11:17:12
Author: felixonmars
Revision: 540822
upgpkg: haskell-tamarin-prover-utils 1.4.1-22: rebuild with tasty-hunit 0.10.0.2
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 del
Date: Monday, December 23, 2019 @ 14:20:38
Author: felixonmars
Revision: 539264
upgpkg: haskell-tamarin-prover-utils 1.4.1-21: rebuild with pandoc 2.8,
pandoc-types 1.20, doctemplates 0.7.1, HsYAML 0.2.1.0, haddock-library 1.8.0,
texmath 0.12, base-compat 0.11.0, base-compat-batteries 0.11
Date: Friday, December 6, 2019 @ 18:02:48
Author: felixonmars
Revision: 535916
upgpkg: haskell-tamarin-prover-utils 1.4.1-20
rebuild with safe 0.3.18
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Mod
Date: Monday, September 2, 2019 @ 06:00:35
Author: felixonmars
Revision: 506575
upgpkg: haskell-tamarin-prover-utils 1.4.1-19
rebuild with exceptions 0.10.3
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(
Date: Monday, August 26, 2019 @ 09:40:41
Author: felixonmars
Revision: 502036
upgpkg: haskell-tamarin-prover-utils 1.4.1-18
rebuild with call-stack 0.2.0
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Tuesday, August 6, 2019 @ 13:54:10
Author: felixonmars
Revision: 497768
upgpkg: haskell-tamarin-prover-utils 1.4.1-17
rebuild with dlist 0.8.0.7
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Mo
Date: Wednesday, July 31, 2019 @ 17:58:24
Author: felixonmars
Revision: 495766
upgpkg: haskell-tamarin-prover-utils 1.4.1-16
rebuild with splitmix 0.0.3
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Saturday, July 27, 2019 @ 11:26:49
Author: felixonmars
Revision: 493167
upgpkg: haskell-tamarin-prover-utils 1.4.1-15
rebuild with silently 1.2.5.1
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Wednesday, July 17, 2019 @ 17:06:05
Author: felixonmars
Revision: 490353
upgpkg: haskell-tamarin-prover-utils 1.4.1-14
rebuild with QuickCheck 2.13.2
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-
Date: Sunday, June 30, 2019 @ 17:16:25
Author: felixonmars
Revision: 486414
upgpkg: haskell-tamarin-prover-utils 1.4.1-13
rebuild with tasty 1.2.3
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modifi
Date: Thursday, June 27, 2019 @ 08:14:35
Author: felixonmars
Revision: 484793
upgpkg: haskell-tamarin-prover-utils 1.4.1-12
rebuild with syb 0.7.1
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modifi
Date: Sunday, June 9, 2019 @ 00:38:59
Author: felixonmars
Revision: 478506
upgpkg: haskell-tamarin-prover-utils 1.4.1-11
rebuild with async 2.2.2
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modifie
Date: Thursday, May 30, 2019 @ 14:44:28
Author: felixonmars
Revision: 474640
upgpkg: haskell-tamarin-prover-utils 1.4.1-10
rebuild with ansi-terminal 0.9.1, ansi-wl-pprint 0.6.9, concurrent-output
1.10.10
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |
Date: Tuesday, May 28, 2019 @ 22:38:20
Author: felixonmars
Revision: 473209
upgpkg: haskell-tamarin-prover-utils 1.4.1-9
rebuild with clock 0.8
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified:
Date: Monday, May 27, 2019 @ 14:59:29
Author: felixonmars
Revision: 471472
upgpkg: haskell-tamarin-prover-utils 1.4.1-8
rebuild with QuickCheck 2.13.1, hspec-core 2.7.1, hspec-discover 2.7.1, hspec
2.7.1, time-compat 1.9.2.2, quickcheck-instances 0.3.21
Modified:
haskell-tamarin-prover-
Date: Monday, May 27, 2019 @ 08:14:06
Author: felixonmars
Revision: 471103
upgpkg: haskell-tamarin-prover-utils 1.4.1-7
rebuild with QuickCheck 2.13.1
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Mo
Date: Monday, May 6, 2019 @ 11:16:44
Author: felixonmars
Revision: 460668
upgpkg: haskell-tamarin-prover-utils 1.4.1-6
rebuild with colour 2.3.5
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified
Date: Friday, April 26, 2019 @ 16:50:30
Author: felixonmars
Revision: 454279
upgpkg: haskell-tamarin-prover-utils 1.4.1-5
rebuild with ghc 8.6.5
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified
Date: Sunday, March 31, 2019 @ 05:16:24
Author: felixonmars
Revision: 446466
upgpkg: haskell-tamarin-prover-utils 1.4.1-4
rebuild with dlist 0.8.0.6
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modi
Date: Sunday, March 10, 2019 @ 07:15:35
Author: felixonmars
Revision: 438962
upgpkg: haskell-tamarin-prover-utils 1.4.1-3
rebuild with ghc 8.6.4
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified
Date: Sunday, January 20, 2019 @ 19:37:01
Author: felixonmars
Revision: 425476
upgpkg: haskell-tamarin-prover-utils 1.4.1-2
rebuild with QuickCheck 2.12.6.1, servant 0.15, servant-server 0.15,
servant-swagger 1.1.7, hspec-discover 2.7.0, hspec-meta 2.6.0
Modified:
haskell-tamarin-prover
Date: Sunday, January 20, 2019 @ 11:12:21
Author: felixonmars
Revision: 425030
upgpkg: haskell-tamarin-prover-utils 1.4.1-1
rebuild with tamarin-prover 1.4.1
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
Deleted:
haskell-tamarin-prover-utils/trunk/ghc-8.4.patch
---
Date: Monday, December 10, 2018 @ 01:44:13
Author: felixonmars
Revision: 413711
upgpkg: haskell-tamarin-prover-utils 1.4.0-10
rebuild with ghc 8.6.3, cmark-gfm 0.1.6
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Wednesday, December 5, 2018 @ 09:08:19
Author: felixonmars
Revision: 411286
upgpkg: haskell-tamarin-prover-utils 1.4.0-9
rebuild with base64-bytestring 1.0.0.2
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Tuesday, November 6, 2018 @ 21:36:39
Author: felixonmars
Revision: 402238
upgpkg: haskell-tamarin-prover-utils 1.4.0-8
rebuild with ghc 8.6.2
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD | 10 +-
1 file changed, 5 insertions(+), 5 deletions
Date: Monday, October 15, 2018 @ 00:12:46
Author: felixonmars
Revision: 393981
upgpkg: haskell-tamarin-prover-utils 1.4.0-7
rebuild with ghc 8.6.1
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modifi
Date: Thursday, September 13, 2018 @ 15:55:55
Author: felixonmars
Revision: 380334
upgpkg: haskell-tamarin-prover-utils 1.4.0-6
rebuild with dlist 0.8.0.5
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Saturday, June 2, 2018 @ 10:25:12
Author: felixonmars
Revision: 337297
upgpkg: haskell-tamarin-prover-utils 1.4.0-5
rebuild with primitive 0.6.4.0
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Friday, June 1, 2018 @ 07:47:18
Author: felixonmars
Revision: 335634
upgpkg: haskell-tamarin-prover-utils 1.4.0-4
rebuild with ghc 8.4.3
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified:
Date: Wednesday, May 23, 2018 @ 07:50:52
Author: felixonmars
Revision: 328049
upgpkg: haskell-tamarin-prover-utils 1.4.0-3
rebuild with safe,0.3.17
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modif
Date: Friday, May 18, 2018 @ 07:43:29
Author: felixonmars
Revision: 324257
upgpkg: haskell-tamarin-prover-utils 1.4.0-2
rebuild with ghc 8.4.2
Added:
haskell-tamarin-prover-utils/trunk/ghc-8.4.patch
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
---+
PKGBUILD
Date: Monday, May 7, 2018 @ 13:00:59
Author: felixonmars
Revision: 319104
upgpkg: haskell-tamarin-prover-utils 1.4.0-1
Modified:
haskell-tamarin-prover-utils/trunk/PKGBUILD
--+
PKGBUILD |6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
Modified: PKGBUILD
==
1 - 100 of 111 matches
Mail list logo