Date: Tuesday, December 29, 2020 @ 09:30:30
Author: felixonmars
Revision: 796630
upgpkg: haskell-tamarin-prover-term 1.6.0-28: rebuild with tagged 0.8.6.1
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Monday, December 28, 2020 @ 08:56:37
Author: felixonmars
Revision: 794386
upgpkg: haskell-tamarin-prover-term 1.6.0-27: rebuild with indexed-traversable
0.1.1
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Saturday, December 26, 2020 @ 03:11:20
Author: felixonmars
Revision: 791727
upgpkg: haskell-tamarin-prover-term 1.6.0-26: rebuild with tasty-quickcheck
0.10.1.2
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Friday, December 25, 2020 @ 03:12:36
Author: felixonmars
Revision: 789505
upgpkg: haskell-tamarin-prover-term 1.6.0-25: rebuild with comonad 5.0.7
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Thursday, December 24, 2020 @ 13:02:20
Author: felixonmars
Revision: 787202
upgpkg: haskell-tamarin-prover-term 1.6.0-24: rebuild with ghc 8.10.3
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Wednesday, December 23, 2020 @ 05:36:27
Author: felixonmars
Revision: 783718
upgpkg: haskell-tamarin-prover-term 1.6.0-23: rebuild with tasty-smallcheck
0.8.2
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Monday, December 21, 2020 @ 13:54:19
Author: felixonmars
Revision: 781079
upgpkg: haskell-tamarin-prover-term 1.6.0-22: rebuild with tasty-hunit 0.10.0.3
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Thursday, December 17, 2020 @ 19:48:57
Author: felixonmars
Revision: 777922
upgpkg: haskell-tamarin-prover-term 1.6.0-21: rebuild with th-abstraction
0.4.1.0
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Sunday, December 13, 2020 @ 14:03:00
Author: felixonmars
Revision: 774303
upgpkg: haskell-tamarin-prover-term 1.6.0-20: rebuild with base-orphans 0.8.5
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Saturday, November 28, 2020 @ 18:52:15
Author: felixonmars
Revision: 765438
upgpkg: haskell-tamarin-prover-term 1.6.0-19: rebuild with unbounded-delays
0.1.1.1
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Sunday, November 22, 2020 @ 18:47:55
Author: felixonmars
Revision: 759406
upgpkg: haskell-tamarin-prover-term 1.6.0-18: rebuild with optparse-applicative
0.16.1.0
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+),
Date: Friday, November 20, 2020 @ 23:24:12
Author: felixonmars
Revision: 758234
upgpkg: haskell-tamarin-prover-term 1.6.0-17: rebuild with base64-bytestring
1.2.0.1
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Thursday, November 19, 2020 @ 15:05:12
Author: felixonmars
Revision: 757595
upgpkg: haskell-tamarin-prover-term 1.6.0-16: add fix for maude 3.1
Added:
haskell-tamarin-prover-term/trunk/maude-3.1.patch
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
-+
Date: Monday, November 16, 2020 @ 16:29:14
Author: felixonmars
Revision: 755393
upgpkg: haskell-tamarin-prover-term 1.6.0-15: rebuild with QuickCheck 2.14.2
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Saturday, November 7, 2020 @ 10:48:49
Author: felixonmars
Revision: 745650
upgpkg: haskell-tamarin-prover-term 1.6.0-14: rebuild with integer-logarithms
1.0.3.1
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Friday, November 6, 2020 @ 11:33:33
Author: felixonmars
Revision: 744020
upgpkg: haskell-tamarin-prover-term 1.6.0-13: rebuild with splitmix 0.1.0.3
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Monday, November 2, 2020 @ 14:54:32
Author: felixonmars
Revision: 739811
upgpkg: haskell-tamarin-prover-term 1.6.0-12: rebuild with HUnit 1.6.1.0
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Saturday, October 31, 2020 @ 14:15:10
Author: felixonmars
Revision: 737714
upgpkg: haskell-tamarin-prover-term 1.6.0-11: rebuild with unliftio 0.2.13.1
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Tuesday, October 27, 2020 @ 19:25:41
Author: felixonmars
Revision: 734913
upgpkg: haskell-tamarin-prover-term 1.6.0-10: rebuild with optparse-applicative
0.16.0.0, optparse-generic 1.4.3, turtle 1.5.21
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |
Date: Sunday, October 25, 2020 @ 20:50:29
Author: felixonmars
Revision: 732983
upgpkg: haskell-tamarin-prover-term 1.6.0-9: rebuild with bifunctors 5.5.8
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Wednesday, October 21, 2020 @ 19:40:54
Author: felixonmars
Revision: 728300
upgpkg: haskell-tamarin-prover-term 1.6.0-8: rebuild with splitmix 0.1.0.2
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Friday, October 16, 2020 @ 21:44:33
Author: felixonmars
Revision: 725078
upgpkg: haskell-tamarin-prover-term 1.6.0-7: rebuild with th-abstraction 0.4.0.0
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Wednesday, October 7, 2020 @ 00:30:53
Author: felixonmars
Revision: 720070
upgpkg: haskell-tamarin-prover-term 1.6.0-6: rebuild with base-compat 0.11.2,
base-compat-batteries 0.11.2
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file
Date: Sunday, October 4, 2020 @ 00:07:17
Author: felixonmars
Revision: 717084
upgpkg: haskell-tamarin-prover-term 1.6.0-5: rebuild with transformers-compat
0.6.6
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Friday, October 2, 2020 @ 00:42:02
Author: felixonmars
Revision: 714814
upgpkg: haskell-tamarin-prover-term 1.6.0-4: rebuild with base-orphans 0.8.3
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Thursday, September 17, 2020 @ 19:55:38
Author: felixonmars
Revision: 709235
upgpkg: haskell-tamarin-prover-term 1.6.0-3: rebuild with hspec 2.7.4,
hspec-core 2.7.4, hspec-discover 2.7.4
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file
Date: Wednesday, September 16, 2020 @ 14:41:22
Author: felixonmars
Revision: 708072
upgpkg: haskell-tamarin-prover-term 1.6.0-2: rebuild for tamarin-prover-utils
1.6.0
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+),
Date: Wednesday, September 16, 2020 @ 14:39:54
Author: felixonmars
Revision: 708070
upgpkg: haskell-tamarin-prover-term 1.6.0-1
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD | 19 ++-
1 file changed, 6 insertions(+), 13 deletions(-)
Date: Monday, September 14, 2020 @ 20:07:39
Author: felixonmars
Revision: 706525
upgpkg: haskell-tamarin-prover-term 1.4.1-80: rebuild with
quickcheck-classes-base 0.6.1.0
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1
Date: Saturday, September 12, 2020 @ 16:44:48
Author: felixonmars
Revision: 704338
upgpkg: haskell-tamarin-prover-term 1.4.1-79: rebuild with ansi-terminal 0.11
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Thursday, September 10, 2020 @ 18:46:23
Author: felixonmars
Revision: 702179
upgpkg: haskell-tamarin-prover-term 1.4.1-78: rebuild with mwc-random 0.15.0.1
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Monday, September 7, 2020 @ 13:44:35
Author: felixonmars
Revision: 699800
upgpkg: haskell-tamarin-prover-term 1.4.1-77: rebuild with hspec 2.7.3,
hspec-core 2.7.3, hspec-discover 2.7.3
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file
Date: Wednesday, September 2, 2020 @ 19:35:41
Author: felixonmars
Revision: 696902
upgpkg: haskell-tamarin-prover-term 1.4.1-76: rebuild with mwc-random 0.15.0.0
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Monday, August 31, 2020 @ 05:13:22
Author: felixonmars
Revision: 693622
upgpkg: haskell-tamarin-prover-term 1.4.1-75: rebuild with happy 1.20.0
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Friday, August 28, 2020 @ 11:54:00
Author: felixonmars
Revision: 690612
upgpkg: haskell-tamarin-prover-term 1.4.1-74: rebuild with logict 0.7.0.3
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Tuesday, August 25, 2020 @ 14:22:52
Author: felixonmars
Revision: 688305
upgpkg: haskell-tamarin-prover-term 1.4.1-73: rebuild with random 1.2.0
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Sunday, August 23, 2020 @ 07:29:28
Author: felixonmars
Revision: 686944
upgpkg: haskell-tamarin-prover-term 1.4.1-72: rebuild with base64-bytestring
1.2.0.0
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Friday, August 21, 2020 @ 08:45:40
Author: felixonmars
Revision: 685833
upgpkg: haskell-tamarin-prover-term 1.4.1-71: rebuild with dlist 1.0
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Monday, August 17, 2020 @ 20:03:48
Author: felixonmars
Revision: 683174
upgpkg: haskell-tamarin-prover-term 1.4.1-70: rebuild with ghc 8.10.2
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Saturday, August 15, 2020 @ 22:18:36
Author: felixonmars
Revision: 680182
upgpkg: haskell-tamarin-prover-term 1.4.1-69: rebuild with math-functions
0.3.4.1
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Thursday, August 13, 2020 @ 17:06:46
Author: felixonmars
Revision: 677710
upgpkg: haskell-tamarin-prover-term 1.4.1-68: rebuild with hspec 2.7.2,
hspec-core 2.7.2, hspec-discover 2.7.2
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file
Date: Tuesday, August 11, 2020 @ 21:55:10
Author: felixonmars
Revision: 674980
upgpkg: haskell-tamarin-prover-term 1.4.1-67: rebuild with splitmix 0.1.0.1
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Friday, July 31, 2020 @ 23:30:49
Author: felixonmars
Revision: 666754
upgpkg: haskell-tamarin-prover-term 1.4.1-66: rebuild with QuickCheck 2.14.1
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Sunday, June 28, 2020 @ 23:05:16
Author: felixonmars
Revision: 655609
upgpkg: haskell-tamarin-prover-term 1.4.1-65: rebuild with primitive 0.7.1.0
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Tuesday, June 23, 2020 @ 22:38:21
Author: felixonmars
Revision: 651804
upgpkg: haskell-tamarin-prover-term 1.4.1-64: rebuild with splitmix 0.1
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Saturday, June 13, 2020 @ 23:18:15
Author: felixonmars
Revision: 643400
upgpkg: haskell-tamarin-prover-term 1.4.1-63: rebuild with splitmix 0.0.5
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Monday, May 25, 2020 @ 03:43:57
Author: felixonmars
Revision: 633744
upgpkg: haskell-tamarin-prover-term 1.4.1-62: rebuild with safe 0.3.19
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Saturday, May 23, 2020 @ 16:28:18
Author: felixonmars
Revision: 632196
upgpkg: haskell-tamarin-prover-term 1.4.1-61: rebuild with tasty 1.3.1
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Saturday, May 23, 2020 @ 02:01:39
Author: felixonmars
Revision: 631757
upgpkg: haskell-tamarin-prover-term 1.4.1-60: rebuild with fclabels 2.0.5
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Wednesday, May 20, 2020 @ 16:01:59
Author: felixonmars
Revision: 630859
upgpkg: haskell-tamarin-prover-term 1.4.1-59: rebuild with fclabels 2.0.4 (with
correct patch for template-haskell 2.16)
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
Date: Tuesday, May 12, 2020 @ 11:09:34
Author: felixonmars
Revision: 626818
upgpkg: haskell-tamarin-prover-term 1.4.1-58: rebuild with tasty 1.3
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified:
Date: Thursday, April 30, 2020 @ 10:24:18
Author: felixonmars
Revision: 622436
upgpkg: haskell-tamarin-prover-term 1.4.1-57
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, April 3, 2020 @ 15:25:00
Author: felixonmars
Revision: 610838
upgpkg: haskell-tamarin-prover-term 1.4.1-56: rebuild with dlist 0.8.0.8
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Wednesday, April 1, 2020 @ 10:49:43
Author: felixonmars
Revision: 608724
upgpkg: haskell-tamarin-prover-term 1.4.1-55: rebuild with QuickCheck 2.14
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Saturday, March 28, 2020 @ 16:05:34
Author: felixonmars
Revision: 605272
upgpkg: haskell-tamarin-prover-term 1.4.1-54: rebuild with attoparsec 0.13.2.4
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Sunday, March 15, 2020 @ 15:25:56
Author: felixonmars
Revision: 598249
upgpkg: haskell-tamarin-prover-term 1.4.1-53: rebuild with hashable 1.3.0.0
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Sunday, March 8, 2020 @ 21:34:31
Author: felixonmars
Revision: 592545
upgpkg: haskell-tamarin-prover-term 1.4.1-52
fix compatibility with maude 3
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD | 17 -
1 file changed, 12 insertions(+),
Date: Sunday, March 1, 2020 @ 18:56:46
Author: felixonmars
Revision: 587975
upgpkg: haskell-tamarin-prover-term 1.4.1-51: rebuild with primitive 0.7.0.1
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Thursday, February 27, 2020 @ 15:32:40
Author: felixonmars
Revision: 584278
upgpkg: haskell-tamarin-prover-term 1.4.1-50: rebuild with ghc 8.8.3
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Tuesday, February 25, 2020 @ 17:16:44
Author: felixonmars
Revision: 581643
upgpkg: haskell-tamarin-prover-term 1.4.1-49: rebuild with splitmix 0.0.4
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Sunday, February 23, 2020 @ 17:23:03
Author: felixonmars
Revision: 579893
upgpkg: haskell-tamarin-prover-term 1.4.1-48: rebuild with split 0.2.3.4
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
1 file changed, 2 insertions(+), 2
Date: Sunday, February 16, 2020 @ 09:52:48
Author: felixonmars
Revision: 572191
upgpkg: haskell-tamarin-prover-term 1.4.1-47: rebuild with ghc 8.8.2
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Tuesday, February 11, 2020 @ 09:15:44
Author: felixonmars
Revision: 566868
upgpkg: haskell-tamarin-prover-term 1.4.1-46: rebuild with ansi-terminal 0.10.3
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Sunday, February 9, 2020 @ 16:22:59
Author: felixonmars
Revision: 565458
upgpkg: haskell-tamarin-prover-term 1.4.1-45: rebuild with tasty-quickcheck
0.10.1.1
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Wednesday, February 5, 2020 @ 19:09:33
Author: felixonmars
Revision: 563390
upgpkg: haskell-tamarin-prover-term 1.4.1-44: rebuild with vector 0.12.1.0
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Saturday, February 1, 2020 @ 19:25:01
Author: felixonmars
Revision: 561110
upgpkg: haskell-tamarin-prover-term 1.4.1-43: rebuild with fclabels 2.0.4
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Wednesday, January 29, 2020 @ 12:25:01
Author: felixonmars
Revision: 558761
upgpkg: haskell-tamarin-prover-term 1.4.1-42: rebuild with base-compat 0.11.1,
base-compat-batteries 0.11.1
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file
Date: Monday, January 27, 2020 @ 23:50:17
Author: felixonmars
Revision: 556743
upgpkg: haskell-tamarin-prover-term 1.4.1-41: rebuild with base-orphans 0.8.2
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Wednesday, January 22, 2020 @ 19:47:02
Author: felixonmars
Revision: 554462
upgpkg: haskell-tamarin-prover-term 1.4.1-40: rebuild with base64-bytestring
1.0.0.3
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Thursday, January 9, 2020 @ 18:13:27
Author: felixonmars
Revision: 551401
upgpkg: haskell-tamarin-prover-term 1.4.1-39: rebuild with ghc 8.8.1,
cabal-doctest 1.0.7, polyparse 1.13, primitive 0.7.0.0, regex-base 0.94.0.0,
regex-pcre 0.95.0.0, regex-posix 0.96.0.0, regex-tdfa 1.3.1.0,
Date: Saturday, January 4, 2020 @ 16:58:27
Author: felixonmars
Revision: 548119
upgpkg: haskell-tamarin-prover-term 1.4.1-38: rebuild with ansi-terminal 0.10.2
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Thursday, January 2, 2020 @ 15:53:17
Author: felixonmars
Revision: 546278
upgpkg: haskell-tamarin-prover-term 1.4.1-37: rebuild with ansi-terminal 0.10.1
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Monday, December 30, 2019 @ 09:44:40
Author: felixonmars
Revision: 544284
upgpkg: haskell-tamarin-prover-term 1.4.1-36: rebuild with exceptions 0.10.4
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Wednesday, December 25, 2019 @ 11:18:42
Author: felixonmars
Revision: 540824
upgpkg: haskell-tamarin-prover-term 1.4.1-35: rebuild with tasty-hunit 0.10.0.2
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Monday, December 23, 2019 @ 14:21:58
Author: felixonmars
Revision: 539266
upgpkg: haskell-tamarin-prover-term 1.4.1-34: rebuild with pandoc 2.8,
pandoc-types 1.20, doctemplates 0.7.1, HsYAML 0.2.1.0, haddock-library 1.8.0,
texmath 0.12, base-compat 0.11.0, base-compat-batteries
Date: Friday, December 6, 2019 @ 18:04:07
Author: felixonmars
Revision: 535919
upgpkg: haskell-tamarin-prover-term 1.4.1-33
rebuild with safe 0.3.18
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Thursday, November 21, 2019 @ 17:04:08
Author: felixonmars
Revision: 531183
upgpkg: haskell-tamarin-prover-term 1.4.1-32
rebuild with pcre-light 0.4.1.0
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Monday, September 2, 2019 @ 06:01:47
Author: felixonmars
Revision: 506577
upgpkg: haskell-tamarin-prover-term 1.4.1-31
rebuild with exceptions 0.10.3
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Sunday, September 1, 2019 @ 09:50:44
Author: felixonmars
Revision: 505960
upgpkg: haskell-tamarin-prover-term 1.4.1-30
rebuild with attoparsec 0.13.2.3
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Monday, August 26, 2019 @ 09:42:13
Author: felixonmars
Revision: 502038
upgpkg: haskell-tamarin-prover-term 1.4.1-29
rebuild with call-stack 0.2.0
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Tuesday, August 6, 2019 @ 13:55:38
Author: felixonmars
Revision: 497770
upgpkg: haskell-tamarin-prover-term 1.4.1-28
rebuild with dlist 0.8.0.7
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Wednesday, July 31, 2019 @ 17:59:54
Author: felixonmars
Revision: 495768
upgpkg: haskell-tamarin-prover-term 1.4.1-27
rebuild with splitmix 0.0.3
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Saturday, July 27, 2019 @ 11:28:04
Author: felixonmars
Revision: 493169
upgpkg: haskell-tamarin-prover-term 1.4.1-26
rebuild with silently 1.2.5.1
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Wednesday, July 17, 2019 @ 17:07:34
Author: felixonmars
Revision: 490355
upgpkg: haskell-tamarin-prover-term 1.4.1-25
rebuild with QuickCheck 2.13.2
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Sunday, June 30, 2019 @ 17:17:36
Author: felixonmars
Revision: 486416
upgpkg: haskell-tamarin-prover-term 1.4.1-24
rebuild with tasty 1.2.3
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Thursday, June 27, 2019 @ 08:15:47
Author: felixonmars
Revision: 484795
upgpkg: haskell-tamarin-prover-term 1.4.1-23
rebuild with syb 0.7.1
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Sunday, June 9, 2019 @ 00:40:28
Author: felixonmars
Revision: 478508
upgpkg: haskell-tamarin-prover-term 1.4.1-22
rebuild with async 2.2.2
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Thursday, May 30, 2019 @ 14:45:44
Author: felixonmars
Revision: 474642
upgpkg: haskell-tamarin-prover-term 1.4.1-21
rebuild with ansi-terminal 0.9.1, ansi-wl-pprint 0.6.9, concurrent-output
1.10.10
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2
Date: Tuesday, May 28, 2019 @ 22:39:33
Author: felixonmars
Revision: 473211
upgpkg: haskell-tamarin-prover-term 1.4.1-20
rebuild with clock 0.8
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified:
Date: Tuesday, May 28, 2019 @ 19:57:29
Author: felixonmars
Revision: 473047
upgpkg: haskell-tamarin-prover-term 1.4.1-19
rebuild with clock 0.8
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified:
Date: Monday, May 27, 2019 @ 17:23:43
Author: felixonmars
Revision: 471714
upgpkg: haskell-tamarin-prover-term 1.4.1-18
rebuild with QuickCheck 2.13.1, hspec-core 2.7.1, hspec-discover 2.7.1, hspec
2.7.1, time-compat 1.9.2.2, quickcheck-instances 0.3.21
Modified:
Date: Monday, May 27, 2019 @ 12:14:52
Author: felixonmars
Revision: 471346
upgpkg: haskell-tamarin-prover-term 1.4.1-17
rebuild with QuickCheck 2.13.1, hspec-core 2.7.1, hspec-discover 2.7.1, hspec
2.7.1, time-compat 1.9.2.2, quickcheck-instances 0.3.21
Modified:
Date: Wednesday, May 22, 2019 @ 20:32:07
Author: felixonmars
Revision: 468683
upgpkg: haskell-tamarin-prover-term 1.4.1-16
rebuild with tasty-quickcheck 0.10.1
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Sunday, May 12, 2019 @ 10:31:20
Author: felixonmars
Revision: 466138
upgpkg: haskell-tamarin-prover-term 1.4.1-15
rebuild with transformers-compat 0.6.5
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Wednesday, May 8, 2019 @ 22:49:17
Author: felixonmars
Revision: 463484
upgpkg: haskell-tamarin-prover-term 1.4.1-14
rebuild with exceptions 0.10.2
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Monday, May 6, 2019 @ 13:50:49
Author: felixonmars
Revision: 460930
upgpkg: haskell-tamarin-prover-term 1.4.1-13
rebuild with colour 2.3.5
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Friday, May 3, 2019 @ 02:55:40
Author: felixonmars
Revision: 458093
upgpkg: haskell-tamarin-prover-term 1.4.1-12
rebuild with vector 0.12.0.3
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Saturday, April 27, 2019 @ 13:14:51
Author: felixonmars
Revision: 454701
upgpkg: haskell-tamarin-prover-term 1.4.1-11
rebuild with ghc 8.6.5
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Saturday, April 20, 2019 @ 21:37:34
Author: felixonmars
Revision: 452437
upgpkg: haskell-tamarin-prover-term 1.4.1-10
rebuild with integer-logarithms 1.0.3
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Thursday, April 4, 2019 @ 00:19:23
Author: felixonmars
Revision: 448692
upgpkg: haskell-tamarin-prover-term 1.4.1-9
rebuild with transformers-compat 0.6.4
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
1 - 100 of 156 matches
Mail list logo