[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-12-28 Thread Felix Yan via arch-commits
Date: Monday, December 28, 2020 @ 11:33:03
  Author: felixonmars
Revision: 794742

upgpkg: haskell-bv-sized 1.0.2-42: rebuild with indexed-traversable 0.1.1

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-28 11:32:27 UTC (rev 794741)
+++ PKGBUILD2020-12-28 11:33:03 UTC (rev 794742)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.2
-pkgrel=41
+pkgrel=42
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-12-26 Thread Felix Yan via arch-commits
Date: Saturday, December 26, 2020 @ 23:11:24
  Author: felixonmars
Revision: 793212

upgpkg: haskell-bv-sized 1.0.2-41: rebuild with hedgehog 1.0.4

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-26 23:10:47 UTC (rev 793211)
+++ PKGBUILD2020-12-26 23:11:24 UTC (rev 793212)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.2
-pkgrel=40
+pkgrel=41
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-12-25 Thread Felix Yan via arch-commits
Date: Saturday, December 26, 2020 @ 04:30:06
  Author: felixonmars
Revision: 791899

upgpkg: haskell-bv-sized 1.0.2-40: rebuild with tasty-quickcheck 0.10.1.2

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-26 04:29:32 UTC (rev 791898)
+++ PKGBUILD2020-12-26 04:30:06 UTC (rev 791899)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.2
-pkgrel=39
+pkgrel=40
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-12-25 Thread Felix Yan via arch-commits
Date: Friday, December 25, 2020 @ 07:57:15
  Author: felixonmars
Revision: 789751

upgpkg: haskell-bv-sized 1.0.2-39: rebuild with comonad 5.0.7

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-25 07:56:40 UTC (rev 789750)
+++ PKGBUILD2020-12-25 07:57:15 UTC (rev 789751)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.2
-pkgrel=38
+pkgrel=39
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-12-23 Thread Felix Yan via arch-commits
Date: Thursday, December 24, 2020 @ 06:08:08
  Author: felixonmars
Revision: 786535

upgpkg: haskell-bv-sized 1.0.2-38: rebuild with ghc 8.10.3

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-24 06:07:34 UTC (rev 786534)
+++ PKGBUILD2020-12-24 06:08:08 UTC (rev 786535)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.2
-pkgrel=37
+pkgrel=38
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-12-23 Thread Felix Yan via arch-commits
Date: Wednesday, December 23, 2020 @ 12:16:31
  Author: felixonmars
Revision: 784187

upgpkg: haskell-bv-sized 1.0.2-37: rebuild with tasty-smallcheck 0.8.2

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-23 12:15:34 UTC (rev 784186)
+++ PKGBUILD2020-12-23 12:16:31 UTC (rev 784187)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.2
-pkgrel=36
+pkgrel=37
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-12-21 Thread Felix Yan via arch-commits
Date: Monday, December 21, 2020 @ 18:22:02
  Author: felixonmars
Revision: 781344

upgpkg: haskell-bv-sized 1.0.2-36: rebuild with tasty-hunit 0.10.0.3

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-21 18:21:06 UTC (rev 781343)
+++ PKGBUILD2020-12-21 18:22:02 UTC (rev 781344)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.2
-pkgrel=35
+pkgrel=36
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-12-18 Thread Felix Yan via arch-commits
Date: Friday, December 18, 2020 @ 18:52:25
  Author: felixonmars
Revision: 779458

upgpkg: haskell-bv-sized 1.0.2-35: rebuild with free 5.1.5

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-18 18:51:28 UTC (rev 779457)
+++ PKGBUILD2020-12-18 18:52:25 UTC (rev 779458)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.2
-pkgrel=34
+pkgrel=35
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-12-18 Thread Felix Yan via arch-commits
Date: Friday, December 18, 2020 @ 14:55:53
  Author: felixonmars
Revision: 778699

upgpkg: haskell-bv-sized 1.0.2-34: rebuild with th-abstraction 0.4.1.0

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-18 14:54:56 UTC (rev 778698)
+++ PKGBUILD2020-12-18 14:55:53 UTC (rev 778699)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.2
-pkgrel=33
+pkgrel=34
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-12-14 Thread Felix Yan via arch-commits
Date: Monday, December 14, 2020 @ 12:09:18
  Author: felixonmars
Revision: 774935

upgpkg: haskell-bv-sized 1.0.2-33: rebuild with base-orphans 0.8.5

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-14 12:08:22 UTC (rev 774934)
+++ PKGBUILD2020-12-14 12:09:18 UTC (rev 774935)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.2
-pkgrel=32
+pkgrel=33
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-11-27 Thread Felix Yan via arch-commits
Date: Saturday, November 28, 2020 @ 01:15:12
  Author: felixonmars
Revision: 764932

upgpkg: haskell-bv-sized 1.0.2-32: rebuild with unbounded-delays 0.1.1.1

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-28 01:13:56 UTC (rev 764931)
+++ PKGBUILD2020-11-28 01:15:12 UTC (rev 764932)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.2
-pkgrel=31
+pkgrel=32
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-11-22 Thread Felix Yan via arch-commits
Date: Sunday, November 22, 2020 @ 23:28:23
  Author: felixonmars
Revision: 759734

upgpkg: haskell-bv-sized 1.0.2-31: rebuild with optparse-applicative 0.16.1.0

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-22 23:27:25 UTC (rev 759733)
+++ PKGBUILD2020-11-22 23:28:23 UTC (rev 759734)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.2
-pkgrel=30
+pkgrel=31
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-11-16 Thread Felix Yan via arch-commits
Date: Tuesday, November 17, 2020 @ 05:12:30
  Author: felixonmars
Revision: 755947

upgpkg: haskell-bv-sized 1.0.2-30: rebuild with QuickCheck 2.14.2, 
quickcheck-instances 0.3.25.1

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-17 05:11:31 UTC (rev 755946)
+++ PKGBUILD2020-11-17 05:12:30 UTC (rev 755947)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.2
-pkgrel=29
+pkgrel=30
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-11-06 Thread Felix Yan via arch-commits
Date: Friday, November 6, 2020 @ 19:00:03
  Author: felixonmars
Revision: 744520

upgpkg: haskell-bv-sized 1.0.2-29: rebuild with splitmix 0.1.0.3

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-06 18:59:25 UTC (rev 744519)
+++ PKGBUILD2020-11-06 19:00:03 UTC (rev 744520)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.2
-pkgrel=28
+pkgrel=29
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-11-03 Thread Felix Yan via arch-commits
Date: Tuesday, November 3, 2020 @ 09:58:32
  Author: felixonmars
Revision: 740521

upgpkg: haskell-bv-sized 1.0.2-28: rebuild with HUnit 1.6.1.0

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-03 09:57:30 UTC (rev 740520)
+++ PKGBUILD2020-11-03 09:58:32 UTC (rev 740521)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.2
-pkgrel=27
+pkgrel=28
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-10-31 Thread Felix Yan via arch-commits
Date: Saturday, October 31, 2020 @ 22:50:50
  Author: felixonmars
Revision: 737951

upgpkg: haskell-bv-sized 1.0.2-27: rebuild with unliftio 0.2.13.1

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-31 22:50:14 UTC (rev 737950)
+++ PKGBUILD2020-10-31 22:50:50 UTC (rev 737951)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.2
-pkgrel=26
+pkgrel=27
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-10-28 Thread Felix Yan via arch-commits
Date: Wednesday, October 28, 2020 @ 11:03:36
  Author: felixonmars
Revision: 735421

upgpkg: haskell-bv-sized 1.0.2-26: rebuild with optparse-applicative 0.16.0.0, 
optparse-generic 1.4.3, turtle 1.5.21

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-28 11:02:57 UTC (rev 735420)
+++ PKGBUILD2020-10-28 11:03:36 UTC (rev 735421)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.2
-pkgrel=25
+pkgrel=26
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-10-25 Thread Felix Yan via arch-commits
Date: Sunday, October 25, 2020 @ 23:46:27
  Author: felixonmars
Revision: 733732

upgpkg: haskell-bv-sized 1.0.2-25: rebuild with free 5.1.4

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-25 23:45:49 UTC (rev 733731)
+++ PKGBUILD2020-10-25 23:46:27 UTC (rev 733732)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.2
-pkgrel=24
+pkgrel=25
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-10-25 Thread Felix Yan via arch-commits
Date: Sunday, October 25, 2020 @ 14:27:22
  Author: felixonmars
Revision: 732679

upgpkg: haskell-bv-sized 1.0.2-24: rebuild with bifunctors 5.5.8

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-25 14:26:48 UTC (rev 732678)
+++ PKGBUILD2020-10-25 14:27:22 UTC (rev 732679)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.2
-pkgrel=23
+pkgrel=24
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-10-24 Thread Felix Yan via arch-commits
Date: Saturday, October 24, 2020 @ 09:40:14
  Author: felixonmars
Revision: 731137

upgpkg: haskell-bv-sized 1.0.2-23: rebuild with generic-deriving 1.14

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-24 09:39:32 UTC (rev 731136)
+++ PKGBUILD2020-10-24 09:40:14 UTC (rev 731137)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.2
-pkgrel=22
+pkgrel=23
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-10-22 Thread Felix Yan via arch-commits
Date: Thursday, October 22, 2020 @ 23:47:10
  Author: felixonmars
Revision: 730365

upgpkg: haskell-bv-sized 1.0.2-22: rebuild with profunctors 5.6

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-22 23:46:38 UTC (rev 730364)
+++ PKGBUILD2020-10-22 23:47:10 UTC (rev 730365)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.2
-pkgrel=21
+pkgrel=22
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-10-22 Thread Felix Yan via arch-commits
Date: Thursday, October 22, 2020 @ 10:24:00
  Author: felixonmars
Revision: 728942

upgpkg: haskell-bv-sized 1.0.2-21: rebuild with splitmix 0.1.0.2

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-22 10:23:17 UTC (rev 728941)
+++ PKGBUILD2020-10-22 10:24:00 UTC (rev 728942)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.2
-pkgrel=20
+pkgrel=21
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-10-18 Thread Felix Yan via arch-commits
Date: Sunday, October 18, 2020 @ 22:28:46
  Author: felixonmars
Revision: 726872

upgpkg: haskell-bv-sized 1.0.2-20: rebuild with invariant 0.5.4

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-18 22:27:52 UTC (rev 726871)
+++ PKGBUILD2020-10-18 22:28:46 UTC (rev 726872)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.2
-pkgrel=19
+pkgrel=20
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-10-17 Thread Felix Yan via arch-commits
Date: Saturday, October 17, 2020 @ 22:17:08
  Author: felixonmars
Revision: 725652

upgpkg: haskell-bv-sized 1.0.2-19: rebuild with th-abstraction 0.4.0.0

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-17 22:16:01 UTC (rev 725651)
+++ PKGBUILD2020-10-17 22:17:08 UTC (rev 725652)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.2
-pkgrel=18
+pkgrel=19
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-10-14 Thread Felix Yan via arch-commits
Date: Wednesday, October 14, 2020 @ 21:12:16
  Author: felixonmars
Revision: 723995

upgpkg: haskell-bv-sized 1.0.2-18: rebuild with tasty-ant-xml 1.1.7

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-14 21:11:43 UTC (rev 723994)
+++ PKGBUILD2020-10-14 21:12:16 UTC (rev 723995)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.2
-pkgrel=17
+pkgrel=18
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-10-09 Thread Felix Yan via arch-commits
Date: Friday, October 9, 2020 @ 18:11:20
  Author: felixonmars
Revision: 722652

upgpkg: haskell-bv-sized 1.0.2-17: rebuild with unordered-containers 0.2.13.0

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-09 18:10:46 UTC (rev 722651)
+++ PKGBUILD2020-10-09 18:11:20 UTC (rev 722652)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.2
-pkgrel=16
+pkgrel=17
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-10-07 Thread Felix Yan via arch-commits
Date: Wednesday, October 7, 2020 @ 13:35:20
  Author: felixonmars
Revision: 720550

upgpkg: haskell-bv-sized 1.0.2-16: rebuild with base-compat 0.11.2, 
base-compat-batteries 0.11.2

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-07 13:35:01 UTC (rev 720549)
+++ PKGBUILD2020-10-07 13:35:20 UTC (rev 720550)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.2
-pkgrel=15
+pkgrel=16
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-10-05 Thread Felix Yan via arch-commits
Date: Monday, October 5, 2020 @ 21:46:52
  Author: felixonmars
Revision: 719158

upgpkg: haskell-bv-sized 1.0.2-15: rebuild with kan-extensions 5.2.1

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-05 21:46:15 UTC (rev 719157)
+++ PKGBUILD2020-10-05 21:46:52 UTC (rev 719158)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.2
-pkgrel=14
+pkgrel=15
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-10-04 Thread Felix Yan via arch-commits
Date: Sunday, October 4, 2020 @ 10:33:01
  Author: felixonmars
Revision: 717534

upgpkg: haskell-bv-sized 1.0.2-14: rebuild with transformers-compat 0.6.6

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-04 10:32:29 UTC (rev 717533)
+++ PKGBUILD2020-10-04 10:33:01 UTC (rev 717534)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.2
-pkgrel=13
+pkgrel=14
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-10-02 Thread Felix Yan via arch-commits
Date: Friday, October 2, 2020 @ 11:33:48
  Author: felixonmars
Revision: 715311

upgpkg: haskell-bv-sized 1.0.2-13: rebuild with base-orphans 0.8.3

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-02 11:33:14 UTC (rev 715310)
+++ PKGBUILD2020-10-02 11:33:48 UTC (rev 715311)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.2
-pkgrel=12
+pkgrel=13
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-09-29 Thread Felix Yan via arch-commits
Date: Tuesday, September 29, 2020 @ 19:14:02
  Author: felixonmars
Revision: 713741

upgpkg: haskell-bv-sized 1.0.2-12: rebuild with th-lift 0.8.2

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-29 19:13:23 UTC (rev 713740)
+++ PKGBUILD2020-09-29 19:14:02 UTC (rev 713741)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.2
-pkgrel=11
+pkgrel=12
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-09-24 Thread Felix Yan via arch-commits
Date: Thursday, September 24, 2020 @ 14:30:35
  Author: felixonmars
Revision: 711825

upgpkg: haskell-bv-sized 1.0.2-11: rebuild with parameterized-utils 2.1.1

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-24 14:29:56 UTC (rev 711824)
+++ PKGBUILD2020-09-24 14:30:35 UTC (rev 711825)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.2
-pkgrel=10
+pkgrel=11
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-09-18 Thread Felix Yan via arch-commits
Date: Saturday, September 19, 2020 @ 01:26:26
  Author: felixonmars
Revision: 710831

upgpkg: haskell-bv-sized 1.0.2-10: rebuild with hashtables 1.2.4.1

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-19 01:25:50 UTC (rev 710830)
+++ PKGBUILD2020-09-19 01:26:26 UTC (rev 710831)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.2
-pkgrel=9
+pkgrel=10
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-09-17 Thread Felix Yan via arch-commits
Date: Friday, September 18, 2020 @ 04:06:46
  Author: felixonmars
Revision: 709682

upgpkg: haskell-bv-sized 1.0.2-9: rebuild with hspec 2.7.4, hspec-core 2.7.4, 
hspec-discover 2.7.4

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-18 04:06:09 UTC (rev 709681)
+++ PKGBUILD2020-09-18 04:06:46 UTC (rev 709682)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.2
-pkgrel=8
+pkgrel=9
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-09-15 Thread Felix Yan via arch-commits
Date: Tuesday, September 15, 2020 @ 07:22:24
  Author: felixonmars
Revision: 706962

upgpkg: haskell-bv-sized 1.0.2-8: rebuild with quickcheck-classes-base 0.6.1.0

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-15 07:21:50 UTC (rev 706961)
+++ PKGBUILD2020-09-15 07:22:24 UTC (rev 706962)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.2
-pkgrel=7
+pkgrel=8
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-09-12 Thread Felix Yan via arch-commits
Date: Saturday, September 12, 2020 @ 20:25:38
  Author: felixonmars
Revision: 704768

upgpkg: haskell-bv-sized 1.0.2-7: rebuild with ansi-terminal 0.11

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-12 20:25:03 UTC (rev 704767)
+++ PKGBUILD2020-09-12 20:25:38 UTC (rev 704768)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.2
-pkgrel=6
+pkgrel=7
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-09-11 Thread Felix Yan via arch-commits
Date: Friday, September 11, 2020 @ 10:14:29
  Author: felixonmars
Revision: 702645

upgpkg: haskell-bv-sized 1.0.2-6: rebuild with mwc-random 0.15.0.1

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-11 10:13:28 UTC (rev 702644)
+++ PKGBUILD2020-09-11 10:14:29 UTC (rev 702645)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.2
-pkgrel=5
+pkgrel=6
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-09-08 Thread Felix Yan via arch-commits
Date: Tuesday, September 8, 2020 @ 23:19:18
  Author: felixonmars
Revision: 701430

upgpkg: haskell-bv-sized 1.0.2-5: rebuild with hashtables 1.2.4.0

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-08 23:18:32 UTC (rev 701429)
+++ PKGBUILD2020-09-08 23:19:18 UTC (rev 701430)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.2
-pkgrel=4
+pkgrel=5
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-09-07 Thread Felix Yan via arch-commits
Date: Monday, September 7, 2020 @ 19:35:54
  Author: felixonmars
Revision: 700224

upgpkg: haskell-bv-sized 1.0.2-4: rebuild with hspec 2.7.3, hspec-core 2.7.3, 
hspec-discover 2.7.3

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-07 19:34:57 UTC (rev 700223)
+++ PKGBUILD2020-09-07 19:35:54 UTC (rev 700224)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.2
-pkgrel=3
+pkgrel=4
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-09-04 Thread Felix Yan via arch-commits
Date: Friday, September 4, 2020 @ 20:08:40
  Author: felixonmars
Revision: 698563

upgpkg: haskell-bv-sized 1.0.2-3: rebuild with tasty-expected-failure 0.12.1

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-04 20:07:43 UTC (rev 698562)
+++ PKGBUILD2020-09-04 20:08:40 UTC (rev 698563)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.2
-pkgrel=2
+pkgrel=3
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-09-03 Thread Felix Yan via arch-commits
Date: Thursday, September 3, 2020 @ 13:44:28
  Author: felixonmars
Revision: 697384

upgpkg: haskell-bv-sized 1.0.2-2: rebuild with mwc-random 0.15.0.0

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-03 13:43:13 UTC (rev 697383)
+++ PKGBUILD2020-09-03 13:44:28 UTC (rev 697384)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.2
-pkgrel=1
+pkgrel=2
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-09-01 Thread Felix Yan via arch-commits
Date: Tuesday, September 1, 2020 @ 10:18:42
  Author: felixonmars
Revision: 695346

upgpkg: haskell-bv-sized 1.0.2-1: rebuild with bv-sized 1.0.2

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-01 10:16:10 UTC (rev 695345)
+++ PKGBUILD2020-09-01 10:18:42 UTC (rev 695346)
@@ -2,8 +2,8 @@
 
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
-pkgver=1.0.1
-pkgrel=15
+pkgver=1.0.2
+pkgrel=1
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')
@@ -12,11 +12,10 @@
  'haskell-th-lift')
 makedepends=('ghc' 'haskell-hedgehog' 'haskell-tasty' 'haskell-tasty-hedgehog')
 
source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz)
-sha512sums=('c9e8f793f90aaf0ea4816c6b70fe84d47e2a2bb29ff91b5ed4dd2927d5bce5ae9f53a7b76ada86314ab99ecf9561f05f54afa7d5997632848a0ddacbeee9e10c')
+sha512sums=('444765f2ba395edfdf2ebcc78ab336f4ac408ee64f1be6964821fc7c7ccf011fe8d3118e1f471a5e29889e4b1dd72e26d05eb3cac865b2d8c38831af81327443')
 
 prepare() {
 cd $_hkgname-$pkgver
-sed -i 's/< *1.3/<2/' $_hkgname.cabal
 echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs
 }
 


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-08-31 Thread Felix Yan via arch-commits
Date: Monday, August 31, 2020 @ 09:36:19
  Author: felixonmars
Revision: 694007

upgpkg: haskell-bv-sized 1.0.1-15: rebuild with happy 1.20.0

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-31 09:35:33 UTC (rev 694006)
+++ PKGBUILD2020-08-31 09:36:19 UTC (rev 694007)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.1
-pkgrel=14
+pkgrel=15
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-08-28 Thread Felix Yan via arch-commits
Date: Friday, August 28, 2020 @ 19:01:21
  Author: felixonmars
Revision: 691160

upgpkg: haskell-bv-sized 1.0.1-14: rebuild with logict 0.7.0.3

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-28 19:00:29 UTC (rev 691159)
+++ PKGBUILD2020-08-28 19:01:21 UTC (rev 691160)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.1
-pkgrel=13
+pkgrel=14
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-08-25 Thread Felix Yan via arch-commits
Date: Tuesday, August 25, 2020 @ 21:30:43
  Author: felixonmars
Revision: 688765

upgpkg: haskell-bv-sized 1.0.1-13: rebuild with random 1.2.0

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-25 21:29:44 UTC (rev 688764)
+++ PKGBUILD2020-08-25 21:30:43 UTC (rev 688765)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.1
-pkgrel=12
+pkgrel=13
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-08-19 Thread Felix Yan via arch-commits
Date: Wednesday, August 19, 2020 @ 18:04:45
  Author: felixonmars
Revision: 685072

upgpkg: haskell-bv-sized 1.0.1-12: rebuild with tasty-expected-failure 0.12

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-19 18:03:46 UTC (rev 685071)
+++ PKGBUILD2020-08-19 18:04:45 UTC (rev 685072)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.1
-pkgrel=11
+pkgrel=12
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-08-17 Thread Felix Yan via arch-commits
Date: Tuesday, August 18, 2020 @ 00:19:33
  Author: felixonmars
Revision: 683607

upgpkg: haskell-bv-sized 1.0.1-11: rebuild with ghc 8.10.2

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-18 00:18:36 UTC (rev 683606)
+++ PKGBUILD2020-08-18 00:19:33 UTC (rev 683607)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.1
-pkgrel=10
+pkgrel=11
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-08-16 Thread Felix Yan via arch-commits
Date: Sunday, August 16, 2020 @ 17:57:17
  Author: felixonmars
Revision: 681722

upgpkg: haskell-bv-sized 1.0.1-10: rebuild with lifted-async 0.10.1.2

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-16 17:56:19 UTC (rev 681721)
+++ PKGBUILD2020-08-16 17:57:17 UTC (rev 681722)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.1
-pkgrel=9
+pkgrel=10
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-08-16 Thread Felix Yan via arch-commits
Date: Sunday, August 16, 2020 @ 16:22:50
  Author: felixonmars
Revision: 681628

upgpkg: haskell-bv-sized 1.0.1-9: rebuild with lifted-async 0.10.1.2

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-16 16:21:52 UTC (rev 681627)
+++ PKGBUILD2020-08-16 16:22:50 UTC (rev 681628)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.1
-pkgrel=8
+pkgrel=9
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-08-15 Thread Felix Yan via arch-commits
Date: Sunday, August 16, 2020 @ 03:14:18
  Author: felixonmars
Revision: 680629

upgpkg: haskell-bv-sized 1.0.1-8: rebuild with math-functions 0.3.4.1

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-16 03:13:22 UTC (rev 680628)
+++ PKGBUILD2020-08-16 03:14:18 UTC (rev 680629)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.1
-pkgrel=7
+pkgrel=8
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-08-13 Thread Felix Yan via arch-commits
Date: Thursday, August 13, 2020 @ 22:13:48
  Author: felixonmars
Revision: 678183

upgpkg: haskell-bv-sized 1.0.1-7: rebuild with hspec 2.7.2, hspec-core 2.7.2, 
hspec-discover 2.7.2

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-13 22:13:04 UTC (rev 678182)
+++ PKGBUILD2020-08-13 22:13:48 UTC (rev 678183)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.1
-pkgrel=6
+pkgrel=7
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-08-11 Thread Felix Yan via arch-commits
Date: Wednesday, August 12, 2020 @ 01:51:09
  Author: felixonmars
Revision: 675443

upgpkg: haskell-bv-sized 1.0.1-6: rebuild with splitmix 0.1.0.1

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-12 01:50:26 UTC (rev 675442)
+++ PKGBUILD2020-08-12 01:51:09 UTC (rev 675443)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.1
-pkgrel=5
+pkgrel=6
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-08-07 Thread Felix Yan via arch-commits
Date: Saturday, August 8, 2020 @ 05:25:44
  Author: felixonmars
Revision: 671860

upgpkg: haskell-bv-sized 1.0.1-5: rebuild with lifted-async 0.10.1.1

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-08 05:24:58 UTC (rev 671859)
+++ PKGBUILD2020-08-08 05:25:44 UTC (rev 671860)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.1
-pkgrel=4
+pkgrel=5
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-08-05 Thread Felix Yan via arch-commits
Date: Thursday, August 6, 2020 @ 03:54:49
  Author: felixonmars
Revision: 670385

upgpkg: haskell-bv-sized 1.0.1-4: rebuild with hedgehog 1.0.3

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-06 03:53:59 UTC (rev 670384)
+++ PKGBUILD2020-08-06 03:54:49 UTC (rev 670385)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.1
-pkgrel=3
+pkgrel=4
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-08-05 Thread Felix Yan via arch-commits
Date: Wednesday, August 5, 2020 @ 10:22:59
  Author: felixonmars
Revision: 669299

upgpkg: haskell-bv-sized 1.0.1-3: rebuild with unordered-containers 0.2.12.0

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-05 10:22:11 UTC (rev 669298)
+++ PKGBUILD2020-08-05 10:22:59 UTC (rev 669299)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.1
-pkgrel=2
+pkgrel=3
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')


[arch-commits] Commit in haskell-bv-sized/trunk (PKGBUILD)

2020-07-31 Thread Felix Yan via arch-commits
Date: Saturday, August 1, 2020 @ 05:15:20
  Author: felixonmars
Revision: 667208

upgpkg: haskell-bv-sized 1.0.1-2: rebuild with QuickCheck 2.14.1

Modified:
  haskell-bv-sized/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-01 05:14:10 UTC (rev 667207)
+++ PKGBUILD2020-08-01 05:15:20 UTC (rev 667208)
@@ -3,7 +3,7 @@
 _hkgname=bv-sized
 pkgname=haskell-bv-sized
 pkgver=1.0.1
-pkgrel=1
+pkgrel=2
 pkgdesc="A bitvector datatype that is parameterized by the vector width"
 url="https://github.com/GaloisInc/bv-sized;
 license=('BSD')