Date: Monday, April 1, 2019 @ 23:56:31
Author: felixonmars
Revision: 447265
upgpkg: haskell-tamarin-prover-term 1.4.1-8
rebuild with transformers-compat 0.6.3
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Sunday, March 31, 2019 @ 05:17:49
Author: felixonmars
Revision: 446468
upgpkg: haskell-tamarin-prover-term 1.4.1-7
rebuild with dlist 0.8.0.6
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Thursday, March 28, 2019 @ 13:19:37
Author: felixonmars
Revision: 445304
upgpkg: haskell-tamarin-prover-term 1.4.1-6
rebuild with base-orphans 0.8.1
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Tuesday, March 26, 2019 @ 22:58:39
Author: felixonmars
Revision: 443842
upgpkg: haskell-tamarin-prover-term 1.4.1-5
rebuild with exceptions 0.10.1
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Sunday, March 10, 2019 @ 11:19:02
Author: felixonmars
Revision: 439208
upgpkg: haskell-tamarin-prover-term 1.4.1-4
rebuild with ghc 8.6.4
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified:
Date: Friday, February 15, 2019 @ 09:28:42
Author: felixonmars
Revision: 432505
upgpkg: haskell-tamarin-prover-term 1.4.1-3
rebuild with tasty 1.2, tasty-rerun 1.1.14
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Sunday, January 20, 2019 @ 22:37:24
Author: felixonmars
Revision: 425720
upgpkg: haskell-tamarin-prover-term 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,
Date: Sunday, January 20, 2019 @ 11:13:48
Author: felixonmars
Revision: 425032
upgpkg: haskell-tamarin-prover-term 1.4.1-1
rebuild with tamarin-prover 1.4.1
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
Deleted:
haskell-tamarin-prover-term/trunk/ghc-8.4.patch
---+
Date: Monday, December 10, 2018 @ 10:08:36
Author: felixonmars
Revision: 413966
upgpkg: haskell-tamarin-prover-term 1.4.0-26
rebuild with ghc 8.6.3, cmark-gfm 0.1.6
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Saturday, December 8, 2018 @ 18:50:29
Author: felixonmars
Revision: 412484
upgpkg: haskell-tamarin-prover-term 1.4.0-25
rebuild with vector 0.12.0.2
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Wednesday, December 5, 2018 @ 09:09:34
Author: felixonmars
Revision: 411288
upgpkg: haskell-tamarin-prover-term 1.4.0-24
rebuild with base64-bytestring 1.0.0.2
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Tuesday, November 6, 2018 @ 23:11:08
Author: felixonmars
Revision: 402427
upgpkg: haskell-tamarin-prover-term 1.4.0-23
rebuild with ghc 8.6.2
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD | 10 +-
1 file changed, 5 insertions(+), 5
Date: Wednesday, October 31, 2018 @ 07:57:50
Author: felixonmars
Revision: 399768
upgpkg: haskell-tamarin-prover-term 1.4.0-22
rebuild with ansi-terminal 0.8.2
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Monday, October 15, 2018 @ 14:32:45
Author: felixonmars
Revision: 394195
upgpkg: haskell-tamarin-prover-term 1.4.0-21
rebuild with ghc 8.6.1
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Thursday, October 11, 2018 @ 06:58:11
Author: felixonmars
Revision: 392193
upgpkg: haskell-tamarin-prover-term 1.4.0-20
rebuild with tasty 1.1.0.4
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Friday, October 5, 2018 @ 10:28:06
Author: felixonmars
Revision: 389784
upgpkg: haskell-tamarin-prover-term 1.4.0-19
rebuild with optparse-applicative 0.14.3.0
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Saturday, September 15, 2018 @ 05:22:23
Author: felixonmars
Revision: 381081
upgpkg: haskell-tamarin-prover-term 1.4.0-18
rebuild with ansi-terminal 0.8.1
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Thursday, September 13, 2018 @ 15:57:21
Author: felixonmars
Revision: 380336
upgpkg: haskell-tamarin-prover-term 1.4.0-17
rebuild with dlist 0.8.0.5
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Monday, September 10, 2018 @ 12:16:09
Author: felixonmars
Revision: 379165
upgpkg: haskell-tamarin-prover-term 1.4.0-16
rebuild with integer-logarithms 1.0.2.2
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Wednesday, September 5, 2018 @ 22:25:16
Author: felixonmars
Revision: 377125
upgpkg: haskell-tamarin-prover-term 1.4.0-15
rebuild with test-framework-quickcheck2 0.3.0.5
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1
Date: Saturday, July 28, 2018 @ 15:23:30
Author: felixonmars
Revision: 363825
upgpkg: haskell-tamarin-prover-term 1.4.0-14
rebuild with tasty 1.1.0.3
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Tuesday, July 3, 2018 @ 05:05:12
Author: felixonmars
Revision: 350388
upgpkg: haskell-tamarin-prover-term 1.4.0-13
rebuild with tagged 0.8.6
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Sunday, June 24, 2018 @ 06:36:33
Author: felixonmars
Revision: 344926
upgpkg: haskell-tamarin-prover-term 1.4.0-12
rebuild with tasty 1.1.0.2
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Sunday, June 3, 2018 @ 07:29:05
Author: felixonmars
Revision: 338832
upgpkg: haskell-tamarin-prover-term 1.4.0-11
rebuild with tasty 1.1.0.1
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Saturday, June 2, 2018 @ 13:50:05
Author: felixonmars
Revision: 337579
upgpkg: haskell-tamarin-prover-term 1.4.0-10
rebuild with primitive 0.6.4.0
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Friday, June 1, 2018 @ 09:42:06
Author: felixonmars
Revision: 335804
upgpkg: haskell-tamarin-prover-term 1.4.0-9
rebuild with ghc 8.4.3
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified:
Date: Saturday, May 26, 2018 @ 20:44:54
Author: felixonmars
Revision: 331155
upgpkg: haskell-tamarin-prover-term 1.4.0-8
rebuild with transformers-base 0.4.5.2 transformers-compat 0.6.2
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file
Date: Wednesday, May 23, 2018 @ 08:15:29
Author: felixonmars
Revision: 328074
upgpkg: haskell-tamarin-prover-term 1.4.0-7
rebuild with safe,0.3.17
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Monday, May 21, 2018 @ 18:48:04
Author: felixonmars
Revision: 326517
upgpkg: haskell-tamarin-prover-term 1.4.0-6
rebuild with ansi-terminal,0.8.0.4
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Monday, May 21, 2018 @ 07:21:08
Author: felixonmars
Revision: 325813
upgpkg: haskell-tamarin-prover-term 1.4.0-5
rebuild with async,2.2.1
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
haskell-tamarin-prover-term/trunk/ghc-8.4.patch
---+
PKGBUILD |4
Date: Friday, May 18, 2018 @ 07:54:16
Author: felixonmars
Revision: 324259
upgpkg: haskell-tamarin-prover-term 1.4.0-4
rebuild with ghc 8.4.2
Added:
haskell-tamarin-prover-term/trunk/ghc-8.4.patch
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
---+
PKGBUILD |
Date: Thursday, May 10, 2018 @ 08:31:59
Author: felixonmars
Revision: 320046
upgpkg: haskell-tamarin-prover-term 1.4.0-3
rebuild with scientific,0.3.6.2
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Monday, May 7, 2018 @ 18:41:49
Author: felixonmars
Revision: 319280
upgpkg: haskell-tamarin-prover-term 1.4.0-2
rebuild with scientific,0.3.6.1
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Monday, May 7, 2018 @ 13:02:44
Author: felixonmars
Revision: 319108
upgpkg: haskell-tamarin-prover-term 1.4.0-1
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
Modified: PKGBUILD
Date: Wednesday, March 21, 2018 @ 13:36:29
Author: felixonmars
Revision: 309949
upgpkg: haskell-tamarin-prover-term 1.2.3-8
rebuild with blaze-builder,0.4.1.0
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Thursday, March 15, 2018 @ 04:40:42
Author: felixonmars
Revision: 308047
upgpkg: haskell-tamarin-prover-term 1.2.3-7
rebuild with scientific,0.3.5.3
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Thursday, March 15, 2018 @ 01:23:46
Author: felixonmars
Revision: 307869
upgpkg: haskell-tamarin-prover-term 1.2.3-6
rebuild with SHA,1.6.4.4
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Saturday, March 10, 2018 @ 06:09:36
Author: felixonmars
Revision: 305623
upgpkg: haskell-tamarin-prover-term 1.2.3-5
rebuild with tasty,1.0.1.1
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Thursday, March 8, 2018 @ 09:30:04
Author: felixonmars
Revision: 304509
upgpkg: haskell-tamarin-prover-term 1.2.3-4
rebuild with hashable,1.2.7.0
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Wednesday, March 7, 2018 @ 11:42:19
Author: felixonmars
Revision: 303735
upgpkg: haskell-tamarin-prover-term 1.2.3-3
rebuild with integer-logarithms,1.0.2.1
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Monday, March 5, 2018 @ 12:30:49
Author: felixonmars
Revision: 302631
upgpkg: haskell-tamarin-prover-term 1.2.3-2
rebuild with text-short,0.1.2 tasty-quickcheck,0.10
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1
Date: Thursday, March 1, 2018 @ 05:57:53
Author: felixonmars
Revision: 300892
upgpkg: haskell-tamarin-prover-term 1.2.3-1
rebuild with tamarin-prover-term,1.2.3 tamarin-prover-theory,1.2.3
tamarin-prover-utils,1.2.3 tamarin-prover,1.2.3
Modified:
Date: Wednesday, February 28, 2018 @ 22:54:44
Author: felixonmars
Revision: 300473
upgpkg: haskell-tamarin-prover-term 1.2.2-15
rebuild with optparse-applicative,0.14.2.0
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1
Date: Tuesday, February 27, 2018 @ 09:12:08
Author: felixonmars
Revision: 299058
upgpkg: haskell-tamarin-prover-term 1.2.2-14
rebuild with mtl,2.2.2
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Saturday, February 24, 2018 @ 07:23:14
Author: felixonmars
Revision: 297460
upgpkg: haskell-tamarin-prover-term 1.2.2-13
rebuild with optparse-applicative,0.14.1.0
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1
Date: Friday, February 16, 2018 @ 18:23:39
Author: felixonmars
Revision: 295032
upgpkg: haskell-tamarin-prover-term 1.2.2-12
rebuild with tasty-golden,2.3.1.3 tasty,1.0.1 tasty-rerun,1.1.10
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file
Date: Wednesday, February 14, 2018 @ 06:30:53
Author: felixonmars
Revision: 294032
upgpkg: haskell-tamarin-prover-term 1.2.2-11
rebuild with fclabels,2.0.3.3
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Sunday, February 11, 2018 @ 07:45:19
Author: felixonmars
Revision: 291944
upgpkg: haskell-tamarin-prover-term 1.2.2-10
rebuild with parsec,3.1.13.0
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Wednesday, January 24, 2018 @ 12:38:51
Author: felixonmars
Revision: 286365
upgpkg: haskell-tamarin-prover-term 1.2.2-9
rebuild with dlist,0.8.0.4
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Monday, January 22, 2018 @ 21:24:17
Author: felixonmars
Revision: 285302
upgpkg: haskell-tamarin-prover-term 1.2.2-8
rebuild with primitive,0.6.3.0
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Sunday, January 14, 2018 @ 16:41:28
Author: felixonmars
Revision: 282166
upgpkg: haskell-tamarin-prover-term 1.2.2-7
rebuild with attoparsec,0.13.2.2
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Friday, December 29, 2017 @ 00:07:56
Author: felixonmars
Revision: 276667
upgpkg: haskell-tamarin-prover-term 1.2.2-6
rebuild with text,1.2.3.0
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Monday, November 27, 2017 @ 06:02:48
Author: felixonmars
Revision: 269234
upgpkg: haskell-tamarin-prover-term 1.2.2-5
rebuild with ghc 8.2.2
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Date: Saturday, September 23, 2017 @ 15:11:20
Author: felixonmars
Revision: 259992
upgpkg: haskell-tamarin-prover-term 1.2.2-4
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |7 ++-
1 file changed, 2 insertions(+), 5 deletions(-)
Modified: PKGBUILD
Date: Wednesday, August 30, 2017 @ 19:35:48
Author: felixonmars
Revision: 254875
upgpkg: haskell-tamarin-prover-term 1.2.2-3
rebuild with scientific,0.3.5.2
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1
Date: Tuesday, August 15, 2017 @ 15:49:30
Author: felixonmars
Revision: 251003
upgpkg: haskell-tamarin-prover-term 1.2.2-2
GHC 8.2.1 rebuild
Modified:
haskell-tamarin-prover-term/trunk/PKGBUILD
--+
PKGBUILD |8 +++-
1 file changed, 3 insertions(+), 5 deletions(-)
101 - 156 of 156 matches
Mail list logo