subject:"\[arch\-commits\] Commit in haskell\-ghc\-typelits\-natnormalise\/trunk \(PKGBUILD\)"

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-06-13 Thread Felix Yan via arch-commits

Date: Saturday, June 13, 2020 @ 21:31:23
  Author: felixonmars
Revision: 643150

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-10: rebuild with splitmix 0.0.5

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-06-13 21:30:41 UTC (rev 643149)
+++ PKGBUILD2020-06-13 21:31:23 UTC (rev 643150)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=9
+pkgrel=10
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-12-13 Thread Felix Yan via arch-commits

Date: Sunday, December 13, 2020 @ 13:06:07
  Author: felixonmars
Revision: 774197

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-40: rebuild with base-orphans 
0.8.5

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-12-13 13:05:15 UTC (rev 774196)
+++ PKGBUILD2020-12-13 13:06:07 UTC (rev 774197)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=39
+pkgrel=40
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-12-17 Thread Felix Yan via arch-commits

Date: Thursday, December 17, 2020 @ 15:47:06
  Author: felixonmars
Revision: 777574

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-41: rebuild with th-abstraction 
0.4.1.0

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-12-17 15:46:14 UTC (rev 777573)
+++ PKGBUILD2020-12-17 15:47:06 UTC (rev 777574)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=40
+pkgrel=41
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-12-20 Thread Felix Yan via arch-commits

Date: Sunday, December 20, 2020 @ 08:50:51
  Author: felixonmars
Revision: 780231

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-42: rebuild with tasty-hunit 
0.10.0.3

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-12-20 08:50:00 UTC (rev 780230)
+++ PKGBUILD2020-12-20 08:50:51 UTC (rev 780231)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=41
+pkgrel=42
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-12-22 Thread Felix Yan via arch-commits

Date: Wednesday, December 23, 2020 @ 03:14:49
  Author: felixonmars
Revision: 783468

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-43: rebuild with 
tasty-smallcheck 0.8.2

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-12-23 03:13:56 UTC (rev 783467)
+++ PKGBUILD2020-12-23 03:14:49 UTC (rev 783468)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=42
+pkgrel=43
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-12-23 Thread Felix Yan via arch-commits

Date: Thursday, December 24, 2020 @ 04:44:26
  Author: felixonmars
Revision: 786321

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-44: rebuild with ghc 8.10.3

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-12-24 04:43:55 UTC (rev 786320)
+++ PKGBUILD2020-12-24 04:44:26 UTC (rev 786321)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=43
+pkgrel=44
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-12-24 Thread Felix Yan via arch-commits

Date: Friday, December 25, 2020 @ 01:24:19
  Author: felixonmars
Revision: 789365

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-45: rebuild with comonad 5.0.7

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-12-25 01:23:07 UTC (rev 789364)
+++ PKGBUILD2020-12-25 01:24:19 UTC (rev 789365)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=44
+pkgrel=45
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-12-25 Thread Felix Yan via arch-commits

Date: Friday, December 25, 2020 @ 23:59:31
  Author: felixonmars
Revision: 791279

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-46: rebuild with 
tasty-quickcheck 0.10.1.2

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-12-25 23:59:01 UTC (rev 791278)
+++ PKGBUILD2020-12-25 23:59:31 UTC (rev 791279)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=45
+pkgrel=46
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-09-07 Thread Felix Yan via arch-commits

Date: Monday, September 7, 2020 @ 10:12:32
  Author: felixonmars
Revision: 699548

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-22: rebuild with hspec 2.7.3, 
hspec-core 2.7.3, hspec-discover 2.7.3

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-09-07 10:11:51 UTC (rev 699547)
+++ PKGBUILD2020-09-07 10:12:32 UTC (rev 699548)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=21
+pkgrel=22
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-09-10 Thread Felix Yan via arch-commits

Date: Thursday, September 10, 2020 @ 16:24:03
  Author: felixonmars
Revision: 701899

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-23: rebuild with mwc-random 
0.15.0.1

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-09-10 16:23:09 UTC (rev 701898)
+++ PKGBUILD2020-09-10 16:24:03 UTC (rev 701899)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=22
+pkgrel=23
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-09-12 Thread Felix Yan via arch-commits

Date: Saturday, September 12, 2020 @ 15:15:29
  Author: felixonmars
Revision: 704088

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-24: rebuild with ansi-terminal 
0.11

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-09-12 15:14:55 UTC (rev 704087)
+++ PKGBUILD2020-09-12 15:15:29 UTC (rev 704088)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=23
+pkgrel=24
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-09-14 Thread Felix Yan via arch-commits

Date: Monday, September 14, 2020 @ 18:46:28
  Author: felixonmars
Revision: 706272

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-25: rebuild with 
quickcheck-classes-base 0.6.1.0

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-09-14 18:46:00 UTC (rev 706271)
+++ PKGBUILD2020-09-14 18:46:28 UTC (rev 706272)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=24
+pkgrel=25
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-07-31 Thread Felix Yan via arch-commits

Date: Friday, July 31, 2020 @ 21:08:29
  Author: felixonmars
Revision: 666498

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-13: rebuild with QuickCheck 
2.14.1

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-07-31 21:07:39 UTC (rev 666497)
+++ PKGBUILD2020-07-31 21:08:29 UTC (rev 666498)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=12
+pkgrel=13
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-08-17 Thread Felix Yan via arch-commits

Date: Monday, August 17, 2020 @ 17:35:03
  Author: felixonmars
Revision: 682924

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-17: rebuild with ghc 8.10.2

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-08-17 17:34:08 UTC (rev 682923)
+++ PKGBUILD2020-08-17 17:35:03 UTC (rev 682924)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=16
+pkgrel=17
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-08-25 Thread Felix Yan via arch-commits

Date: Tuesday, August 25, 2020 @ 10:33:41
  Author: felixonmars
Revision: 688037

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-18: rebuild with random 1.2.0

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-08-25 10:29:48 UTC (rev 688036)
+++ PKGBUILD2020-08-25 10:33:41 UTC (rev 688037)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=17
+pkgrel=18
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-08-11 Thread Felix Yan via arch-commits

Date: Tuesday, August 11, 2020 @ 19:05:39
  Author: felixonmars
Revision: 674724

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-14: rebuild with splitmix 
0.1.0.1

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-08-11 19:05:01 UTC (rev 674723)
+++ PKGBUILD2020-08-11 19:05:39 UTC (rev 674724)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=13
+pkgrel=14
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-08-13 Thread Felix Yan via arch-commits

Date: Thursday, August 13, 2020 @ 15:15:30
  Author: felixonmars
Revision: 677456

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-15: rebuild with hspec 2.7.2, 
hspec-core 2.7.2, hspec-discover 2.7.2

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-08-13 15:14:46 UTC (rev 677455)
+++ PKGBUILD2020-08-13 15:15:30 UTC (rev 677456)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=14
+pkgrel=15
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-08-15 Thread Felix Yan via arch-commits

Date: Saturday, August 15, 2020 @ 20:05:07
  Author: felixonmars
Revision: 679934

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-16: rebuild with math-functions 
0.3.4.1

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-08-15 20:04:08 UTC (rev 679933)
+++ PKGBUILD2020-08-15 20:05:07 UTC (rev 679934)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=15
+pkgrel=16
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-10-03 Thread Felix Yan via arch-commits

Date: Saturday, October 3, 2020 @ 22:34:49
  Author: felixonmars
Revision: 716828

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-28: rebuild with 
transformers-compat 0.6.6

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-10-03 22:34:17 UTC (rev 716827)
+++ PKGBUILD2020-10-03 22:34:49 UTC (rev 716828)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=27
+pkgrel=28
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-10-06 Thread Felix Yan via arch-commits

Date: Tuesday, October 6, 2020 @ 22:42:37
  Author: felixonmars
Revision: 719814

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-29: rebuild with base-compat 
0.11.2, base-compat-batteries 0.11.2

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-10-06 22:42:02 UTC (rev 719813)
+++ PKGBUILD2020-10-06 22:42:37 UTC (rev 719814)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=28
+pkgrel=29
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-08-28 Thread Felix Yan via arch-commits

Date: Friday, August 28, 2020 @ 09:10:45
  Author: felixonmars
Revision: 690336

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-19: rebuild with logict 0.7.0.3

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-08-28 09:10:01 UTC (rev 690335)
+++ PKGBUILD2020-08-28 09:10:45 UTC (rev 690336)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=18
+pkgrel=19
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-08-30 Thread Felix Yan via arch-commits

Date: Monday, August 31, 2020 @ 02:55:52
  Author: felixonmars
Revision: 693388

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-20: rebuild with happy 1.20.0

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-08-31 02:54:43 UTC (rev 693387)
+++ PKGBUILD2020-08-31 02:55:52 UTC (rev 693388)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=19
+pkgrel=20
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-09-02 Thread Felix Yan via arch-commits

Date: Wednesday, September 2, 2020 @ 17:11:26
  Author: felixonmars
Revision: 696622

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-21: rebuild with mwc-random 
0.15.0.0

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-09-02 17:10:32 UTC (rev 696621)
+++ PKGBUILD2020-09-02 17:11:26 UTC (rev 696622)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=20
+pkgrel=21
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-03-31 Thread Felix Yan via arch-commits

Date: Tuesday, March 31, 2020 @ 22:19:24
  Author: felixonmars
Revision: 608447

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-6: rebuild with QuickCheck 2.14

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-03-31 22:18:48 UTC (rev 608446)
+++ PKGBUILD2020-03-31 22:19:24 UTC (rev 608447)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=5
+pkgrel=6
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-06-23 Thread Felix Yan via arch-commits

Date: Tuesday, June 23, 2020 @ 20:26:41
  Author: felixonmars
Revision: 651552

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-11: rebuild with splitmix 0.1

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-06-23 20:25:09 UTC (rev 651551)
+++ PKGBUILD2020-06-23 20:26:41 UTC (rev 651552)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=10
+pkgrel=11
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-06-28 Thread Felix Yan via arch-commits

Date: Sunday, June 28, 2020 @ 21:13:04
  Author: felixonmars
Revision: 655353

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-12: rebuild with primitive 
0.7.1.0

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-06-28 21:12:21 UTC (rev 655352)
+++ PKGBUILD2020-06-28 21:13:04 UTC (rev 655353)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=11
+pkgrel=12
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-05-11 Thread Felix Yan via arch-commits

Date: Monday, May 11, 2020 @ 21:02:24
  Author: felixonmars
Revision: 626527

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-8: rebuild with tasty 1.3

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-05-11 21:01:15 UTC (rev 626526)
+++ PKGBUILD2020-05-11 21:02:24 UTC (rev 626527)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=7
+pkgrel=8
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-11-06 Thread Felix Yan via arch-commits

Date: Friday, November 6, 2020 @ 11:04:49
  Author: felixonmars
Revision: 743942

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-36: rebuild with splitmix 
0.1.0.3

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-11-06 11:04:14 UTC (rev 743941)
+++ PKGBUILD2020-11-06 11:04:49 UTC (rev 743942)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=35
+pkgrel=36
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-11-15 Thread Felix Yan via arch-commits

Date: Sunday, November 15, 2020 @ 23:07:29
  Author: felixonmars
Revision: 754956

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-37: rebuild with QuickCheck 
2.14.2

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-11-15 23:06:26 UTC (rev 754955)
+++ PKGBUILD2020-11-15 23:07:29 UTC (rev 754956)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=36
+pkgrel=37
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-11-22 Thread Felix Yan via arch-commits

Date: Sunday, November 22, 2020 @ 12:17:34
  Author: felixonmars
Revision: 758942

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-38: rebuild with 
optparse-applicative 0.16.1.0

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-11-22 12:16:34 UTC (rev 758941)
+++ PKGBUILD2020-11-22 12:17:34 UTC (rev 758942)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=37
+pkgrel=38
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-11-27 Thread Felix Yan via arch-commits

Date: Friday, November 27, 2020 @ 19:56:08
  Author: felixonmars
Revision: 764643

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-39: rebuild with 
unbounded-delays 0.1.1.1

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-11-27 19:55:06 UTC (rev 764642)
+++ PKGBUILD2020-11-27 19:56:08 UTC (rev 764643)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=38
+pkgrel=39
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-04-23 Thread Felix Yan via arch-commits

Date: Friday, April 24, 2020 @ 02:57:14
  Author: felixonmars
Revision: 618605

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-7: rebuild with ghc 8.10.1

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-04-24 02:56:37 UTC (rev 618604)
+++ PKGBUILD2020-04-24 02:57:14 UTC (rev 618605)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=6
+pkgrel=7
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-10-27 Thread Felix Yan via arch-commits

Date: Tuesday, October 27, 2020 @ 19:58:35
  Author: felixonmars
Revision: 735007

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-33: rebuild with 
optparse-applicative 0.16.0.0, optparse-generic 1.4.3, turtle 1.5.21

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-10-27 19:58:04 UTC (rev 735006)
+++ PKGBUILD2020-10-27 19:58:35 UTC (rev 735007)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=32
+pkgrel=33
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-10-30 Thread Felix Yan via arch-commits

Date: Friday, October 30, 2020 @ 21:54:16
  Author: felixonmars
Revision: 737294

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-34: rebuild with unliftio 
0.2.13.1

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-10-30 21:53:45 UTC (rev 737293)
+++ PKGBUILD2020-10-30 21:54:16 UTC (rev 737294)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=33
+pkgrel=34
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-11-02 Thread Felix Yan via arch-commits

Date: Monday, November 2, 2020 @ 12:29:40
  Author: felixonmars
Revision: 739571

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-35: rebuild with HUnit 1.6.1.0

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-11-02 12:28:50 UTC (rev 739570)
+++ PKGBUILD2020-11-02 12:29:40 UTC (rev 739571)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=34
+pkgrel=35
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-05-23 Thread Felix Yan via arch-commits

Date: Saturday, May 23, 2020 @ 14:12:07
  Author: felixonmars
Revision: 631940

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-9: rebuild with tasty 1.3.1

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-05-23 14:11:15 UTC (rev 631939)
+++ PKGBUILD2020-05-23 14:12:07 UTC (rev 631940)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=8
+pkgrel=9
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')
@@ -24,7 +24,7 @@
 runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
 --prefix=/usr --docdir=/usr/share/doc/$pkgname --enable-tests \
 --dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
-runhaskell Setup build
+runhaskell Setup build $MAKEFLAGS
 runhaskell Setup register --gen-script
 runhaskell Setup unregister --gen-script
 sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-09-17 Thread Felix Yan via arch-commits

Date: Thursday, September 17, 2020 @ 18:18:25
  Author: felixonmars
Revision: 708965

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-26: rebuild with hspec 2.7.4, 
hspec-core 2.7.4, hspec-discover 2.7.4

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-09-17 18:17:52 UTC (rev 708964)
+++ PKGBUILD2020-09-17 18:18:25 UTC (rev 708965)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=25
+pkgrel=26
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-10-01 Thread Felix Yan via arch-commits

Date: Thursday, October 1, 2020 @ 22:47:55
  Author: felixonmars
Revision: 714556

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-27: rebuild with base-orphans 
0.8.3

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-10-01 22:47:20 UTC (rev 714555)
+++ PKGBUILD2020-10-01 22:47:55 UTC (rev 714556)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=26
+pkgrel=27
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-10-16 Thread Felix Yan via arch-commits

Date: Friday, October 16, 2020 @ 16:32:59
  Author: felixonmars
Revision: 724734

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-30: rebuild with th-abstraction 
0.4.0.0

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-10-16 16:32:05 UTC (rev 724733)
+++ PKGBUILD2020-10-16 16:32:59 UTC (rev 724734)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=29
+pkgrel=30
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-10-21 Thread Felix Yan via arch-commits

Date: Wednesday, October 21, 2020 @ 17:10:02
  Author: felixonmars
Revision: 728028

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-31: rebuild with splitmix 
0.1.0.2

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-10-21 17:09:16 UTC (rev 728027)
+++ PKGBUILD2020-10-21 17:10:02 UTC (rev 728028)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=30
+pkgrel=31
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-10-24 Thread Felix Yan via arch-commits

Date: Saturday, October 24, 2020 @ 21:54:37
  Author: felixonmars
Revision: 731816

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-32: rebuild with bifunctors 
5.5.8

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-10-24 21:54:01 UTC (rev 731815)
+++ PKGBUILD2020-10-24 21:54:37 UTC (rev 731816)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=31
+pkgrel=32
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-12-28 Thread Felix Yan via arch-commits

Date: Monday, December 28, 2020 @ 08:36:22
  Author: felixonmars
Revision: 794336

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-47: rebuild with 
indexed-traversable 0.1.1

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-12-28 08:30:51 UTC (rev 794335)
+++ PKGBUILD2020-12-28 08:36:22 UTC (rev 794336)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=46
+pkgrel=47
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-12-29 Thread Felix Yan via arch-commits

Date: Tuesday, December 29, 2020 @ 08:26:30
  Author: felixonmars
Revision: 796464

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-48: rebuild with tagged 0.8.6.1

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-12-29 08:25:58 UTC (rev 796463)
+++ PKGBUILD2020-12-29 08:26:30 UTC (rev 796464)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=47
+pkgrel=48
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-03-11 Thread Felix Yan via arch-commits

Date: Wednesday, March 11, 2020 @ 14:33:47
  Author: felixonmars
Revision: 594271

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-1: rebuild with 
ghc-typelits-natnormalise 0.7.2

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-03-11 14:32:30 UTC (rev 594270)
+++ PKGBUILD2020-03-11 14:33:47 UTC (rev 594271)
@@ -2,7 +2,7 @@
 
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
-pkgver=0.7.1
+pkgver=0.7.2
 pkgrel=1
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
@@ -11,7 +11,7 @@
 depends=('ghc-libs' 'haskell-ghc' 'haskell-ghc-tcplugins-extra' 'haskell-syb')
 makedepends=('ghc' 'haskell-tasty' 'haskell-tasty-hunit')
 
source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz)
-sha512sums=('47a4d016f4e240603dbf66f4bca8169b478097050954bd969e5142ffe70b6fe5827faf06b88099619f63354eb72218d9b2c76c1d49a7dd3d0dd771299736a056')
+sha512sums=('75c7a8a598a337ef4b3e23a59fa65b3cb50438369493a661a86c57a9bcf74bd8ea82cbaf80fb378cd1e88443161134bf0cc86fdb033c9468541a9b22053d429e')
 
 prepare() {
 cd $_hkgname-$pkgver

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-03-11 Thread Felix Yan via arch-commits

Date: Wednesday, March 11, 2020 @ 21:14:10
  Author: felixonmars
Revision: 594634

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-2: rebuild with 
ghc-tcplugins-extra 0.3.1

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-03-11 21:13:30 UTC (rev 594633)
+++ PKGBUILD2020-03-11 21:14:10 UTC (rev 594634)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=1
+pkgrel=2
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-03-14 Thread Felix Yan via arch-commits

Date: Saturday, March 14, 2020 @ 18:00:31
  Author: felixonmars
Revision: 597061

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-3: rebuild with 
ghc-tcplugins-extra 0.3.2

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-03-14 18:00:01 UTC (rev 597060)
+++ PKGBUILD2020-03-14 18:00:31 UTC (rev 597061)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=2
+pkgrel=3
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-03-15 Thread Felix Yan via arch-commits

Date: Sunday, March 15, 2020 @ 13:09:58
  Author: felixonmars
Revision: 598002

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-4: rebuild with hashable 1.3.0.0

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-03-15 13:09:14 UTC (rev 598001)
+++ PKGBUILD2020-03-15 13:09:58 UTC (rev 598002)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=3
+pkgrel=4
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-03-16 Thread Felix Yan via arch-commits

Date: Monday, March 16, 2020 @ 12:28:19
  Author: felixonmars
Revision: 599696

upgpkg: haskell-ghc-typelits-natnormalise 0.7.2-5: rebuild with 
ghc-tcplugins-extra 0.4

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-03-16 12:27:29 UTC (rev 599695)
+++ PKGBUILD2020-03-16 12:28:19 UTC (rev 599696)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7.2
-pkgrel=4
+pkgrel=5
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-02-25 Thread Felix Yan via arch-commits

Date: Tuesday, February 25, 2020 @ 14:55:42
  Author: felixonmars
Revision: 581398

upgpkg: haskell-ghc-typelits-natnormalise 0.7-8: rebuild with splitmix 0.0.4

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-02-25 14:54:50 UTC (rev 581397)
+++ PKGBUILD2020-02-25 14:55:42 UTC (rev 581398)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7
-pkgrel=7
+pkgrel=8
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')
@@ -37,6 +37,6 @@
 install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
 install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
 runhaskell Setup copy --destdir="$pkgdir"
-install -D -m644 "LICENSE" 
"${pkgdir}/usr/share/licenses/${pkgname}/LICENSE"
-rm -f "${pkgdir}/usr/share/doc/${pkgname}/LICENSE"
+install -D -m644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
+rm -f "$pkgdir"/usr/share/doc/$pkgname/LICENSE
 }

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2019-12-23 Thread Felix Yan via arch-commits

Date: Monday, December 23, 2019 @ 09:44:55
  Author: felixonmars
Revision: 539012

upgpkg: haskell-ghc-typelits-natnormalise 0.6.2-29: 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.11.0, 
optparse-applicative 0.15.1.0

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2019-12-23 09:43:50 UTC (rev 539011)
+++ PKGBUILD2019-12-23 09:44:55 UTC (rev 539012)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.6.2
-pkgrel=28
+pkgrel=29
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2019-12-25 Thread Felix Yan via arch-commits

Date: Wednesday, December 25, 2019 @ 10:33:54
  Author: felixonmars
Revision: 540746

upgpkg: haskell-ghc-typelits-natnormalise 0.6.2-30: rebuild with tasty-hunit 
0.10.0.2

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2019-12-25 10:33:03 UTC (rev 540745)
+++ PKGBUILD2019-12-25 10:33:54 UTC (rev 540746)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.6.2
-pkgrel=29
+pkgrel=30
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-02-27 Thread Felix Yan via arch-commits

Date: Thursday, February 27, 2020 @ 13:24:08
  Author: felixonmars
Revision: 584036

upgpkg: haskell-ghc-typelits-natnormalise 0.7-9: rebuild with ghc 8.8.3

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-02-27 13:23:22 UTC (rev 584035)
+++ PKGBUILD2020-02-27 13:24:08 UTC (rev 584036)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7
-pkgrel=8
+pkgrel=9
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-03-01 Thread Felix Yan via arch-commits

Date: Sunday, March 1, 2020 @ 16:44:02
  Author: felixonmars
Revision: 587739

upgpkg: haskell-ghc-typelits-natnormalise 0.7-10: rebuild with primitive 0.7.0.1

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-03-01 16:43:11 UTC (rev 587738)
+++ PKGBUILD2020-03-01 16:44:02 UTC (rev 587739)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7
-pkgrel=9
+pkgrel=10
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-03-08 Thread Felix Yan via arch-commits

Date: Sunday, March 8, 2020 @ 16:19:14
  Author: felixonmars
Revision: 592226

upgpkg: haskell-ghc-typelits-natnormalise 0.7.1-1: rebuild with 
ghc-typelits-natnormalise 0.7.1

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |   13 +
 1 file changed, 9 insertions(+), 4 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-03-08 16:08:44 UTC (rev 592225)
+++ PKGBUILD2020-03-08 16:19:14 UTC (rev 592226)
@@ -2,17 +2,22 @@
 
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
-pkgver=0.7
-pkgrel=10
+pkgver=0.7.1
+pkgrel=1
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')
 arch=('x86_64')
-depends=('ghc-libs' 'haskell-ghc' 'haskell-ghc-tcplugins-extra')
+depends=('ghc-libs' 'haskell-ghc' 'haskell-ghc-tcplugins-extra' 'haskell-syb')
 makedepends=('ghc' 'haskell-tasty' 'haskell-tasty-hunit')
 
source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz)
-sha512sums=('dde87e6977f31f90da7eaff583ddc32f251de5f9dcec8ebfb7564c1a1ba3a8736723607fda7ecad3b9e69ee63b13461841e5173abaecb78627521ac569698940')
+sha512sums=('47a4d016f4e240603dbf66f4bca8169b478097050954bd969e5142ffe70b6fe5827faf06b88099619f63354eb72218d9b2c76c1d49a7dd3d0dd771299736a056')
 
+prepare() {
+cd $_hkgname-$pkgver
+sed -i 's/0.3.1/0.3/' $_hkgname.cabal
+}
+
 build() {
 cd $_hkgname-$pkgver

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-01-09 Thread Felix Yan via arch-commits

Date: Thursday, January 9, 2020 @ 13:08:14
  Author: felixonmars
Revision: 551119

upgpkg: haskell-ghc-typelits-natnormalise 0.7-1: 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, 
unexceptionalio 0.5.0, gtk2hs-buildtools 0.13.8.0, ghc-typelits-natnormalise 0.7

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-01-09 13:06:35 UTC (rev 551118)
+++ PKGBUILD2020-01-09 13:08:14 UTC (rev 551119)
@@ -2,8 +2,8 @@
 
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
-pkgver=0.6.2
-pkgrel=33
+pkgver=0.7
+pkgrel=1
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')
@@ -11,7 +11,7 @@
 depends=('ghc-libs' 'haskell-ghc' 'haskell-ghc-tcplugins-extra')
 makedepends=('ghc' 'haskell-tasty' 'haskell-tasty-hunit')
 
source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz)
-sha512sums=('e8ebdff54d97ad1e98221986e633e010c213340693f8739e5fe79a42e3d1d9dbb42907d0d3545f66b61da1698e5cbf5ff7f7bd58fdbad18ba1393a0deb24a460')
+sha512sums=('dde87e6977f31f90da7eaff583ddc32f251de5f9dcec8ebfb7564c1a1ba3a8736723607fda7ecad3b9e69ee63b13461841e5173abaecb78627521ac569698940')
 
 build() {
 cd $_hkgname-$pkgver

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-02-10 Thread Felix Yan via arch-commits

Date: Monday, February 10, 2020 @ 22:31:35
  Author: felixonmars
Revision: 566319

upgpkg: haskell-ghc-typelits-natnormalise 0.7-6: rebuild with ansi-terminal 
0.10.3

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-02-10 22:30:53 UTC (rev 566318)
+++ PKGBUILD2020-02-10 22:31:35 UTC (rev 566319)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7
-pkgrel=5
+pkgrel=6
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-02-15 Thread Felix Yan via arch-commits

Date: Saturday, February 15, 2020 @ 23:01:58
  Author: felixonmars
Revision: 571979

upgpkg: haskell-ghc-typelits-natnormalise 0.7-7: rebuild with ghc 8.8.2

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-02-15 23:01:15 UTC (rev 571978)
+++ PKGBUILD2020-02-15 23:01:58 UTC (rev 571979)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7
-pkgrel=6
+pkgrel=7
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2019-12-30 Thread Felix Yan via arch-commits

Date: Monday, December 30, 2019 @ 08:14:10
  Author: felixonmars
Revision: 544111

upgpkg: haskell-ghc-typelits-natnormalise 0.6.2-31: rebuild with exceptions 
0.10.4

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2019-12-30 08:13:18 UTC (rev 544110)
+++ PKGBUILD2019-12-30 08:14:10 UTC (rev 544111)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.6.2
-pkgrel=30
+pkgrel=31
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-01-02 Thread Felix Yan via arch-commits

Date: Thursday, January 2, 2020 @ 13:55:30
  Author: felixonmars
Revision: 546126

upgpkg: haskell-ghc-typelits-natnormalise 0.6.2-32: rebuild with ansi-terminal 
0.10.1

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-01-02 13:54:30 UTC (rev 546125)
+++ PKGBUILD2020-01-02 13:55:30 UTC (rev 546126)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.6.2
-pkgrel=31
+pkgrel=32
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-01-04 Thread Felix Yan via arch-commits

Date: Saturday, January 4, 2020 @ 16:06:11
  Author: felixonmars
Revision: 548033

upgpkg: haskell-ghc-typelits-natnormalise 0.6.2-33: rebuild with ansi-terminal 
0.10.2

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-01-04 16:05:10 UTC (rev 548032)
+++ PKGBUILD2020-01-04 16:06:11 UTC (rev 548033)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.6.2
-pkgrel=32
+pkgrel=33
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-01-27 Thread Felix Yan via arch-commits

Date: Monday, January 27, 2020 @ 23:10:11
  Author: felixonmars
Revision: 556667

upgpkg: haskell-ghc-typelits-natnormalise 0.7-2: rebuild with base-orphans 0.8.2

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-01-27 23:09:28 UTC (rev 55)
+++ PKGBUILD2020-01-27 23:10:11 UTC (rev 556667)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7
-pkgrel=1
+pkgrel=2
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-01-29 Thread Felix Yan via arch-commits

Date: Wednesday, January 29, 2020 @ 10:34:29
  Author: felixonmars
Revision: 558587

upgpkg: haskell-ghc-typelits-natnormalise 0.7-3: rebuild with base-compat 
0.11.1, base-compat-batteries 0.11.1

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-01-29 10:33:46 UTC (rev 558586)
+++ PKGBUILD2020-01-29 10:34:29 UTC (rev 558587)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7
-pkgrel=2
+pkgrel=3
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-02-04 Thread Felix Yan via arch-commits

Date: Tuesday, February 4, 2020 @ 18:00:03
  Author: felixonmars
Revision: 562180

upgpkg: haskell-ghc-typelits-natnormalise 0.7-4: rebuild with vector 0.12.1.0

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-02-04 17:59:15 UTC (rev 562179)
+++ PKGBUILD2020-02-04 18:00:03 UTC (rev 562180)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7
-pkgrel=3
+pkgrel=4
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2020-02-05 Thread Felix Yan via arch-commits

Date: Wednesday, February 5, 2020 @ 08:07:47
  Author: felixonmars
Revision: 562824

upgpkg: haskell-ghc-typelits-natnormalise 0.7-5: rebuild with vector 0.12.1.0

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2020-02-05 08:06:57 UTC (rev 562823)
+++ PKGBUILD2020-02-05 08:07:47 UTC (rev 562824)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.7
-pkgrel=4
+pkgrel=5
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2019-07-17 Thread Felix Yan via arch-commits

Date: Wednesday, July 17, 2019 @ 16:32:30
  Author: felixonmars
Revision: 490287

upgpkg: haskell-ghc-typelits-natnormalise 0.6.2-24

rebuild with QuickCheck 2.13.2

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2019-07-17 16:31:48 UTC (rev 490286)
+++ PKGBUILD2019-07-17 16:32:30 UTC (rev 490287)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.6.2
-pkgrel=23
+pkgrel=24
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2019-07-26 Thread Felix Yan via arch-commits

Date: Saturday, July 27, 2019 @ 05:43:23
  Author: felixonmars
Revision: 493010

upgpkg: haskell-ghc-typelits-natnormalise 0.6.2-25

rebuild with silently 1.2.5.1

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2019-07-27 05:42:37 UTC (rev 493009)
+++ PKGBUILD2019-07-27 05:43:23 UTC (rev 493010)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.6.2
-pkgrel=24
+pkgrel=25
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2019-07-31 Thread Felix Yan via arch-commits

Date: Wednesday, July 31, 2019 @ 15:50:18
  Author: felixonmars
Revision: 495588

upgpkg: haskell-ghc-typelits-natnormalise 0.6.2-26

rebuild with splitmix 0.0.3

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2019-07-31 15:49:29 UTC (rev 495587)
+++ PKGBUILD2019-07-31 15:50:18 UTC (rev 495588)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.6.2
-pkgrel=25
+pkgrel=26
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2019-08-26 Thread Felix Yan via arch-commits

Date: Monday, August 26, 2019 @ 09:06:18
  Author: felixonmars
Revision: 501964

upgpkg: haskell-ghc-typelits-natnormalise 0.6.2-27

rebuild with call-stack 0.2.0

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2019-08-26 09:05:36 UTC (rev 501963)
+++ PKGBUILD2019-08-26 09:06:18 UTC (rev 501964)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.6.2
-pkgrel=26
+pkgrel=27
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2019-09-01 Thread Felix Yan via arch-commits

Date: Monday, September 2, 2019 @ 05:30:53
  Author: felixonmars
Revision: 506502

upgpkg: haskell-ghc-typelits-natnormalise 0.6.2-28

rebuild with exceptions 0.10.3

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2019-09-02 05:30:15 UTC (rev 506501)
+++ PKGBUILD2019-09-02 05:30:53 UTC (rev 506502)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.6.2
-pkgrel=27
+pkgrel=28
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2019-06-30 Thread Felix Yan via arch-commits

Date: Sunday, June 30, 2019 @ 16:47:47
  Author: felixonmars
Revision: 486346

upgpkg: haskell-ghc-typelits-natnormalise 0.6.2-23

rebuild with tasty 1.2.3

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2019-06-30 16:47:11 UTC (rev 486345)
+++ PKGBUILD2019-06-30 16:47:47 UTC (rev 486346)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.6.2
-pkgrel=22
+pkgrel=23
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2019-02-14 Thread Felix Yan via arch-commits

Date: Thursday, February 14, 2019 @ 19:47:58
  Author: felixonmars
Revision: 432259

upgpkg: haskell-ghc-typelits-natnormalise 0.6.2-10

rebuild with tasty 1.2, tasty-rerun 1.1.14

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2019-02-14 19:47:07 UTC (rev 432258)
+++ PKGBUILD2019-02-14 19:47:58 UTC (rev 432259)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.6.2
-pkgrel=9
+pkgrel=10
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2019-01-20 Thread Felix Yan via arch-commits

Date: Sunday, January 20, 2019 @ 18:43:43
  Author: felixonmars
Revision: 425419

upgpkg: haskell-ghc-typelits-natnormalise 0.6.2-9

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

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2019-01-20 18:43:02 UTC (rev 425418)
+++ PKGBUILD2019-01-20 18:43:43 UTC (rev 425419)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.6.2
-pkgrel=8
+pkgrel=9
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2019-04-26 Thread Felix Yan via arch-commits

Date: Friday, April 26, 2019 @ 07:36:23
  Author: felixonmars
Revision: 454167

upgpkg: haskell-ghc-typelits-natnormalise 0.6.2-14

rebuild with ghc 8.6.5

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2019-04-26 07:35:34 UTC (rev 454166)
+++ PKGBUILD2019-04-26 07:36:23 UTC (rev 454167)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.6.2
-pkgrel=13
+pkgrel=14
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2019-06-08 Thread Felix Yan via arch-commits

Date: Saturday, June 8, 2019 @ 22:11:36
  Author: felixonmars
Revision: 478438

upgpkg: haskell-ghc-typelits-natnormalise 0.6.2-22

rebuild with async 2.2.2

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2019-06-08 22:10:53 UTC (rev 478437)
+++ PKGBUILD2019-06-08 22:11:36 UTC (rev 478438)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.6.2
-pkgrel=21
+pkgrel=22
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2019-05-06 Thread Felix Yan via arch-commits

Date: Monday, May 6, 2019 @ 10:52:48
  Author: felixonmars
Revision: 460616

upgpkg: haskell-ghc-typelits-natnormalise 0.6.2-15

rebuild with colour 2.3.5

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2019-05-06 10:52:11 UTC (rev 460615)
+++ PKGBUILD2019-05-06 10:52:48 UTC (rev 460616)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.6.2
-pkgrel=14
+pkgrel=15
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2019-05-12 Thread Felix Yan via arch-commits

Date: Sunday, May 12, 2019 @ 08:08:16
  Author: felixonmars
Revision: 465880

upgpkg: haskell-ghc-typelits-natnormalise 0.6.2-16

rebuild with transformers-compat 0.6.5

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2019-05-12 08:07:40 UTC (rev 465879)
+++ PKGBUILD2019-05-12 08:08:16 UTC (rev 465880)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.6.2
-pkgrel=15
+pkgrel=16
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2019-03-09 Thread Felix Yan via arch-commits

Date: Sunday, March 10, 2019 @ 01:11:09
  Author: felixonmars
Revision: 438886

upgpkg: haskell-ghc-typelits-natnormalise 0.6.2-11

rebuild with ghc 8.6.4

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2019-03-10 01:10:30 UTC (rev 438885)
+++ PKGBUILD2019-03-10 01:11:09 UTC (rev 438886)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.6.2
-pkgrel=10
+pkgrel=11
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2019-04-01 Thread Felix Yan via arch-commits

Date: Monday, April 1, 2019 @ 19:37:08
  Author: felixonmars
Revision: 447008

upgpkg: haskell-ghc-typelits-natnormalise 0.6.2-12

rebuild with transformers-compat 0.6.3

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2019-04-01 19:36:24 UTC (rev 447007)
+++ PKGBUILD2019-04-01 19:37:08 UTC (rev 447008)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.6.2
-pkgrel=11
+pkgrel=12
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2019-04-03 Thread Felix Yan via arch-commits

Date: Wednesday, April 3, 2019 @ 21:06:40
  Author: felixonmars
Revision: 448408

upgpkg: haskell-ghc-typelits-natnormalise 0.6.2-13

rebuild with transformers-compat 0.6.4

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2019-04-03 21:05:56 UTC (rev 448407)
+++ PKGBUILD2019-04-03 21:06:40 UTC (rev 448408)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.6.2
-pkgrel=12
+pkgrel=13
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2019-05-27 Thread Felix Yan via arch-commits

Date: Monday, May 27, 2019 @ 07:35:12
  Author: felixonmars
Revision: 471051

upgpkg: haskell-ghc-typelits-natnormalise 0.6.2-17

rebuild with QuickCheck 2.13.1

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2019-05-27 07:34:34 UTC (rev 471050)
+++ PKGBUILD2019-05-27 07:35:12 UTC (rev 471051)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.6.2
-pkgrel=16
+pkgrel=17
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2019-05-27 Thread Felix Yan via arch-commits

Date: Monday, May 27, 2019 @ 14:32:08
  Author: felixonmars
Revision: 471412

upgpkg: haskell-ghc-typelits-natnormalise 0.6.2-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:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2019-05-27 14:31:27 UTC (rev 471411)
+++ PKGBUILD2019-05-27 14:32:08 UTC (rev 471412)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.6.2
-pkgrel=17
+pkgrel=18
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2019-05-28 Thread Felix Yan via arch-commits

Date: Tuesday, May 28, 2019 @ 17:23:31
  Author: felixonmars
Revision: 472799

upgpkg: haskell-ghc-typelits-natnormalise 0.6.2-19

rebuild with clock 0.8

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2019-05-28 17:22:53 UTC (rev 472798)
+++ PKGBUILD2019-05-28 17:23:31 UTC (rev 472799)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.6.2
-pkgrel=18
+pkgrel=19
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2019-05-28 Thread Felix Yan via arch-commits

Date: Tuesday, May 28, 2019 @ 22:10:46
  Author: felixonmars
Revision: 473147

upgpkg: haskell-ghc-typelits-natnormalise 0.6.2-20

rebuild with clock 0.8

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2019-05-28 22:10:08 UTC (rev 473146)
+++ PKGBUILD2019-05-28 22:10:46 UTC (rev 473147)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.6.2
-pkgrel=19
+pkgrel=20
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2019-05-30 Thread Felix Yan via arch-commits

Date: Thursday, May 30, 2019 @ 09:12:25
  Author: felixonmars
Revision: 474567

upgpkg: haskell-ghc-typelits-natnormalise 0.6.2-21

rebuild with ansi-terminal 0.9.1, ansi-wl-pprint 0.6.9

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2019-05-30 09:11:46 UTC (rev 474566)
+++ PKGBUILD2019-05-30 09:12:25 UTC (rev 474567)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.6.2
-pkgrel=20
+pkgrel=21
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2018-09-14 Thread Felix Yan via arch-commits

Date: Saturday, September 15, 2018 @ 04:57:04
  Author: felixonmars
Revision: 381051

upgpkg: haskell-ghc-typelits-natnormalise 0.6.2-2

rebuild with ansi-terminal 0.8.1

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2018-09-15 04:54:21 UTC (rev 381050)
+++ PKGBUILD2018-09-15 04:57:04 UTC (rev 381051)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.6.2
-pkgrel=1
+pkgrel=2
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2018-10-05 Thread Felix Yan via arch-commits

Date: Friday, October 5, 2018 @ 09:55:40
  Author: felixonmars
Revision: 389735

upgpkg: haskell-ghc-typelits-natnormalise 0.6.2-3

rebuild with optparse-applicative 0.14.3.0

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2018-10-05 09:54:56 UTC (rev 389734)
+++ PKGBUILD2018-10-05 09:55:40 UTC (rev 389735)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.6.2
-pkgrel=2
+pkgrel=3
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2018-10-10 Thread Felix Yan via arch-commits

Date: Thursday, October 11, 2018 @ 06:31:04
  Author: felixonmars
Revision: 392147

upgpkg: haskell-ghc-typelits-natnormalise 0.6.2-4

rebuild with tasty 1.1.0.4

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2018-10-11 06:30:27 UTC (rev 392146)
+++ PKGBUILD2018-10-11 06:31:04 UTC (rev 392147)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.6.2
-pkgrel=3
+pkgrel=4
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2018-10-15 Thread Felix Yan via arch-commits

Date: Monday, October 15, 2018 @ 13:38:28
  Author: felixonmars
Revision: 394158

upgpkg: haskell-ghc-typelits-natnormalise 0.6.2-5

rebuild with ghc 8.6.1

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2018-10-15 13:37:43 UTC (rev 394157)
+++ PKGBUILD2018-10-15 13:38:28 UTC (rev 394158)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.6.2
-pkgrel=4
+pkgrel=5
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2018-12-09 Thread Felix Yan via arch-commits

Date: Monday, December 10, 2018 @ 01:13:19
  Author: felixonmars
Revision: 413645

upgpkg: haskell-ghc-typelits-natnormalise 0.6.2-8

rebuild with ghc 8.6.3, cmark-gfm 0.1.6

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2018-12-10 01:12:38 UTC (rev 413644)
+++ PKGBUILD2018-12-10 01:13:19 UTC (rev 413645)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.6.2
-pkgrel=7
+pkgrel=8
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2018-10-31 Thread Felix Yan via arch-commits

Date: Wednesday, October 31, 2018 @ 07:38:07
  Author: felixonmars
Revision: 399738

upgpkg: haskell-ghc-typelits-natnormalise 0.6.2-6

rebuild with ansi-terminal 0.8.2

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2018-10-31 07:33:05 UTC (rev 399737)
+++ PKGBUILD2018-10-31 07:38:07 UTC (rev 399738)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.6.2
-pkgrel=5
+pkgrel=6
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')

[arch-commits] Commit in haskell-ghc-typelits-natnormalise/trunk (PKGBUILD)

2018-11-06 Thread Felix Yan via arch-commits

Date: Tuesday, November 6, 2018 @ 22:56:24
  Author: felixonmars
Revision: 402399

upgpkg: haskell-ghc-typelits-natnormalise 0.6.2-7

rebuild with ghc 8.6.2

Modified:
  haskell-ghc-typelits-natnormalise/trunk/PKGBUILD

--+
 PKGBUILD |   10 +-
 1 file changed, 5 insertions(+), 5 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2018-11-06 22:55:43 UTC (rev 402398)
+++ PKGBUILD2018-11-06 22:56:24 UTC (rev 402399)
@@ -3,7 +3,7 @@
 _hkgname=ghc-typelits-natnormalise
 pkgname=haskell-ghc-typelits-natnormalise
 pkgver=0.6.2
-pkgrel=6
+pkgrel=7
 pkgdesc="GHC typechecker plugin for types of kind GHC.TypeLits.Nat"
 url="https://github.com/clash-lang/ghc-typelits-natnormalise";
 license=('custom:BSD2')
@@ -17,7 +17,7 @@
 cd $_hkgname-$pkgver
 
 runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
---prefix=/usr --docdir="/usr/share/doc/${pkgname}" --enable-tests \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname --enable-tests \
 --dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
 runhaskell Setup build
 runhaskell Setup register --gen-script
@@ -34,9 +34,9 @@
 package() {
 cd $_hkgname-$pkgver
 
-install -D -m744 register.sh   
"${pkgdir}/usr/share/haskell/register/${pkgname}.sh"
-install -D -m744 unregister.sh 
"${pkgdir}/usr/share/haskell/unregister/${pkgname}.sh"
-runhaskell Setup copy --destdir="${pkgdir}"
+install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
+install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
+runhaskell Setup copy --destdir="$pkgdir"
 install -D -m644 "LICENSE" 
"${pkgdir}/usr/share/licenses/${pkgname}/LICENSE"
 rm -f "${pkgdir}/usr/share/doc/${pkgname}/LICENSE"
 }

91 matches

Mail list logo