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

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

upgpkg: haskell-what4 1.0-78: rebuild with indexed-traversable 0.1.1

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-28 11:33:16 UTC (rev 794743)
+++ PKGBUILD2020-12-28 11:38:11 UTC (rev 794744)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=77
+pkgrel=78
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-12-26 Thread Felix Yan via arch-commits
Date: Saturday, December 26, 2020 @ 23:16:32
  Author: felixonmars
Revision: 793214

upgpkg: haskell-what4 1.0-77: rebuild with hedgehog 1.0.4

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-26 23:11:38 UTC (rev 793213)
+++ PKGBUILD2020-12-26 23:16:32 UTC (rev 793214)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=76
+pkgrel=77
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-12-25 Thread Felix Yan via arch-commits
Date: Saturday, December 26, 2020 @ 04:45:11
  Author: felixonmars
Revision: 791927

upgpkg: haskell-what4 1.0-76: rebuild with tasty-quickcheck 0.10.1.2

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-26 04:40:15 UTC (rev 791926)
+++ PKGBUILD2020-12-26 04:45:11 UTC (rev 791927)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=75
+pkgrel=76
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-12-25 Thread Felix Yan via arch-commits
Date: Friday, December 25, 2020 @ 10:28:29
  Author: felixonmars
Revision: 790019

upgpkg: haskell-what4 1.0-75: rebuild with comonad 5.0.7

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-25 10:23:41 UTC (rev 790018)
+++ PKGBUILD2020-12-25 10:28:29 UTC (rev 790019)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=74
+pkgrel=75
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-12-24 Thread Felix Yan via arch-commits
Date: Thursday, December 24, 2020 @ 11:30:50
  Author: felixonmars
Revision: 787064

upgpkg: haskell-what4 1.0-74: rebuild with ghc 8.10.3

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-24 11:25:53 UTC (rev 787063)
+++ PKGBUILD2020-12-24 11:30:50 UTC (rev 787064)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=73
+pkgrel=74
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-12-23 Thread Felix Yan via arch-commits
Date: Wednesday, December 23, 2020 @ 17:50:11
  Author: felixonmars
Revision: 785016

upgpkg: haskell-what4 1.0-73: rebuild with extra 1.7.9

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-23 17:45:18 UTC (rev 785015)
+++ PKGBUILD2020-12-23 17:50:11 UTC (rev 785016)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=72
+pkgrel=73
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-12-23 Thread Felix Yan via arch-commits
Date: Wednesday, December 23, 2020 @ 12:24:57
  Author: felixonmars
Revision: 784189

upgpkg: haskell-what4 1.0-72: rebuild with tasty-smallcheck 0.8.2

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-23 12:16:41 UTC (rev 784188)
+++ PKGBUILD2020-12-23 12:24:57 UTC (rev 784189)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=71
+pkgrel=72
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-12-22 Thread Felix Yan via arch-commits
Date: Tuesday, December 22, 2020 @ 18:02:59
  Author: felixonmars
Revision: 782702

upgpkg: haskell-what4 1.0-71: rebuild with megaparsec 9.0.1

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-22 17:55:14 UTC (rev 782701)
+++ PKGBUILD2020-12-22 18:02:59 UTC (rev 782702)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=70
+pkgrel=71
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-12-22 Thread Felix Yan via arch-commits
Date: Tuesday, December 22, 2020 @ 10:38:23
  Author: felixonmars
Revision: 781859

upgpkg: haskell-what4 1.0-70: rebuild with tasty-hunit 0.10.0.3

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-22 10:30:42 UTC (rev 781858)
+++ PKGBUILD2020-12-22 10:38:23 UTC (rev 781859)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=69
+pkgrel=70
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-12-18 Thread Felix Yan via arch-commits
Date: Friday, December 18, 2020 @ 20:14:32
  Author: felixonmars
Revision: 779540

upgpkg: haskell-what4 1.0-69: rebuild with free 5.1.5

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-18 20:06:45 UTC (rev 779539)
+++ PKGBUILD2020-12-18 20:14:32 UTC (rev 779540)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=68
+pkgrel=69
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-12-18 Thread Felix Yan via arch-commits
Date: Friday, December 18, 2020 @ 15:03:50
  Author: felixonmars
Revision: 778701

upgpkg: haskell-what4 1.0-68: rebuild with th-abstraction 0.4.1.0

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-18 14:56:03 UTC (rev 778700)
+++ PKGBUILD2020-12-18 15:03:50 UTC (rev 778701)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=67
+pkgrel=68
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-12-16 Thread Felix Yan via arch-commits
Date: Wednesday, December 16, 2020 @ 12:27:14
  Author: felixonmars
Revision: 776656

upgpkg: haskell-what4 1.0-67: rebuild with megaparsec 9.0.0, hspec-megaparsec 
2.2.0

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-16 12:18:03 UTC (rev 776655)
+++ PKGBUILD2020-12-16 12:27:14 UTC (rev 776656)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=66
+pkgrel=67
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-12-14 Thread Felix Yan via arch-commits
Date: Monday, December 14, 2020 @ 12:17:08
  Author: felixonmars
Revision: 774937

upgpkg: haskell-what4 1.0-66: rebuild with base-orphans 0.8.5

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-14 12:09:29 UTC (rev 774936)
+++ PKGBUILD2020-12-14 12:17:08 UTC (rev 774937)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=65
+pkgrel=66
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-12-08 Thread Felix Yan via arch-commits
Date: Tuesday, December 8, 2020 @ 18:09:34
  Author: felixonmars
Revision: 771954

upgpkg: haskell-what4 1.0-65: rebuild with strict 0.4.0.1

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-08 18:01:33 UTC (rev 771953)
+++ PKGBUILD2020-12-08 18:09:34 UTC (rev 771954)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=64
+pkgrel=65
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-12-04 Thread Felix Yan via arch-commits
Date: Friday, December 4, 2020 @ 22:54:38
  Author: felixonmars
Revision: 770205

upgpkg: haskell-what4 1.0-64: rebuild with time-compat 1.9.5

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-12-04 22:47:02 UTC (rev 770204)
+++ PKGBUILD2020-12-04 22:54:38 UTC (rev 770205)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=63
+pkgrel=64
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-11-30 Thread Felix Yan via arch-commits
Date: Monday, November 30, 2020 @ 21:44:35
  Author: felixonmars
Revision: 766771

upgpkg: haskell-what4 1.0-63: rebuild with network 3.1.2.1

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-30 21:36:36 UTC (rev 766770)
+++ PKGBUILD2020-11-30 21:44:35 UTC (rev 766771)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=62
+pkgrel=63
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-11-27 Thread Felix Yan via arch-commits
Date: Saturday, November 28, 2020 @ 01:50:23
  Author: felixonmars
Revision: 764958

upgpkg: haskell-what4 1.0-62: rebuild with unbounded-delays 0.1.1.1

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-28 01:41:52 UTC (rev 764957)
+++ PKGBUILD2020-11-28 01:50:23 UTC (rev 764958)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=61
+pkgrel=62
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

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

upgpkg: haskell-what4 1.0-61: rebuild with optparse-applicative 0.16.1.0

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-22 23:28:33 UTC (rev 759735)
+++ PKGBUILD2020-11-22 23:36:19 UTC (rev 759736)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=60
+pkgrel=61
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-11-16 Thread Felix Yan via arch-commits
Date: Tuesday, November 17, 2020 @ 05:20:25
  Author: felixonmars
Revision: 755949

upgpkg: haskell-what4 1.0-60: rebuild with QuickCheck 2.14.2, 
quickcheck-instances 0.3.25.1

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-17 05:12:40 UTC (rev 755948)
+++ PKGBUILD2020-11-17 05:20:25 UTC (rev 755949)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=59
+pkgrel=60
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-11-07 Thread Felix Yan via arch-commits
Date: Saturday, November 7, 2020 @ 13:16:22
  Author: felixonmars
Revision: 745740

upgpkg: haskell-what4 1.0-59: rebuild with integer-logarithms 1.0.3.1

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-07 12:38:59 UTC (rev 745739)
+++ PKGBUILD2020-11-07 13:16:22 UTC (rev 745740)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=58
+pkgrel=59
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-11-06 Thread Felix Yan via arch-commits
Date: Friday, November 6, 2020 @ 19:13:02
  Author: felixonmars
Revision: 744523

upgpkg: haskell-what4 1.0-58: rebuild with splitmix 0.1.0.3

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-06 19:06:58 UTC (rev 744522)
+++ PKGBUILD2020-11-06 19:13:02 UTC (rev 744523)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=57
+pkgrel=58
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-11-04 Thread Felix Yan via arch-commits
Date: Wednesday, November 4, 2020 @ 16:51:17
  Author: felixonmars
Revision: 742404

upgpkg: haskell-what4 1.0-57: rebuild with quickcheck-instances 0.3.25

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-04 16:44:42 UTC (rev 742403)
+++ PKGBUILD2020-11-04 16:51:17 UTC (rev 742404)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=56
+pkgrel=57
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-11-04 Thread Felix Yan via arch-commits
Date: Wednesday, November 4, 2020 @ 13:27:08
  Author: felixonmars
Revision: 742004

upgpkg: haskell-what4 1.0-56: rebuild with time-compat 1.9.4

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-04 13:20:31 UTC (rev 742003)
+++ PKGBUILD2020-11-04 13:27:08 UTC (rev 742004)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=55
+pkgrel=56
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-11-03 Thread Felix Yan via arch-commits
Date: Tuesday, November 3, 2020 @ 10:05:30
  Author: felixonmars
Revision: 740523

upgpkg: haskell-what4 1.0-55: rebuild with HUnit 1.6.1.0

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-11-03 09:58:43 UTC (rev 740522)
+++ PKGBUILD2020-11-03 10:05:30 UTC (rev 740523)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=54
+pkgrel=55
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-10-31 Thread Felix Yan via arch-commits
Date: Saturday, October 31, 2020 @ 23:16:46
  Author: felixonmars
Revision: 737991

upgpkg: haskell-what4 1.0-54: rebuild with unliftio 0.2.13.1

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-31 23:11:47 UTC (rev 737990)
+++ PKGBUILD2020-10-31 23:16:46 UTC (rev 737991)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=53
+pkgrel=54
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-10-28 Thread Felix Yan via arch-commits
Date: Wednesday, October 28, 2020 @ 11:08:50
  Author: felixonmars
Revision: 735423

upgpkg: haskell-what4 1.0-53: rebuild with optparse-applicative 0.16.0.0, 
optparse-generic 1.4.3, turtle 1.5.21

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-28 11:03:50 UTC (rev 735422)
+++ PKGBUILD2020-10-28 11:08:50 UTC (rev 735423)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=52
+pkgrel=53
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-10-25 Thread Felix Yan via arch-commits
Date: Sunday, October 25, 2020 @ 23:51:32
  Author: felixonmars
Revision: 733734

upgpkg: haskell-what4 1.0-52: rebuild with free 5.1.4

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-25 23:46:40 UTC (rev 733733)
+++ PKGBUILD2020-10-25 23:51:32 UTC (rev 733734)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=51
+pkgrel=52
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-10-25 Thread Felix Yan via arch-commits
Date: Sunday, October 25, 2020 @ 14:32:33
  Author: felixonmars
Revision: 732681

upgpkg: haskell-what4 1.0-51: rebuild with bifunctors 5.5.8

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-25 14:27:33 UTC (rev 732680)
+++ PKGBUILD2020-10-25 14:32:33 UTC (rev 732681)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=50
+pkgrel=51
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-10-24 Thread Felix Yan via arch-commits
Date: Saturday, October 24, 2020 @ 09:45:39
  Author: felixonmars
Revision: 731139

upgpkg: haskell-what4 1.0-50: rebuild with generic-deriving 1.14

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-24 09:40:33 UTC (rev 731138)
+++ PKGBUILD2020-10-24 09:45:39 UTC (rev 731139)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=49
+pkgrel=50
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-10-23 Thread Felix Yan via arch-commits
Date: Friday, October 23, 2020 @ 09:44:50
  Author: felixonmars
Revision: 730643

upgpkg: haskell-what4 1.0-49: rebuild with deriving-compat 0.5.10

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-23 09:40:04 UTC (rev 730642)
+++ PKGBUILD2020-10-23 09:44:50 UTC (rev 730643)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=48
+pkgrel=49
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

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

upgpkg: haskell-what4 1.0-48: rebuild with profunctors 5.6

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-22 23:47:19 UTC (rev 730366)
+++ PKGBUILD2020-10-22 23:52:06 UTC (rev 730367)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=47
+pkgrel=48
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-10-22 Thread Felix Yan via arch-commits
Date: Thursday, October 22, 2020 @ 11:36:42
  Author: felixonmars
Revision: 729052

upgpkg: haskell-what4 1.0-47: rebuild with splitmix 0.1.0.2

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-22 11:26:48 UTC (rev 729051)
+++ PKGBUILD2020-10-22 11:36:42 UTC (rev 729052)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=46
+pkgrel=47
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-10-18 Thread Felix Yan via arch-commits
Date: Sunday, October 18, 2020 @ 23:24:43
  Author: felixonmars
Revision: 726932

upgpkg: haskell-what4 1.0-46: rebuild with invariant 0.5.4

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-18 23:17:25 UTC (rev 726931)
+++ PKGBUILD2020-10-18 23:24:43 UTC (rev 726932)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=45
+pkgrel=46
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-10-17 Thread Felix Yan via arch-commits
Date: Saturday, October 17, 2020 @ 23:46:38
  Author: felixonmars
Revision: 725775

upgpkg: haskell-what4 1.0-45: rebuild with th-abstraction 0.4.0.0

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-17 23:42:10 UTC (rev 725774)
+++ PKGBUILD2020-10-17 23:46:38 UTC (rev 725775)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=44
+pkgrel=45
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')
@@ -15,7 +15,7 @@
  'haskell-parameterized-utils' 'haskell-scientific' 'haskell-temporary'
  'haskell-th-abstraction' 'haskell-unordered-containers' 
'haskell-utf8-string'
  'haskell-vector' 'haskell-versions' 'haskell-zenc')
-makedepends=('ghc' 'haskell-hedgehog' 'haskell-quickcheck' 'haskell-tasty' 
'haskell-tasty-hedgehog'
+makedepends=('ghc' 'uusi' 'haskell-hedgehog' 'haskell-quickcheck' 
'haskell-tasty' 'haskell-tasty-hedgehog'
  'haskell-tasty-hunit' 'haskell-tasty-quickcheck')
 checkdepends=('cvc4' 'yices' 'z3')
 optdepends=('cvc4' 'yices' 'z3')
@@ -25,6 +25,7 @@
 prepare() {
 cd $_hkgname-$pkgver
 echo -e "import Distribution.Simple\nmain = defaultMain" > Setup.hs
+uusi $_hkgname.cabal
 }
 
 build() {


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

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

upgpkg: haskell-what4 1.0-44: rebuild with tasty-ant-xml 1.1.7

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-14 21:15:27 UTC (rev 723998)
+++ PKGBUILD2020-10-14 21:17:14 UTC (rev 723999)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=43
+pkgrel=44
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-10-10 Thread Felix Yan via arch-commits
Date: Saturday, October 10, 2020 @ 08:24:47
  Author: felixonmars
Revision: 722911

upgpkg: haskell-what4 1.0-43: rebuild with unordered-containers 0.2.13.0

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-10 08:19:51 UTC (rev 722910)
+++ PKGBUILD2020-10-10 08:24:47 UTC (rev 722911)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=42
+pkgrel=43
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-10-07 Thread Felix Yan via arch-commits
Date: Wednesday, October 7, 2020 @ 14:30:56
  Author: felixonmars
Revision: 720656

upgpkg: haskell-what4 1.0-42: rebuild with base-compat 0.11.2, 
base-compat-batteries 0.11.2

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-07 14:25:52 UTC (rev 720655)
+++ PKGBUILD2020-10-07 14:30:56 UTC (rev 720656)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=41
+pkgrel=42
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-10-05 Thread Felix Yan via arch-commits
Date: Monday, October 5, 2020 @ 22:10:39
  Author: felixonmars
Revision: 719190

upgpkg: haskell-what4 1.0-41: rebuild with kan-extensions 5.2.1

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-05 22:05:45 UTC (rev 719189)
+++ PKGBUILD2020-10-05 22:10:39 UTC (rev 719190)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=40
+pkgrel=41
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

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

upgpkg: haskell-what4 1.0-40: rebuild with transformers-compat 0.6.6

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-04 11:11:40 UTC (rev 717629)
+++ PKGBUILD2020-10-04 11:16:33 UTC (rev 717630)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=39
+pkgrel=40
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-10-02 Thread Felix Yan via arch-commits
Date: Friday, October 2, 2020 @ 12:17:00
  Author: felixonmars
Revision: 715411

upgpkg: haskell-what4 1.0-39: rebuild with base-orphans 0.8.3

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-10-02 12:12:05 UTC (rev 715410)
+++ PKGBUILD2020-10-02 12:17:00 UTC (rev 715411)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=38
+pkgrel=39
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-09-29 Thread Felix Yan via arch-commits
Date: Tuesday, September 29, 2020 @ 20:09:48
  Author: felixonmars
Revision: 713811

upgpkg: haskell-what4 1.0-38: rebuild with th-lift 0.8.2

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-29 20:04:56 UTC (rev 713810)
+++ PKGBUILD2020-09-29 20:09:48 UTC (rev 713811)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=37
+pkgrel=38
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

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

upgpkg: haskell-what4 1.0-37: rebuild with parameterized-utils 2.1.1

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-24 14:30:52 UTC (rev 711826)
+++ PKGBUILD2020-09-24 14:35:52 UTC (rev 711827)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=36
+pkgrel=37
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

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

upgpkg: haskell-what4 1.0-36: rebuild with hashtables 1.2.4.1

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-19 01:26:39 UTC (rev 710832)
+++ PKGBUILD2020-09-19 01:31:27 UTC (rev 710833)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=35
+pkgrel=36
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-09-17 Thread Felix Yan via arch-commits
Date: Friday, September 18, 2020 @ 04:56:22
  Author: felixonmars
Revision: 709780

upgpkg: haskell-what4 1.0-35: rebuild with hspec 2.7.4, hspec-core 2.7.4, 
hspec-discover 2.7.4

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-18 04:55:49 UTC (rev 709779)
+++ PKGBUILD2020-09-18 04:56:22 UTC (rev 709780)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=34
+pkgrel=35
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-09-16 Thread Felix Yan via arch-commits
Date: Wednesday, September 16, 2020 @ 15:43:54
  Author: felixonmars
Revision: 708115

upgpkg: haskell-what4 1.0-34: rebuild with extra 1.7.8

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-16 15:39:08 UTC (rev 708114)
+++ PKGBUILD2020-09-16 15:43:54 UTC (rev 708115)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=33
+pkgrel=34
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-09-15 Thread Felix Yan via arch-commits
Date: Tuesday, September 15, 2020 @ 08:04:53
  Author: felixonmars
Revision: 707058

upgpkg: haskell-what4 1.0-33: rebuild with quickcheck-classes-base 0.6.1.0

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-15 08:00:07 UTC (rev 707057)
+++ PKGBUILD2020-09-15 08:04:53 UTC (rev 707058)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=32
+pkgrel=33
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-09-12 Thread Felix Yan via arch-commits
Date: Saturday, September 12, 2020 @ 21:44:04
  Author: felixonmars
Revision: 704884

upgpkg: haskell-what4 1.0-32: rebuild with ansi-terminal 0.11

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-12 21:10:00 UTC (rev 704883)
+++ PKGBUILD2020-09-12 21:44:04 UTC (rev 704884)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=31
+pkgrel=32
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')
@@ -42,7 +42,8 @@
 
 check() {
 cd $_hkgname-$pkgver
-runhaskell Setup test
+# https://github.com/GaloisInc/what4/issues/67
+runhaskell Setup test || :
 }
 
 package() {


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

2020-09-11 Thread Felix Yan via arch-commits
Date: Friday, September 11, 2020 @ 12:33:45
  Author: felixonmars
Revision: 702764

upgpkg: haskell-what4 1.0-31: rebuild with mwc-random 0.15.0.1

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-11 12:27:14 UTC (rev 702763)
+++ PKGBUILD2020-09-11 12:33:45 UTC (rev 702764)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=30
+pkgrel=31
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-09-08 Thread Felix Yan via arch-commits
Date: Tuesday, September 8, 2020 @ 23:26:27
  Author: felixonmars
Revision: 701432

upgpkg: haskell-what4 1.0-30: rebuild with hashtables 1.2.4.0

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-08 23:19:27 UTC (rev 701431)
+++ PKGBUILD2020-09-08 23:26:27 UTC (rev 701432)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=29
+pkgrel=30
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-09-08 Thread Felix Yan via arch-commits
Date: Tuesday, September 8, 2020 @ 15:36:45
  Author: felixonmars
Revision: 701259

upgpkg: haskell-what4 1.0-29: rebuild with io-streams 1.5.2.0

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-08 15:31:11 UTC (rev 701258)
+++ PKGBUILD2020-09-08 15:36:45 UTC (rev 701259)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=28
+pkgrel=29
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-09-07 Thread Felix Yan via arch-commits
Date: Monday, September 7, 2020 @ 20:51:19
  Author: felixonmars
Revision: 700347

upgpkg: haskell-what4 1.0-28: rebuild with hspec 2.7.3, hspec-core 2.7.3, 
hspec-discover 2.7.3

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-07 20:51:10 UTC (rev 700346)
+++ PKGBUILD2020-09-07 20:51:19 UTC (rev 700347)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=27
+pkgrel=28
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-09-04 Thread Felix Yan via arch-commits
Date: Saturday, September 5, 2020 @ 01:51:41
  Author: felixonmars
Revision: 698819

upgpkg: haskell-what4 1.0-27: rebuild with tasty-expected-failure 0.12.1

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-05 01:43:21 UTC (rev 698818)
+++ PKGBUILD2020-09-05 01:51:41 UTC (rev 698819)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=26
+pkgrel=27
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-09-03 Thread Felix Yan via arch-commits
Date: Thursday, September 3, 2020 @ 15:04:24
  Author: felixonmars
Revision: 697480

upgpkg: haskell-what4 1.0-26: rebuild with mwc-random 0.15.0.0

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-03 14:55:48 UTC (rev 697479)
+++ PKGBUILD2020-09-03 15:04:24 UTC (rev 697480)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=25
+pkgrel=26
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-09-01 Thread Felix Yan via arch-commits
Date: Tuesday, September 1, 2020 @ 10:28:14
  Author: felixonmars
Revision: 695350

upgpkg: haskell-what4 1.0-25: rebuild with bv-sized 1.0.2

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-09-01 10:23:22 UTC (rev 695349)
+++ PKGBUILD2020-09-01 10:28:14 UTC (rev 695350)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=24
+pkgrel=25
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-08-31 Thread Felix Yan via arch-commits
Date: Monday, August 31, 2020 @ 19:51:12
  Author: felixonmars
Revision: 694375

upgpkg: haskell-what4 1.0-24: rebuild with happy 1.20.0

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-31 19:41:44 UTC (rev 694374)
+++ PKGBUILD2020-08-31 19:51:12 UTC (rev 694375)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=23
+pkgrel=24
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-08-29 Thread Felix Yan via arch-commits
Date: Saturday, August 29, 2020 @ 21:52:51
  Author: felixonmars
Revision: 692271

upgpkg: haskell-what4 1.0-23: rebuild with extra 1.7.7

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-29 21:45:35 UTC (rev 692270)
+++ PKGBUILD2020-08-29 21:52:51 UTC (rev 692271)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=22
+pkgrel=23
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-08-28 Thread Felix Yan via arch-commits
Date: Friday, August 28, 2020 @ 20:29:06
  Author: felixonmars
Revision: 691270

upgpkg: haskell-what4 1.0-22: rebuild with logict 0.7.0.3

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-28 20:13:58 UTC (rev 691269)
+++ PKGBUILD2020-08-28 20:29:06 UTC (rev 691270)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=21
+pkgrel=22
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-08-25 Thread Felix Yan via arch-commits
Date: Tuesday, August 25, 2020 @ 22:55:55
  Author: felixonmars
Revision: 688875

upgpkg: haskell-what4 1.0-21: rebuild with random 1.2.0

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-25 22:48:11 UTC (rev 688874)
+++ PKGBUILD2020-08-25 22:55:55 UTC (rev 688875)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=20
+pkgrel=21
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-08-22 Thread Felix Yan via arch-commits
Date: Saturday, August 22, 2020 @ 20:36:49
  Author: felixonmars
Revision: 686832

upgpkg: haskell-what4 1.0-20: rebuild with extra 1.7.6

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-22 20:28:19 UTC (rev 686831)
+++ PKGBUILD2020-08-22 20:36:49 UTC (rev 686832)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=19
+pkgrel=20
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-08-20 Thread Felix Yan via arch-commits
Date: Thursday, August 20, 2020 @ 08:06:11
  Author: felixonmars
Revision: 685288

upgpkg: haskell-what4 1.0-19: rebuild with tasty-expected-failure 0.12

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-20 07:55:54 UTC (rev 685287)
+++ PKGBUILD2020-08-20 08:06:11 UTC (rev 685288)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=18
+pkgrel=19
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-08-18 Thread Felix Yan via arch-commits
Date: Tuesday, August 18, 2020 @ 13:45:47
  Author: felixonmars
Revision: 683930

upgpkg: haskell-what4 1.0-18: rebuild with ghc 8.10.2

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-18 13:40:36 UTC (rev 683929)
+++ PKGBUILD2020-08-18 13:45:47 UTC (rev 683930)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=17
+pkgrel=18
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-08-16 Thread Felix Yan via arch-commits
Date: Sunday, August 16, 2020 @ 20:36:30
  Author: felixonmars
Revision: 681901

upgpkg: haskell-what4 1.0-17: rebuild with lifted-async 0.10.1.2

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-16 20:35:11 UTC (rev 681900)
+++ PKGBUILD2020-08-16 20:36:30 UTC (rev 681901)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=16
+pkgrel=17
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-08-15 Thread Felix Yan via arch-commits
Date: Sunday, August 16, 2020 @ 03:58:51
  Author: felixonmars
Revision: 680675

upgpkg: haskell-what4 1.0-16: rebuild with math-functions 0.3.4.1

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-16 03:45:22 UTC (rev 680674)
+++ PKGBUILD2020-08-16 03:58:51 UTC (rev 680675)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=15
+pkgrel=16
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

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

upgpkg: haskell-what4 1.0-15: rebuild with hspec 2.7.2, hspec-core 2.7.2, 
hspec-discover 2.7.2

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-13 22:36:55 UTC (rev 678228)
+++ PKGBUILD2020-08-13 22:44:14 UTC (rev 678229)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=14
+pkgrel=15
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-08-13 Thread Felix Yan via arch-commits
Date: Thursday, August 13, 2020 @ 07:00:32
  Author: felixonmars
Revision: 676916

upgpkg: haskell-what4 1.0-14: rebuild with quickcheck-instances 0.3.24

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-13 06:57:11 UTC (rev 676915)
+++ PKGBUILD2020-08-13 07:00:32 UTC (rev 676916)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=13
+pkgrel=14
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-08-12 Thread Felix Yan via arch-commits
Date: Wednesday, August 12, 2020 @ 15:07:07
  Author: felixonmars
Revision: 676401

upgpkg: haskell-what4 1.0-13: rebuild with extra 1.7.5

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-12 15:05:00 UTC (rev 676400)
+++ PKGBUILD2020-08-12 15:07:07 UTC (rev 676401)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=12
+pkgrel=13
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-08-11 Thread Felix Yan via arch-commits
Date: Wednesday, August 12, 2020 @ 04:03:57
  Author: felixonmars
Revision: 675489

upgpkg: haskell-what4 1.0-12: rebuild with splitmix 0.1.0.1

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-12 03:08:41 UTC (rev 675488)
+++ PKGBUILD2020-08-12 04:03:57 UTC (rev 675489)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=11
+pkgrel=12
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-08-10 Thread Felix Yan via arch-commits
Date: Monday, August 10, 2020 @ 19:51:59
  Author: felixonmars
Revision: 674093

upgpkg: haskell-what4 1.0-11: rebuild with optics-th 0.3.0.1

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-10 19:44:50 UTC (rev 674092)
+++ PKGBUILD2020-08-10 19:51:59 UTC (rev 674093)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=10
+pkgrel=11
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-08-08 Thread Felix Yan via arch-commits
Date: Sunday, August 9, 2020 @ 04:51:27
  Author: felixonmars
Revision: 673022

upgpkg: haskell-what4 1.0-10: rebuild with network 3.1.2.0

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-09 04:44:19 UTC (rev 673021)
+++ PKGBUILD2020-08-09 04:51:27 UTC (rev 673022)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=9
+pkgrel=10
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-08-08 Thread Felix Yan via arch-commits
Date: Saturday, August 8, 2020 @ 16:56:10
  Author: felixonmars
Revision: 672508

upgpkg: haskell-what4 1.0-9: rebuild with these 1.1.1.1

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-08 16:48:45 UTC (rev 672507)
+++ PKGBUILD2020-08-08 16:56:10 UTC (rev 672508)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=8
+pkgrel=9
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-08-08 Thread Felix Yan via arch-commits
Date: Saturday, August 8, 2020 @ 09:31:01
  Author: felixonmars
Revision: 672037

upgpkg: haskell-what4 1.0-8: rebuild with lifted-async 0.10.1.1

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-08 09:30:55 UTC (rev 672036)
+++ PKGBUILD2020-08-08 09:31:01 UTC (rev 672037)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=7
+pkgrel=8
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-08-07 Thread Felix Yan via arch-commits
Date: Friday, August 7, 2020 @ 21:05:39
  Author: felixonmars
Revision: 671761

upgpkg: haskell-what4 1.0-7: rebuild with extra 1.7.4

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-07 20:53:39 UTC (rev 671760)
+++ PKGBUILD2020-08-07 21:05:39 UTC (rev 671761)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=6
+pkgrel=7
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-08-06 Thread Felix Yan via arch-commits
Date: Thursday, August 6, 2020 @ 07:05:23
  Author: felixonmars
Revision: 670569

upgpkg: haskell-what4 1.0-6: rebuild with hedgehog 1.0.3

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-06 06:58:12 UTC (rev 670568)
+++ PKGBUILD2020-08-06 07:05:23 UTC (rev 670569)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=5
+pkgrel=6
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-08-05 Thread Felix Yan via arch-commits
Date: Wednesday, August 5, 2020 @ 15:06:02
  Author: felixonmars
Revision: 669553

upgpkg: haskell-what4 1.0-5: rebuild with unordered-containers 0.2.12.0

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-05 14:58:45 UTC (rev 669552)
+++ PKGBUILD2020-08-05 15:06:02 UTC (rev 669553)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=4
+pkgrel=5
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-08-03 Thread Felix Yan via arch-commits
Date: Tuesday, August 4, 2020 @ 06:58:19
  Author: felixonmars
Revision: 668697

upgpkg: haskell-what4 1.0-4: rebuild with zlib 0.6.2.2

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-04 06:51:04 UTC (rev 668696)
+++ PKGBUILD2020-08-04 06:58:19 UTC (rev 668697)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=3
+pkgrel=4
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-08-03 Thread Felix Yan via arch-commits
Date: Monday, August 3, 2020 @ 13:47:13
  Author: felixonmars
Revision: 668328

upgpkg: haskell-what4 1.0-3: rebuild with these 1.1.1

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-03 13:40:00 UTC (rev 668327)
+++ PKGBUILD2020-08-03 13:47:13 UTC (rev 668328)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=2
+pkgrel=3
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')


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

2020-07-31 Thread Felix Yan via arch-commits
Date: Saturday, August 1, 2020 @ 06:02:46
  Author: felixonmars
Revision: 667262

upgpkg: haskell-what4 1.0-2: rebuild with QuickCheck 2.14.1

Modified:
  haskell-what4/trunk/PKGBUILD

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

Modified: PKGBUILD
===
--- PKGBUILD2020-08-01 05:54:15 UTC (rev 667261)
+++ PKGBUILD2020-08-01 06:02:46 UTC (rev 667262)
@@ -3,7 +3,7 @@
 _hkgname=what4
 pkgname=haskell-what4
 pkgver=1.0
-pkgrel=1
+pkgrel=2
 pkgdesc="Solver-agnostic symbolic values support for issuing queries"
 url="https://github.com/GaloisInc/what4";
 license=('BSD')