Date: Wednesday, January 29, 2020 @ 14:21:43
Author: felixonmars
Revision: 558915
upgpkg: haskell-tamarin-prover-theory 1.4.1-55: rebuild with base-compat
0.11.1, base-compat-batteries 0.11.1
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file
Date: Tuesday, January 28, 2020 @ 03:16:26
Author: felixonmars
Revision: 557082
upgpkg: haskell-tamarin-prover-theory 1.4.1-54: rebuild with base-orphans 0.8.2
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deleti
Date: Wednesday, January 22, 2020 @ 19:51:00
Author: felixonmars
Revision: 554464
upgpkg: haskell-tamarin-prover-theory 1.4.1-53: rebuild with base64-bytestring
1.0.0.3
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+)
Date: Friday, January 10, 2020 @ 15:32:51
Author: felixonmars
Revision: 551666
upgpkg: haskell-tamarin-prover-theory 1.4.1-52: 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 @ 19:46:02
Author: felixonmars
Revision: 548329
upgpkg: haskell-tamarin-prover-theory 1.4.1-51: rebuild with ansi-terminal
0.10.2
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 del
Date: Thursday, January 2, 2020 @ 18:18:37
Author: felixonmars
Revision: 546461
upgpkg: haskell-tamarin-prover-theory 1.4.1-50: rebuild with ansi-terminal
0.10.1
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 del
Date: Monday, December 30, 2019 @ 12:17:09
Author: felixonmars
Revision: 544500
upgpkg: haskell-tamarin-prover-theory 1.4.1-49: rebuild with exceptions 0.10.4
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletio
Date: Wednesday, December 25, 2019 @ 13:28:54
Author: felixonmars
Revision: 541003
upgpkg: haskell-tamarin-prover-theory 1.4.1-48: rebuild with tasty-hunit
0.10.0.2
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Monday, December 23, 2019 @ 18:30:07
Author: felixonmars
Revision: 539443
upgpkg: haskell-tamarin-prover-theory 1.4.1-47: 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.1
Date: Friday, December 6, 2019 @ 18:08:22
Author: felixonmars
Revision: 535924
upgpkg: haskell-tamarin-prover-theory 1.4.1-46
rebuild with safe 0.3.18
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
M
Date: Sunday, November 24, 2019 @ 04:54:46
Author: felixonmars
Revision: 532491
upgpkg: haskell-tamarin-prover-theory 1.4.1-45
rebuild ChasingBottoms 1.3.1.7
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletio
Date: Thursday, November 21, 2019 @ 20:57:00
Author: felixonmars
Revision: 531311
upgpkg: haskell-tamarin-prover-theory 1.4.1-44
rebuild with pcre-light 0.4.1.0
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 dele
Date: Wednesday, November 20, 2019 @ 05:12:02
Author: felixonmars
Revision: 530593
upgpkg: haskell-tamarin-prover-theory 1.4.1-43
rebuild with Diff 0.4.0, aeson 1.4.6.0
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+)
Date: Sunday, October 20, 2019 @ 17:48:56
Author: felixonmars
Revision: 517866
upgpkg: haskell-tamarin-prover-theory 1.4.1-42
rebuild with aeson-pretty 0.8.8
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletio
Date: Monday, September 2, 2019 @ 08:19:12
Author: felixonmars
Revision: 506827
upgpkg: haskell-tamarin-prover-theory 1.4.1-41
rebuild with exceptions 0.10.3
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletio
Date: Sunday, September 1, 2019 @ 09:54:01
Author: felixonmars
Revision: 505962
upgpkg: haskell-tamarin-prover-theory 1.4.1-40
rebuild with attoparsec 0.13.2.3
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 delet
Date: Wednesday, August 28, 2019 @ 07:39:32
Author: felixonmars
Revision: 503614
upgpkg: haskell-tamarin-prover-theory 1.4.1-39
rebuild with bifunctors 5.5.5, th-abstraction 0.3.1.0
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1
Date: Monday, August 26, 2019 @ 21:23:15
Author: felixonmars
Revision: 502314
upgpkg: haskell-tamarin-prover-theory 1.4.1-38
rebuild with call-stack 0.2.0
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-
Date: Tuesday, August 6, 2019 @ 13:59:09
Author: felixonmars
Revision: 497772
upgpkg: haskell-tamarin-prover-theory 1.4.1-37
rebuild with dlist 0.8.0.7
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Thursday, August 1, 2019 @ 04:30:08
Author: felixonmars
Revision: 495997
upgpkg: haskell-tamarin-prover-theory 1.4.1-36
rebuild with splitmix 0.0.3
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Monday, July 29, 2019 @ 10:27:36
Author: felixonmars
Revision: 494570
upgpkg: haskell-tamarin-prover-theory 1.4.1-35
rebuild with quickcheck-instances 0.3.22
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 d
Date: Sunday, July 28, 2019 @ 02:42:06
Author: felixonmars
Revision: 493418
upgpkg: haskell-tamarin-prover-theory 1.4.1-34
rebuild with silently 1.2.5.1
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Thursday, July 18, 2019 @ 17:21:54
Author: felixonmars
Revision: 491753
upgpkg: haskell-tamarin-prover-theory 1.4.1-33
rebuild with ChasingBottoms 1.3.1.6
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 dele
Date: Wednesday, July 17, 2019 @ 19:38:08
Author: felixonmars
Revision: 490561
upgpkg: haskell-tamarin-prover-theory 1.4.1-32
rebuild with QuickCheck 2.13.2
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion
Date: Sunday, June 30, 2019 @ 19:18:43
Author: felixonmars
Revision: 486606
upgpkg: haskell-tamarin-prover-theory 1.4.1-31
rebuild with tasty 1.2.3
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modi
Date: Friday, June 28, 2019 @ 02:58:22
Author: felixonmars
Revision: 485162
upgpkg: haskell-tamarin-prover-theory 1.4.1-30
rebuild with syb 0.7.1
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modifi
Date: Wednesday, June 26, 2019 @ 09:53:28
Author: felixonmars
Revision: 484338
upgpkg: haskell-tamarin-prover-theory 1.4.1-29
rebuild with aeson 1.4.4.0
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Sunday, June 9, 2019 @ 10:57:05
Author: felixonmars
Revision: 478727
upgpkg: haskell-tamarin-prover-theory 1.4.1-28
rebuild with async 2.2.2
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modif
Date: Thursday, May 30, 2019 @ 17:07:39
Author: felixonmars
Revision: 474876
upgpkg: haskell-tamarin-prover-theory 1.4.1-27
rebuild with ansi-terminal 0.9.1, ansi-wl-pprint 0.6.9, concurrent-output
1.10.10
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |
Date: Wednesday, May 29, 2019 @ 00:52:38
Author: felixonmars
Revision: 473431
upgpkg: haskell-tamarin-prover-theory 1.4.1-26
rebuild with clock 0.8
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modi
Date: Tuesday, May 28, 2019 @ 20:01:13
Author: felixonmars
Revision: 473050
upgpkg: haskell-tamarin-prover-theory 1.4.1-25
rebuild with clock 0.8
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modifi
Date: Monday, May 27, 2019 @ 17:26:55
Author: felixonmars
Revision: 471716
upgpkg: haskell-tamarin-prover-theory 1.4.1-24
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-prove
Date: Monday, May 27, 2019 @ 12:18:08
Author: felixonmars
Revision: 471348
upgpkg: haskell-tamarin-prover-theory 1.4.1-23
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-prove
Date: Wednesday, May 22, 2019 @ 21:06:26
Author: felixonmars
Revision: 468685
upgpkg: haskell-tamarin-prover-theory 1.4.1-22
rebuild with tasty-quickcheck 0.10.1
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 del
Date: Sunday, May 12, 2019 @ 10:34:29
Author: felixonmars
Revision: 466140
upgpkg: haskell-tamarin-prover-theory 1.4.1-21
rebuild with transformers-compat 0.6.5
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 dele
Date: Wednesday, May 8, 2019 @ 22:52:27
Author: felixonmars
Revision: 463486
upgpkg: haskell-tamarin-prover-theory 1.4.1-20
rebuild with exceptions 0.10.2
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-
Date: Wednesday, May 8, 2019 @ 12:21:31
Author: felixonmars
Revision: 462869
upgpkg: haskell-tamarin-prover-theory 1.4.1-19
rebuild with case-insensitive 1.2.1.0
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 del
Date: Monday, May 6, 2019 @ 13:55:05
Author: felixonmars
Revision: 460936
upgpkg: haskell-tamarin-prover-theory 1.4.1-18
rebuild with colour 2.3.5
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modif
Date: Friday, May 3, 2019 @ 02:59:12
Author: felixonmars
Revision: 458095
upgpkg: haskell-tamarin-prover-theory 1.4.1-17
rebuild with vector 0.12.0.3
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Mo
Date: Wednesday, May 1, 2019 @ 01:11:47
Author: felixonmars
Revision: 457324
upgpkg: haskell-tamarin-prover-theory 1.4.1-16
rebuild with aeson 1.4.3.0
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
M
Date: Monday, April 29, 2019 @ 13:57:02
Author: felixonmars
Revision: 456172
upgpkg: haskell-tamarin-prover-theory 1.4.1-15
rebuild with generic-deriving 1.12.4
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 dele
Date: Saturday, April 27, 2019 @ 13:18:45
Author: felixonmars
Revision: 454708
upgpkg: haskell-tamarin-prover-theory 1.4.1-14
rebuild with ghc 8.6.5
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Mod
Date: Saturday, April 20, 2019 @ 21:41:05
Author: felixonmars
Revision: 452439
upgpkg: haskell-tamarin-prover-theory 1.4.1-13
rebuild with integer-logarithms 1.0.3
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 d
Date: Thursday, April 4, 2019 @ 02:21:48
Author: felixonmars
Revision: 448694
upgpkg: haskell-tamarin-prover-theory 1.4.1-12
rebuild with transformers-compat 0.6.4
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 d
Date: Tuesday, April 2, 2019 @ 00:00:14
Author: felixonmars
Revision: 447269
upgpkg: haskell-tamarin-prover-theory 1.4.1-11
rebuild with transformers-compat 0.6.3
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 de
Date: Sunday, March 31, 2019 @ 05:21:26
Author: felixonmars
Revision: 446470
upgpkg: haskell-tamarin-prover-theory 1.4.1-10
rebuild with dlist 0.8.0.6
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
M
Date: Thursday, March 28, 2019 @ 13:23:02
Author: felixonmars
Revision: 445306
upgpkg: haskell-tamarin-prover-theory 1.4.1-9
rebuild with base-orphans 0.8.1
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion
Date: Tuesday, March 26, 2019 @ 23:02:06
Author: felixonmars
Revision: 443844
upgpkg: haskell-tamarin-prover-theory 1.4.1-8
rebuild with exceptions 0.10.1
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-
Date: Sunday, March 10, 2019 @ 11:22:32
Author: felixonmars
Revision: 439210
upgpkg: haskell-tamarin-prover-theory 1.4.1-7
rebuild with ghc 8.6.4
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modifi
Date: Wednesday, February 27, 2019 @ 11:50:32
Author: felixonmars
Revision: 436351
upgpkg: haskell-tamarin-prover-theory 1.4.1-6
rebuild with th-abstraction 0.2.11.0
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Saturday, February 16, 2019 @ 19:16:48
Author: felixonmars
Revision: 433721
upgpkg: haskell-tamarin-prover-theory 1.4.1-5
rebuild with hashable-time 0.2.0.2
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 de
Date: Friday, February 15, 2019 @ 09:32:25
Author: felixonmars
Revision: 432509
upgpkg: haskell-tamarin-prover-theory 1.4.1-4
rebuild with tasty 1.2, tasty-rerun 1.1.14
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+)
Date: Sunday, February 10, 2019 @ 10:52:50
Author: felixonmars
Revision: 431306
upgpkg: haskell-tamarin-prover-theory 1.4.1-3
rebuild with generic-deriving 1.12.3
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 de
Date: Sunday, January 20, 2019 @ 22:40:44
Author: felixonmars
Revision: 425722
upgpkg: haskell-tamarin-prover-theory 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, hspec-core
2.7.0, hspec 2.7.0, h
Date: Sunday, January 20, 2019 @ 11:17:14
Author: felixonmars
Revision: 425034
upgpkg: haskell-tamarin-prover-theory 1.4.1-1
rebuild with tamarin-prover 1.4.1
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
Deleted:
haskell-tamarin-prover-theory/trunk/ghc-8.4.patch
Date: Saturday, January 19, 2019 @ 10:43:50
Author: felixonmars
Revision: 424446
upgpkg: haskell-tamarin-prover-theory 1.4.0-51
rebuild with unordered-containers 0.2.10.0
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(
Date: Sunday, December 30, 2018 @ 11:30:38
Author: felixonmars
Revision: 419132
upgpkg: haskell-tamarin-prover-theory 1.4.0-50
rebuild with th-abstraction 0.2.10.0
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 d
Date: Monday, December 10, 2018 @ 10:13:18
Author: felixonmars
Revision: 413986
upgpkg: haskell-tamarin-prover-theory 1.4.0-49
rebuild with ghc 8.6.3, cmark-gfm 0.1.6
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+),
Date: Saturday, December 8, 2018 @ 18:53:29
Author: felixonmars
Revision: 412486
upgpkg: haskell-tamarin-prover-theory 1.4.0-48
rebuild with vector 0.12.0.2
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion
Date: Wednesday, December 5, 2018 @ 09:12:32
Author: felixonmars
Revision: 411290
upgpkg: haskell-tamarin-prover-theory 1.4.0-47
rebuild with base64-bytestring 1.0.0.2
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+),
Date: Tuesday, November 27, 2018 @ 16:43:20
Author: felixonmars
Revision: 410042
upgpkg: haskell-tamarin-prover-theory 1.4.0-46
rebuild with aeson 1.4.2.0
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-
Date: Wednesday, November 7, 2018 @ 11:10:10
Author: felixonmars
Revision: 402722
upgpkg: haskell-tamarin-prover-theory 1.4.0-45
rebuild with ghc 8.6.2
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD | 10 +-
1 file changed, 5 insertions(+), 5 dele
Date: Wednesday, October 31, 2018 @ 11:20:40
Author: felixonmars
Revision: 400041
upgpkg: haskell-tamarin-prover-theory 1.4.0-44
rebuild with ansi-terminal 0.8.2
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 del
Date: Friday, October 19, 2018 @ 04:24:32
Author: felixonmars
Revision: 397069
upgpkg: haskell-tamarin-prover-theory 1.4.0-43
rebuild with base-compat 0.10.5
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletio
Date: Tuesday, October 16, 2018 @ 07:43:40
Author: felixonmars
Revision: 394514
upgpkg: haskell-tamarin-prover-theory 1.4.0-42
rebuild with ghc 8.6.1
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
Date: Thursday, October 11, 2018 @ 10:25:51
Author: felixonmars
Revision: 392321
upgpkg: haskell-tamarin-prover-theory 1.4.0-41
rebuild with tasty 1.1.0.4
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-
Date: Friday, October 5, 2018 @ 11:36:28
Author: felixonmars
Revision: 389900
upgpkg: haskell-tamarin-prover-theory 1.4.0-40
rebuild with optparse-applicative 0.14.3.0
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+),
Date: Friday, September 28, 2018 @ 06:14:44
Author: felixonmars
Revision: 386792
upgpkg: haskell-tamarin-prover-theory 1.4.0-39
rebuild with quickcheck-instances 0.3.19
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+)
Date: Thursday, September 27, 2018 @ 11:20:40
Author: felixonmars
Revision: 386200
upgpkg: haskell-tamarin-prover-theory 1.4.0-38
rebuild with aeson 1.4.1.0
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion
Date: Wednesday, September 26, 2018 @ 15:12:09
Author: felixonmars
Revision: 385405
upgpkg: haskell-tamarin-prover-theory 1.4.0-37
rebuild with ChasingBottoms 1.3.1.5
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+),
Date: Saturday, September 15, 2018 @ 08:08:02
Author: felixonmars
Revision: 381339
upgpkg: haskell-tamarin-prover-theory 1.4.0-36
rebuild with ansi-terminal 0.8.1
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 de
Date: Thursday, September 13, 2018 @ 16:00:39
Author: felixonmars
Revision: 380338
upgpkg: haskell-tamarin-prover-theory 1.4.0-35
rebuild with dlist 0.8.0.5
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion
Date: Monday, September 10, 2018 @ 12:19:17
Author: felixonmars
Revision: 379167
upgpkg: haskell-tamarin-prover-theory 1.4.0-34
rebuild with integer-logarithms 1.0.2.2
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+),
Date: Thursday, September 6, 2018 @ 09:06:20
Author: felixonmars
Revision: 377433
upgpkg: haskell-tamarin-prover-theory 1.4.0-33
rebuild with test-framework-quickcheck2 0.3.0.5
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 inse
Date: Sunday, August 26, 2018 @ 15:29:46
Author: felixonmars
Revision: 374371
upgpkg: haskell-tamarin-prover-theory 1.4.0-32
rebuild with time-locale-compat 0.1.1.5
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Tuesday, August 7, 2018 @ 16:56:38
Author: felixonmars
Revision: 370144
upgpkg: haskell-tamarin-prover-theory 1.4.0-31
rebuild with aeson 1.4.0.0
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Sunday, July 29, 2018 @ 03:54:58
Author: felixonmars
Revision: 363995
upgpkg: haskell-tamarin-prover-theory 1.4.0-30
rebuild with tasty 1.1.0.3
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Mo
Date: Tuesday, July 17, 2018 @ 10:41:21
Author: felixonmars
Revision: 360625
upgpkg: haskell-tamarin-prover-theory 1.4.0-29
rebuild with hspec 2.5.5, hspec-core 2.5.5, hspec-discover 2.5.5
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file cha
Date: Saturday, July 14, 2018 @ 17:46:11
Author: felixonmars
Revision: 359360
upgpkg: haskell-tamarin-prover-theory 1.4.0-28
rebuild with parallel 3.2.2.0
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-
Date: Wednesday, July 11, 2018 @ 09:24:33
Author: felixonmars
Revision: 357094
upgpkg: haskell-tamarin-prover-theory 1.4.0-27
rebuild with hspec 2.5.4, hspec-core 2.5.4, hspec-discover 2.5.4
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file c
Date: Tuesday, July 10, 2018 @ 14:45:09
Author: felixonmars
Revision: 356142
upgpkg: haskell-tamarin-prover-theory 1.4.0-26
rebuild with base-compat 0.10.4
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(
Date: Friday, July 6, 2018 @ 14:12:27
Author: felixonmars
Revision: 353681
upgpkg: haskell-tamarin-prover-theory 1.4.0-25
rebuild with hspec 2.5.3, hspec-core 2.5.3, hspec-discover 2.5.3
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file chang
Date: Wednesday, July 4, 2018 @ 17:39:24
Author: felixonmars
Revision: 351944
upgpkg: haskell-tamarin-prover-theory 1.4.0-24
rebuild with semigroupoids 5.3.1, base-orphans 0.8
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 inser
Date: Tuesday, July 3, 2018 @ 06:59:15
Author: felixonmars
Revision: 350496
upgpkg: haskell-tamarin-prover-theory 1.4.0-23
rebuild with tagged 0.8.6
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Mod
Date: Saturday, June 30, 2018 @ 20:08:27
Author: felixonmars
Revision: 349173
upgpkg: haskell-tamarin-prover-theory 1.4.0-22
rebuild with th-abstraction 0.2.8.0
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 dele
Date: Thursday, June 28, 2018 @ 20:16:40
Author: felixonmars
Revision: 347615
upgpkg: haskell-tamarin-prover-theory 1.4.0-21
rebuild with generic-deriving 1.12.2
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 del
Date: Thursday, June 28, 2018 @ 13:09:01
Author: felixonmars
Revision: 346723
upgpkg: haskell-tamarin-prover-theory 1.4.0-20
rebuild with hspec 2.5.2, hspec-core 2.5.2, hspec-discover 2.5.2
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file ch
Date: Sunday, June 24, 2018 @ 07:27:20
Author: felixonmars
Revision: 345028
upgpkg: haskell-tamarin-prover-theory 1.4.0-19
rebuild with tasty 1.1.0.2
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Mo
Date: Monday, June 18, 2018 @ 06:45:26
Author: felixonmars
Revision: 343608
upgpkg: haskell-tamarin-prover-theory 1.4.0-18
rebuild with th-abstraction 0.2.7.0
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deleti
Date: Sunday, June 3, 2018 @ 07:31:16
Author: felixonmars
Revision: 338834
upgpkg: haskell-tamarin-prover-theory 1.4.0-17
rebuild with tasty 1.1.0.1
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Mod
Date: Saturday, June 2, 2018 @ 13:52:06
Author: felixonmars
Revision: 337581
upgpkg: haskell-tamarin-prover-theory 1.4.0-16
rebuild with primitive 0.6.4.0
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-
Date: Friday, June 1, 2018 @ 11:23:52
Author: felixonmars
Revision: 335999
upgpkg: haskell-tamarin-prover-theory 1.4.0-15
rebuild with ghc 8.4.3
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modifie
Date: Thursday, May 31, 2018 @ 04:43:22
Author: felixonmars
Revision: 334112
upgpkg: haskell-tamarin-prover-theory 1.4.0-14
rebuild with temporary 1.3
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
M
Date: Monday, May 28, 2018 @ 13:02:29
Author: felixonmars
Revision: 332586
upgpkg: haskell-tamarin-prover-theory 1.4.0-13
rebuild with exceptions 0.10.0
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Saturday, May 26, 2018 @ 21:44:47
Author: felixonmars
Revision: 331262
upgpkg: haskell-tamarin-prover-theory 1.4.0-12
rebuild with transformers-base 0.4.5.2 transformers-compat 0.6.2
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file cha
Date: Friday, May 25, 2018 @ 18:43:56
Author: felixonmars
Revision: 329547
upgpkg: haskell-tamarin-prover-theory 1.4.0-11
rebuild with hspec,2.5.1 hspec-core,2.5.1 hspec-discover,2.5.1
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed
Date: Thursday, May 24, 2018 @ 13:31:07
Author: felixonmars
Revision: 328727
upgpkg: haskell-tamarin-prover-theory 1.4.0-10
rebuild with base-orphans,0.7
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Wednesday, May 23, 2018 @ 08:52:27
Author: felixonmars
Revision: 328112
upgpkg: haskell-tamarin-prover-theory 1.4.0-9
rebuild with safe,0.3.17
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Mod
Date: Monday, May 21, 2018 @ 20:00:19
Author: felixonmars
Revision: 326609
upgpkg: haskell-tamarin-prover-theory 1.4.0-8
rebuild with ansi-terminal,0.8.0.4
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(
Date: Monday, May 21, 2018 @ 08:36:10
Author: felixonmars
Revision: 325898
upgpkg: haskell-tamarin-prover-theory 1.4.0-7
rebuild with async,2.2.1
Modified:
haskell-tamarin-prover-theory/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modifi
101 - 200 of 238 matches
Mail list logo