Date: Wednesday, December 23, 2020 @ 21:29:38
Author: felixonmars
Revision: 785325
upgpkg: haskell-smtlib 1.1-10: rebuild with ghc 8.10.3
Modified:
haskell-smtlib/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Sunday, August 30, 2020 @ 19:37:32
Author: felixonmars
Revision: 693008
upgpkg: haskell-smtlib 1.1-9: rebuild with happy 1.20.0
Modified:
haskell-smtlib/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Monday, August 17, 2020 @ 07:52:00
Author: felixonmars
Revision: 682475
upgpkg: haskell-smtlib 1.1-8: rebuild with ghc 8.10.2
Modified:
haskell-smtlib/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
Date: Thursday, April 23, 2020 @ 15:18:18
Author: felixonmars
Revision: 618258
upgpkg: haskell-smtlib 1.1-7: rebuild with ghc 8.10.1
Modified:
haskell-smtlib/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, February 26, 2020 @ 23:09:13
Author: felixonmars
Revision: 583542
upgpkg: haskell-smtlib 1.1-6: rebuild with ghc 8.8.3
Modified:
haskell-smtlib/trunk/PKGBUILD
--+
PKGBUILD |6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
Modified: PKGBUILD
Date: Saturday, February 15, 2020 @ 15:58:29
Author: felixonmars
Revision: 571655
upgpkg: haskell-smtlib 1.1-5: rebuild with ghc 8.8.2
Modified:
haskell-smtlib/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, January 8, 2020 @ 22:17:24
Author: felixonmars
Revision: 550727
upgpkg: haskell-smtlib 1.1-4: 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, easytest 0.3
Date: Thursday, April 25, 2019 @ 15:10:19
Author: felixonmars
Revision: 453905
upgpkg: haskell-smtlib 1.1-3
rebuild with ghc 8.6.5
Modified:
haskell-smtlib/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, March 9, 2019 @ 23:01:56
Author: felixonmars
Revision: 438680
upgpkg: haskell-smtlib 1.1-2
rebuild with ghc 8.6.4
Modified:
haskell-smtlib/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, January 18, 2019 @ 12:23:33
Author: felixonmars
Revision: 424075
upgpkg: haskell-smtlib 1.1-1
rebuild with smtLib 1.1
Modified:
haskell-smtlib/trunk/PKGBUILD
--+
PKGBUILD |6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
Modified: PKGBUILD
Date: Sunday, December 9, 2018 @ 22:59:47
Author: felixonmars
Revision: 413430
upgpkg: haskell-smtlib 1.0.9-6
rebuild with ghc 8.6.3, cmark-gfm 0.1.6
Modified:
haskell-smtlib/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified:
Date: Tuesday, November 6, 2018 @ 20:34:53
Author: felixonmars
Revision: 402125
upgpkg: haskell-smtlib 1.0.9-5
rebuild with ghc 8.6.1
Modified:
haskell-smtlib/trunk/PKGBUILD
--+
PKGBUILD | 14 +++---
1 file changed, 7 insertions(+), 7 deletions(-)
Modified: PKGBUILD
Date: Sunday, October 14, 2018 @ 21:23:45
Author: felixonmars
Revision: 393862
upgpkg: haskell-smtlib 1.0.9-4
rebuild with ghc 8.6.1
Modified:
haskell-smtlib/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Friday, June 1, 2018 @ 17:01:20
Author: felixonmars
Revision: 336292
upgpkg: haskell-smtlib 1.0.9-3
rebuild with ghc 8.4.3
Modified:
haskell-smtlib/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Thursday, May 17, 2018 @ 17:20:53
Author: felixonmars
Revision: 323933
upgpkg: haskell-smtlib 1.0.9-2
rebuild with ghc 8.4.2
Modified:
haskell-smtlib/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Wednesday, May 9, 2018 @ 05:08:08
Author: felixonmars
Revision: 319770
upgpkg: haskell-smtlib 1.0.9-1
rebuild with smtLib,1.0.9
Modified:
haskell-smtlib/trunk/PKGBUILD
--+
PKGBUILD |6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
Modified: PKGBUILD
Date: Sunday, November 26, 2017 @ 07:58:12
Author: felixonmars
Revision: 268823
upgpkg: haskell-smtlib 1.0.8-3
rebuild with ghc 8.2.2
Modified:
haskell-smtlib/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
Date: Saturday, September 23, 2017 @ 15:05:26
Author: felixonmars
Revision: 259982
upgpkg: haskell-smtlib 1.0.8-2
Modified:
haskell-smtlib/trunk/PKGBUILD
--+
PKGBUILD |7 ++-
1 file changed, 2 insertions(+), 5 deletions(-)
Modified: PKGBUILD
18 matches
Mail list logo