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(
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(+),
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(+)
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(-)
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(+)
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(-)
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(+),
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 del
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
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 change
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 deleti
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(-)
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 deleti
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(+),
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(
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(+),
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 ch
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(-
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(+)
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(
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(
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 delet
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(-)
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 deleti
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
--+
PKGBUIL
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(
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 del
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 deletio
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 d
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(+),
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 ch
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(-)
M
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 d
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(
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 fi
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
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 insert
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 de
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
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 fil
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
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(
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(-)
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(-)
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(-)
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
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(-)
Mod
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(-)
Mo
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 de
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(-)
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 fil
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(
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
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
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(-)
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
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(-)
Mod
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
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(-)
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 delet
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(-)
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
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(+
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(-)
Mo
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(-)
M
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(
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(-)
M
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
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(-)
Mod
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(-)
Modif
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(-)
Mod
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(-)
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 ++
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 deletio
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(-)
Modifi
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(
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
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
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(-)
Mo
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(-
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 dele
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 deleti
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(-)
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(-)
M
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(-)
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(-
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 d
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 deleti
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(-)
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(-)
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(
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(-)
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 del
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 del
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(-)
Mo
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 de
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(+),
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
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 deletio
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(
1 - 100 of 238 matches
Mail list logo