[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Saturday, September 10, 2022 @ 16:27:31
Author: felixonmars
Revision: 1299817
upgpkg: haskell-sbv 8.17-53: rebuild with generic-deriving 1.14.2
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-09-10 16:26:23 UTC (rev 1299816)
+++ PKGBUILD2022-09-10 16:27:31 UTC (rev 1299817)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=52
+pkgrel=53
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Saturday, September 10, 2022 @ 13:16:15
Author: felixonmars
Revision: 1298930
upgpkg: haskell-sbv 8.17-52: rebuild with ghc-lib-parser-ex 9.0.0.6
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-09-10 13:09:40 UTC (rev 1298929)
+++ PKGBUILD2022-09-10 13:16:15 UTC (rev 1298930)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=51
+pkgrel=52
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Saturday, September 10, 2022 @ 03:21:05
Author: felixonmars
Revision: 1298187
upgpkg: haskell-sbv 8.17-51: rebuild with hedgehog 1.1.2
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-09-10 03:20:53 UTC (rev 1298186)
+++ PKGBUILD2022-09-10 03:21:05 UTC (rev 1298187)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=50
+pkgrel=51
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Thursday, September 8, 2022 @ 09:47:21
Author: felixonmars
Revision: 1296431
upgpkg: haskell-sbv 8.17-50: rebuild with extra 1.7.12
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-09-08 09:47:11 UTC (rev 1296430)
+++ PKGBUILD2022-09-08 09:47:21 UTC (rev 1296431)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=49
+pkgrel=50
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Tuesday, September 6, 2022 @ 20:32:44
Author: felixonmars
Revision: 1294954
upgpkg: haskell-sbv 8.17-49: rebuild with hspec 2.10.0, hspec-core 2.10.0,
hspec-discover 2.10.0
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-09-06 20:32:31 UTC (rev 1294953)
+++ PKGBUILD2022-09-06 20:32:44 UTC (rev 1294954)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=48
+pkgrel=49
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Saturday, September 3, 2022 @ 13:54:39
Author: felixonmars
Revision: 1292458
upgpkg: haskell-sbv 8.17-48: rebuild with libBF 0.6.5.1
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-09-03 13:54:28 UTC (rev 1292457)
+++ PKGBUILD2022-09-03 13:54:39 UTC (rev 1292458)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=47
+pkgrel=48
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Saturday, September 3, 2022 @ 11:47:14
Author: felixonmars
Revision: 1291771
upgpkg: haskell-sbv 8.17-47: rebuild with tasty-hedgehog 1.3.0.0
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-09-03 11:47:00 UTC (rev 1291770)
+++ PKGBUILD2022-09-03 11:47:14 UTC (rev 1291771)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=46
+pkgrel=47
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Thursday, September 1, 2022 @ 10:00:07
Author: felixonmars
Revision: 1290006
upgpkg: haskell-sbv 8.17-46: rebuild with vector-algorithms 0.9.0.1
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-09-01 09:59:59 UTC (rev 1290005)
+++ PKGBUILD2022-09-01 10:00:07 UTC (rev 1290006)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=45
+pkgrel=46
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Tuesday, August 30, 2022 @ 10:38:38
Author: felixonmars
Revision: 1288562
upgpkg: haskell-sbv 8.17-45: rebuild with filepattern 0.1.3
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-08-30 10:34:36 UTC (rev 1288561)
+++ PKGBUILD2022-08-30 10:38:38 UTC (rev 1288562)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=44
+pkgrel=45
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Tuesday, August 30, 2022 @ 00:42:44
Author: felixonmars
Revision: 1287306
upgpkg: haskell-sbv 8.17-44: rebuild with base-compat 0.12.2,
base-compat-batteries 0.12.2
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-08-30 00:42:33 UTC (rev 1287305)
+++ PKGBUILD2022-08-30 00:42:44 UTC (rev 1287306)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=43
+pkgrel=44
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Friday, August 26, 2022 @ 17:28:42
Author: felixonmars
Revision: 1283389
upgpkg: haskell-sbv 8.17-43: rebuild with silently 1.2.5.3
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-08-26 17:28:32 UTC (rev 1283388)
+++ PKGBUILD2022-08-26 17:28:42 UTC (rev 1283389)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=42
+pkgrel=43
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Friday, August 26, 2022 @ 07:17:46
Author: felixonmars
Revision: 1280982
upgpkg: haskell-sbv 8.17-42: rebuild with extra 1.7.11
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-08-26 07:17:36 UTC (rev 1280981)
+++ PKGBUILD2022-08-26 07:17:46 UTC (rev 1280982)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=41
+pkgrel=42
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Thursday, August 25, 2022 @ 18:57:38
Author: felixonmars
Revision: 1279981
upgpkg: haskell-sbv 8.17-41: rebuild with quickcheck-instances 0.3.28
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-08-25 18:57:28 UTC (rev 1279980)
+++ PKGBUILD2022-08-25 18:57:38 UTC (rev 1279981)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=40
+pkgrel=41
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Thursday, August 25, 2022 @ 10:30:26
Author: felixonmars
Revision: 1278351
upgpkg: haskell-sbv 8.17-40: rebuild with hashable 1.4.1.0
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-08-25 10:30:12 UTC (rev 1278350)
+++ PKGBUILD2022-08-25 10:30:26 UTC (rev 1278351)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=39
+pkgrel=40
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Sunday, August 21, 2022 @ 18:05:51
Author: felixonmars
Revision: 1273264
upgpkg: haskell-sbv 8.17-39: rebuild with split 0.2.3.5
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-08-21 18:05:40 UTC (rev 1273263)
+++ PKGBUILD2022-08-21 18:05:51 UTC (rev 1273264)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=38
+pkgrel=39
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Sunday, August 21, 2022 @ 08:03:28
Author: felixonmars
Revision: 1271830
upgpkg: haskell-sbv 8.17-38: rebuild with ChasingBottoms 1.3.1.12
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-08-21 08:03:19 UTC (rev 1271829)
+++ PKGBUILD2022-08-21 08:03:28 UTC (rev 1271830)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=37
+pkgrel=38
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Friday, August 19, 2022 @ 08:56:36
Author: felixonmars
Revision: 1269746
upgpkg: haskell-sbv 8.17-37: rebuild with base-orphans 0.8.7
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-08-19 08:56:27 UTC (rev 1269745)
+++ PKGBUILD2022-08-19 08:56:36 UTC (rev 1269746)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=36
+pkgrel=37
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Thursday, August 18, 2022 @ 15:56:10
Author: felixonmars
Revision: 1267518
upgpkg: haskell-sbv 8.17-36: rebuild with lifted-async 0.10.2.3
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-08-18 15:56:01 UTC (rev 1267517)
+++ PKGBUILD2022-08-18 15:56:10 UTC (rev 1267518)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=35
+pkgrel=36
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Saturday, August 13, 2022 @ 10:14:09
Author: felixonmars
Revision: 1265933
upgpkg: haskell-sbv 8.17-35: rebuild with libBF 0.6.4
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-08-13 10:07:53 UTC (rev 1265932)
+++ PKGBUILD2022-08-13 10:14:09 UTC (rev 1265933)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=34
+pkgrel=35
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Tuesday, August 9, 2022 @ 17:50:42
Author: felixonmars
Revision: 1264312
upgpkg: haskell-sbv 8.17-34: rebuild with th-abstraction 0.4.4.0
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-08-09 17:50:34 UTC (rev 1264311)
+++ PKGBUILD2022-08-09 17:50:42 UTC (rev 1264312)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=33
+pkgrel=34
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Monday, August 8, 2022 @ 19:36:39
Author: felixonmars
Revision: 1262209
upgpkg: haskell-sbv 8.17-33: rebuild with tasty 1.4.2.3
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-08-08 19:36:31 UTC (rev 1262208)
+++ PKGBUILD2022-08-08 19:36:39 UTC (rev 1262209)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=32
+pkgrel=33
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Monday, July 25, 2022 @ 11:16:30
Author: felixonmars
Revision: 1257591
upgpkg: haskell-sbv 8.17-32: rebuild with inspection-testing 0.5,
tasty-inspection-testing 0.2
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-07-25 11:15:35 UTC (rev 1257590)
+++ PKGBUILD2022-07-25 11:16:30 UTC (rev 1257591)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=31
+pkgrel=32
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Saturday, July 16, 2022 @ 04:15:48
Author: felixonmars
Revision: 1253619
upgpkg: haskell-sbv 8.17-31: rebuild with constraints 0.13.4
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-07-16 04:15:38 UTC (rev 1253618)
+++ PKGBUILD2022-07-16 04:15:48 UTC (rev 1253619)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=30
+pkgrel=31
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Tuesday, July 12, 2022 @ 21:12:47
Author: felixonmars
Revision: 1251500
upgpkg: haskell-sbv 8.17-30: rebuild with tasty 1.4.2.2
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-07-12 21:04:42 UTC (rev 1251499)
+++ PKGBUILD2022-07-12 21:12:47 UTC (rev 1251500)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=29
+pkgrel=30
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Thursday, July 7, 2022 @ 00:33:16
Author: felixonmars
Revision: 1247392
upgpkg: haskell-sbv 8.17-29: rebuild with resourcet 1.2.6
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-07-07 00:31:02 UTC (rev 1247391)
+++ PKGBUILD2022-07-07 00:33:16 UTC (rev 1247392)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=28
+pkgrel=29
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Tuesday, July 5, 2022 @ 21:03:27
Author: felixonmars
Revision: 1245704
upgpkg: haskell-sbv 8.17-28: rebuild with ansi-terminal 0.11.3
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-07-05 21:03:18 UTC (rev 1245703)
+++ PKGBUILD2022-07-05 21:03:27 UTC (rev 1245704)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=27
+pkgrel=28
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Thursday, June 30, 2022 @ 00:31:06
Author: felixonmars
Revision: 1241958
upgpkg: haskell-sbv 8.17-27: rebuild with transformers-compat 0.7.2
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-06-30 00:30:58 UTC (rev 1241957)
+++ PKGBUILD2022-06-30 00:31:06 UTC (rev 1241958)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=26
+pkgrel=27
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Sunday, June 12, 2022 @ 06:03:09
Author: felixonmars
Revision: 1235960
upgpkg: haskell-sbv 8.17-26: rebuild with inspection-testing 0.4.6.1
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-06-12 05:55:41 UTC (rev 1235959)
+++ PKGBUILD2022-06-12 06:03:09 UTC (rev 1235960)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=25
+pkgrel=26
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Saturday, June 11, 2022 @ 13:29:58
Author: felixonmars
Revision: 1233636
upgpkg: haskell-sbv 8.17-25: rebuild with typed-process 0.2.10.1
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-06-11 13:29:51 UTC (rev 1233635)
+++ PKGBUILD2022-06-11 13:29:58 UTC (rev 1233636)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=24
+pkgrel=25
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Saturday, June 11, 2022 @ 06:33:51
Author: felixonmars
Revision: 1231972
upgpkg: haskell-sbv 8.17-24: rebuild with ansi-terminal 0.11.2
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-06-11 06:29:18 UTC (rev 1231971)
+++ PKGBUILD2022-06-11 06:33:51 UTC (rev 1231972)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=23
+pkgrel=24
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Tuesday, June 7, 2022 @ 07:37:59
Author: felixonmars
Revision: 1227848
upgpkg: haskell-sbv 8.17-23: rebuild with concurrent-output 1.10.16
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-06-07 07:23:52 UTC (rev 1227847)
+++ PKGBUILD2022-06-07 07:37:59 UTC (rev 1227848)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=22
+pkgrel=23
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Monday, June 6, 2022 @ 11:38:34
Author: felixonmars
Revision: 1226176
upgpkg: haskell-sbv 8.17-22: rebuild with typed-process 0.2.10.0
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-06-06 11:38:27 UTC (rev 1226175)
+++ PKGBUILD2022-06-06 11:38:34 UTC (rev 1226176)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=21
+pkgrel=22
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Monday, June 6, 2022 @ 06:13:08
Author: felixonmars
Revision: 1224542
upgpkg: haskell-sbv 8.17-21: rebuild with hspec 2.9.7, hspec-core 2.9.7,
hspec-discover 2.9.7
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-06-06 06:12:59 UTC (rev 1224541)
+++ PKGBUILD2022-06-06 06:13:08 UTC (rev 1224542)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=20
+pkgrel=21
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Saturday, June 4, 2022 @ 19:36:34
Author: felixonmars
Revision: 113
upgpkg: haskell-sbv 8.17-20: rebuild with typed-process 0.2.9.0
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-06-04 19:36:27 UTC (rev 112)
+++ PKGBUILD2022-06-04 19:36:34 UTC (rev 113)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=19
+pkgrel=20
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Friday, June 3, 2022 @ 12:15:32
Author: felixonmars
Revision: 1220476
upgpkg: haskell-sbv 8.17-19: rebuild with primitive 0.7.4.0
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-06-03 12:15:25 UTC (rev 1220475)
+++ PKGBUILD2022-06-03 12:15:32 UTC (rev 1220476)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=18
+pkgrel=19
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Monday, May 30, 2022 @ 12:17:03
Author: felixonmars
Revision: 1216365
upgpkg: haskell-sbv 8.17-18: rebuild with tasty-inspection-testing 0.1.0.1
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-05-30 12:16:54 UTC (rev 1216364)
+++ PKGBUILD2022-05-30 12:17:03 UTC (rev 1216365)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=17
+pkgrel=18
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Saturday, May 28, 2022 @ 18:06:15
Author: felixonmars
Revision: 1212679
upgpkg: haskell-sbv 8.17-17: rebuild with doctest 0.20.0
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-05-28 17:46:50 UTC (rev 1212678)
+++ PKGBUILD2022-05-28 18:06:15 UTC (rev 1212679)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=16
+pkgrel=17
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Wednesday, May 18, 2022 @ 14:41:21
Author: felixonmars
Revision: 1208537
upgpkg: haskell-sbv 8.17-16: rebuild with resourcet 1.2.5
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-05-18 14:41:14 UTC (rev 1208536)
+++ PKGBUILD2022-05-18 14:41:21 UTC (rev 1208537)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=15
+pkgrel=16
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Sunday, May 15, 2022 @ 03:29:35
Author: felixonmars
Revision: 1206018
upgpkg: haskell-sbv 8.17-15: rebuild with hashable 1.4.0.2
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-05-15 03:29:27 UTC (rev 1206017)
+++ PKGBUILD2022-05-15 03:29:35 UTC (rev 1206018)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=14
+pkgrel=15
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Saturday, May 14, 2022 @ 15:38:42
Author: felixonmars
Revision: 1205204
upgpkg: haskell-sbv 8.17-14: rebuild with hashable 1.4.0.2
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-05-14 15:38:33 UTC (rev 1205203)
+++ PKGBUILD2022-05-14 15:38:42 UTC (rev 1205204)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=13
+pkgrel=14
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Friday, May 13, 2022 @ 14:50:58
Author: felixonmars
Revision: 1202082
upgpkg: haskell-sbv 8.17-13: rebuild with random 1.2.1.1
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-05-13 14:50:03 UTC (rev 1202081)
+++ PKGBUILD2022-05-13 14:50:58 UTC (rev 1202082)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=12
+pkgrel=13
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Friday, May 13, 2022 @ 11:20:28
Author: felixonmars
Revision: 1201726
upgpkg: haskell-sbv 8.17-12: rebuild with random 1.2.1.1
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-05-13 11:20:20 UTC (rev 1201725)
+++ PKGBUILD2022-05-13 11:20:28 UTC (rev 1201726)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=11
+pkgrel=12
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Tuesday, May 10, 2022 @ 08:26:38
Author: felixonmars
Revision: 1197203
upgpkg: haskell-sbv 8.17-10: rebuild with bifunctors 5.5.12
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-05-10 08:26:31 UTC (rev 1197202)
+++ PKGBUILD2022-05-10 08:26:38 UTC (rev 1197203)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=9
+pkgrel=10
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Friday, May 6, 2022 @ 00:07:02
Author: felixonmars
Revision: 1195700
upgpkg: haskell-sbv 8.17-9: rebuild with unliftio 0.2.22.0
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-05-05 23:51:39 UTC (rev 1195699)
+++ PKGBUILD2022-05-06 00:07:02 UTC (rev 1195700)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=8
+pkgrel=9
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Wednesday, May 4, 2022 @ 14:00:44
Author: felixonmars
Revision: 1194304
upgpkg: haskell-sbv 8.17-8: rebuild with hspec 2.9.6, hspec-core 2.9.6,
hspec-discover 2.9.6
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-05-04 14:00:38 UTC (rev 1194303)
+++ PKGBUILD2022-05-04 14:00:44 UTC (rev 1194304)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=7
+pkgrel=8
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Saturday, April 23, 2022 @ 23:58:46
Author: felixonmars
Revision: 1189325
upgpkg: haskell-sbv 8.17-7: rebuild with hashable 1.4.0.1
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-04-23 23:58:40 UTC (rev 1189324)
+++ PKGBUILD2022-04-23 23:58:46 UTC (rev 1189325)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=6
+pkgrel=7
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Wednesday, April 13, 2022 @ 23:58:51
Author: felixonmars
Revision: 1186104
upgpkg: haskell-sbv 8.17-6: rebuild with hlint 3.3.6
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-04-13 23:42:02 UTC (rev 1186103)
+++ PKGBUILD2022-04-13 23:58:51 UTC (rev 1186104)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=5
+pkgrel=6
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Sunday, April 10, 2022 @ 12:20:04
Author: felixonmars
Revision: 1184784
upgpkg: haskell-sbv 8.17-5: rebuild with hspec 2.9.5, hspec-core 2.9.5,
hspec-discover 2.9.5
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-04-10 12:18:22 UTC (rev 1184783)
+++ PKGBUILD2022-04-10 12:20:04 UTC (rev 1184784)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=4
+pkgrel=5
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Wednesday, April 6, 2022 @ 21:54:06
Author: felixonmars
Revision: 1182225
upgpkg: haskell-sbv 8.17-4: rebuild with unordered-containers 0.2.18.0
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-04-06 21:53:06 UTC (rev 1182224)
+++ PKGBUILD2022-04-06 21:54:06 UTC (rev 1182225)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=3
+pkgrel=4
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Friday, April 1, 2022 @ 11:53:33
Author: felixonmars
Revision: 1179555
upgpkg: haskell-sbv 8.17-3: rebuild with hspec 2.9.4, hspec-core 2.9.4,
hspec-discover 2.9.4, hspec-meta 2.9.3
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-04-01 11:53:23 UTC (rev 1179554)
+++ PKGBUILD2022-04-01 11:53:33 UTC (rev 1179555)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=2
+pkgrel=3
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Monday, March 28, 2022 @ 23:59:39
Author: felixonmars
Revision: 1177467
upgpkg: haskell-sbv 8.17-2: rebuild with hlint 3.3.5
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-03-28 23:51:43 UTC (rev 1177466)
+++ PKGBUILD2022-03-28 23:59:39 UTC (rev 1177467)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.17
-pkgrel=1
+pkgrel=2
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Friday, March 25, 2022 @ 19:17:11
Author: felixonmars
Revision: 1176596
upgpkg: haskell-sbv 8.17-1: rebuild with sbv 8.17
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |8
1 file changed, 4 insertions(+), 4 deletions(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-03-25 19:15:03 UTC (rev 1176595)
+++ PKGBUILD2022-03-25 19:17:11 UTC (rev 1176596)
@@ -3,8 +3,8 @@
_hkgname=sbv
pkgname=haskell-sbv
-pkgver=8.16
-pkgrel=71
+pkgver=8.17
+pkgrel=1
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
@@ -15,12 +15,12 @@
'haskell-tasty-hunit' 'haskell-tasty-quickcheck')
checkdepends=('abc' 'cvc4' 'yices' 'z3')
source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz;)
-sha512sums=('56f3e1a528353478cfe17d079b3537eebeeac5d59af91a85656ce34b5b8e22be411810f52b719d586fc97173f518b7161b920a3c0b310fb4f730bf0a459cc01b')
+sha512sums=('6d9bae30012596b429c9119e331682ae76de7b786f5e8edecdd74b46e2d77fcd0b77314bd6fb5b0e48932f82d445d443c7ba037b495adb5b97bf922933442fb9')
prepare() {
cd $_hkgname-$pkgver
# Remove SMT solvers not in the repos
-sed -i 's/, boolector//;s/, mathSAT//;s/, dReal//'
SBVTestSuite/SBVConnectionTest.hs
+sed -i 's/, boolector//;s/, mathSAT//;s/, dReal//;s/, bitwuzla//;s/,
cvc5//' SBVTestSuite/SBVConnectionTest.hs
}
build() {
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Thursday, March 24, 2022 @ 20:46:10
Author: felixonmars
Revision: 1175328
upgpkg: haskell-sbv 8.16-71: rebuild with quickcheck-instances 0.3.27
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-03-24 20:39:44 UTC (rev 1175327)
+++ PKGBUILD2022-03-24 20:46:10 UTC (rev 1175328)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=70
+pkgrel=71
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Thursday, March 24, 2022 @ 02:58:55
Author: felixonmars
Revision: 1173614
upgpkg: haskell-sbv 8.16-70: rebuild with hspec 2.9.3, hspec-core 2.9.3,
hspec-discover 2.9.3, hspec-meta 2.9.2
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-03-24 02:58:44 UTC (rev 1173613)
+++ PKGBUILD2022-03-24 02:58:55 UTC (rev 1173614)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=69
+pkgrel=70
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Wednesday, March 23, 2022 @ 15:03:36
Author: felixonmars
Revision: 1171419
upgpkg: haskell-sbv 8.16-69: rebuild with hlint 3.3.4
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-03-23 14:55:21 UTC (rev 1171418)
+++ PKGBUILD2022-03-23 15:03:36 UTC (rev 1171419)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=68
+pkgrel=69
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Tuesday, March 22, 2022 @ 14:08:02
Author: felixonmars
Revision: 1170167
upgpkg: haskell-sbv 8.16-68: rebuild with hlint 3.3.3
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-03-22 14:02:19 UTC (rev 1170166)
+++ PKGBUILD2022-03-22 14:08:02 UTC (rev 1170167)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=67
+pkgrel=68
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Monday, March 21, 2022 @ 21:09:36
Author: felixonmars
Revision: 1168408
upgpkg: haskell-sbv 8.16-67: rebuild with hspec 2.9.2, hspec-core 2.9.2,
hspec-discover 2.9.2, hspec-meta 2.9.0.1
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-03-21 21:09:22 UTC (rev 1168407)
+++ PKGBUILD2022-03-21 21:09:36 UTC (rev 1168408)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=66
+pkgrel=67
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
@@ -27,7 +27,7 @@
cd $_hkgname-$pkgver
runhaskell Setup configure -O --enable-shared --enable-executable-dynamic
--disable-library-vanilla \
---prefix=/usr --docdir=/usr/share/doc/$pkgname --enable-tests \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname --datasubdir=$pkgname
--enable-tests \
--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
--ghc-option=-fllvm
runhaskell Setup build $MAKEFLAGS
runhaskell Setup register --gen-script
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Sunday, March 20, 2022 @ 20:05:03
Author: felixonmars
Revision: 1165245
upgpkg: haskell-sbv 8.16-66: rebuild with ghc-bignum-orphans 0.1.1
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-03-20 20:04:57 UTC (rev 1165244)
+++ PKGBUILD2022-03-20 20:05:03 UTC (rev 1165245)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=65
+pkgrel=66
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Sunday, March 20, 2022 @ 00:22:31
Author: felixonmars
Revision: 1163047
upgpkg: haskell-sbv 8.16-65: rebuild with hlint 3.2.2
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-03-20 00:16:52 UTC (rev 1163046)
+++ PKGBUILD2022-03-20 00:22:31 UTC (rev 1163047)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=64
+pkgrel=65
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Saturday, March 19, 2022 @ 21:49:01
Author: felixonmars
Revision: 1161945
upgpkg: haskell-sbv 8.16-64: rebuild with base-compat 0.12.1,
base-compat-batteries 0.12.1
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-03-19 21:48:52 UTC (rev 1161944)
+++ PKGBUILD2022-03-19 21:49:01 UTC (rev 1161945)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=63
+pkgrel=64
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Saturday, March 19, 2022 @ 00:25:40
Author: felixonmars
Revision: 1160144
upgpkg: haskell-sbv 8.16-63: rebuild with file-embed 0.0.15.0
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-03-19 00:19:27 UTC (rev 1160143)
+++ PKGBUILD2022-03-19 00:25:40 UTC (rev 1160144)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=62
+pkgrel=63
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Friday, March 18, 2022 @ 19:19:30
Author: felixonmars
Revision: 1158933
upgpkg: haskell-sbv 8.16-62: rebuild with clock 0.8.3
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-03-18 19:19:18 UTC (rev 1158932)
+++ PKGBUILD2022-03-18 19:19:30 UTC (rev 1158933)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=61
+pkgrel=62
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Tuesday, March 15, 2022 @ 14:23:27
Author: felixonmars
Revision: 1154525
upgpkg: haskell-sbv 8.16-61: rebuild with unordered-containers 0.2.17.0
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-03-15 14:17:15 UTC (rev 1154524)
+++ PKGBUILD2022-03-15 14:23:27 UTC (rev 1154525)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=60
+pkgrel=61
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Monday, March 14, 2022 @ 14:34:46
Author: felixonmars
Revision: 1152877
upgpkg: haskell-sbv 8.16-60: rebuild with hspec 2.9.1, hspec-core 2.9.1,
hspec-discover 2.9.1
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-03-14 14:28:28 UTC (rev 1152876)
+++ PKGBUILD2022-03-14 14:34:46 UTC (rev 1152877)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=59
+pkgrel=60
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Friday, March 11, 2022 @ 19:09:56
Author: felixonmars
Revision: 1148590
upgpkg: haskell-sbv 8.16-59: rebuild with ansi-terminal 0.11.1
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-03-11 19:08:43 UTC (rev 1148589)
+++ PKGBUILD2022-03-11 19:09:56 UTC (rev 1148590)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=58
+pkgrel=59
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Thursday, March 10, 2022 @ 16:32:33
Author: felixonmars
Revision: 1145960
upgpkg: haskell-sbv 8.16-58: rebuild with doctest 0.19.0
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-03-10 16:26:04 UTC (rev 1145959)
+++ PKGBUILD2022-03-10 16:32:33 UTC (rev 1145960)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=57
+pkgrel=58
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Friday, March 4, 2022 @ 19:04:08
Author: felixonmars
Revision: 1141778
upgpkg: haskell-sbv 8.16-57: rebuild with hspec 2.9.0, hspec-core 2.9.0,
hspec-discover 2.9.0
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-03-04 18:57:58 UTC (rev 1141777)
+++ PKGBUILD2022-03-04 19:04:08 UTC (rev 1141778)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=56
+pkgrel=57
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Monday, February 28, 2022 @ 00:08:42
Author: felixonmars
Revision: 1137995
upgpkg: haskell-sbv 8.16-56: rebuild with yaml 0.11.8.0
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-02-28 00:02:30 UTC (rev 1137994)
+++ PKGBUILD2022-02-28 00:08:42 UTC (rev 1137995)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=55
+pkgrel=56
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Sunday, February 27, 2022 @ 14:29:59
Author: felixonmars
Revision: 1137659
upgpkg: haskell-sbv 8.16-55: rebuild with unliftio 0.2.21.0
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-02-27 14:23:42 UTC (rev 1137658)
+++ PKGBUILD2022-02-27 14:29:59 UTC (rev 1137659)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=54
+pkgrel=55
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Tuesday, February 22, 2022 @ 16:29:17
Author: felixonmars
Revision: 1135896
upgpkg: haskell-sbv 8.16-54: rebuild with hashable 1.4.0.0,
quickcheck-instances 0.3.26.1
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-02-22 16:22:43 UTC (rev 1135895)
+++ PKGBUILD2022-02-22 16:29:17 UTC (rev 1135896)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=53
+pkgrel=54
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Friday, February 11, 2022 @ 18:06:04
Author: felixonmars
Revision: 1132075
upgpkg: haskell-sbv 8.16-53: rebuild with unordered-containers 0.2.16.0
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-02-11 18:04:03 UTC (rev 1132074)
+++ PKGBUILD2022-02-11 18:06:04 UTC (rev 1132075)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=52
+pkgrel=53
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Thursday, February 10, 2022 @ 01:26:01
Author: felixonmars
Revision: 1130708
upgpkg: haskell-sbv 8.16-52: rebuild with attoparsec 0.14.4
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-02-10 01:19:40 UTC (rev 1130707)
+++ PKGBUILD2022-02-10 01:26:01 UTC (rev 1130708)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=51
+pkgrel=52
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Tuesday, February 8, 2022 @ 11:36:42
Author: felixonmars
Revision: 1129212
upgpkg: haskell-sbv 8.16-51: rebuild with base-compat 0.12.0,
base-compat-batteries 0.12.0
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-02-08 11:30:13 UTC (rev 1129211)
+++ PKGBUILD2022-02-08 11:36:42 UTC (rev 1129212)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=50
+pkgrel=51
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Friday, February 4, 2022 @ 22:47:18
Author: felixonmars
Revision: 1126221
upgpkg: haskell-sbv 8.16-50: rebuild with quickcheck-instances 0.3.26
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-02-04 22:46:21 UTC (rev 1126220)
+++ PKGBUILD2022-02-04 22:47:18 UTC (rev 1126221)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=49
+pkgrel=50
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Friday, February 4, 2022 @ 01:47:04
Author: felixonmars
Revision: 1125203
upgpkg: haskell-sbv 8.16-49: rebuild with Diff 0.4.1
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-02-04 01:39:44 UTC (rev 1125202)
+++ PKGBUILD2022-02-04 01:47:04 UTC (rev 1125203)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=48
+pkgrel=49
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Thursday, February 3, 2022 @ 01:03:04
Author: felixonmars
Revision: 1123765
upgpkg: haskell-sbv 8.16-48: rebuild with base-orphans 0.8.6
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-02-03 00:56:52 UTC (rev 1123764)
+++ PKGBUILD2022-02-03 01:03:04 UTC (rev 1123765)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=47
+pkgrel=48
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Tuesday, February 1, 2022 @ 04:24:48
Author: felixonmars
Revision: 1121626
upgpkg: haskell-sbv 8.16-47: rebuild with unliftio 0.2.20.1
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-02-01 04:18:36 UTC (rev 1121625)
+++ PKGBUILD2022-02-01 04:24:48 UTC (rev 1121626)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=46
+pkgrel=47
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Saturday, January 29, 2022 @ 03:23:54
Author: felixonmars
Revision: 1118754
upgpkg: haskell-sbv 8.16-46: rebuild with async 2.2.4
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-01-29 03:17:40 UTC (rev 1118753)
+++ PKGBUILD2022-01-29 03:23:54 UTC (rev 1118754)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=45
+pkgrel=46
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Wednesday, January 26, 2022 @ 15:02:42
Author: felixonmars
Revision: 1115878
upgpkg: haskell-sbv 8.16-45: rebuild with hspec 2.8.5, hspec-core 2.8.5,
hspec-discover 2.8.5
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-01-26 14:56:27 UTC (rev 1115877)
+++ PKGBUILD2022-01-26 15:02:42 UTC (rev 1115878)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=44
+pkgrel=45
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Friday, January 21, 2022 @ 22:37:18
Author: felixonmars
Revision: 1112842
upgpkg: haskell-sbv 8.16-44: rebuild with ChasingBottoms 1.3.1.11
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-01-21 22:31:06 UTC (rev 1112841)
+++ PKGBUILD2022-01-21 22:37:18 UTC (rev 1112842)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=43
+pkgrel=44
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Thursday, January 20, 2022 @ 00:36:51
Author: felixonmars
Revision: 025
upgpkg: haskell-sbv 8.16-43: rebuild with cabal-doctest 1.0.9
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-01-20 00:30:36 UTC (rev 024)
+++ PKGBUILD2022-01-20 00:36:51 UTC (rev 025)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=42
+pkgrel=43
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Tuesday, January 18, 2022 @ 15:37:41
Author: felixonmars
Revision: 1109111
upgpkg: haskell-sbv 8.16-42: rebuild with hashable 1.3.5.0
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-01-18 15:31:24 UTC (rev 1109110)
+++ PKGBUILD2022-01-18 15:37:41 UTC (rev 1109111)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=41
+pkgrel=42
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Sunday, January 16, 2022 @ 23:47:19
Author: felixonmars
Revision: 1106725
upgpkg: haskell-sbv 8.16-41: rebuild with attoparsec 0.14.3
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-01-16 23:41:12 UTC (rev 1106724)
+++ PKGBUILD2022-01-16 23:47:19 UTC (rev 1106725)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=40
+pkgrel=41
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Sunday, January 16, 2022 @ 04:09:48
Author: felixonmars
Revision: 1105744
upgpkg: haskell-sbv 8.16-40: rebuild with semigroupoids 5.3.7
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-01-16 04:03:40 UTC (rev 1105743)
+++ PKGBUILD2022-01-16 04:09:48 UTC (rev 1105744)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=39
+pkgrel=40
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Saturday, January 15, 2022 @ 16:44:57
Author: felixonmars
Revision: 1104418
upgpkg: haskell-sbv 8.16-39: rebuild with tasty-golden 2.3.5
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-01-15 16:38:44 UTC (rev 1104417)
+++ PKGBUILD2022-01-15 16:44:57 UTC (rev 1104418)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=38
+pkgrel=39
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Friday, January 14, 2022 @ 21:06:43
Author: felixonmars
Revision: 1103458
upgpkg: haskell-sbv 8.16-38: rebuild with unix-compat 0.5.4
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-01-14 20:53:58 UTC (rev 1103457)
+++ PKGBUILD2022-01-14 21:06:43 UTC (rev 1103458)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=37
+pkgrel=38
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Wednesday, January 12, 2022 @ 13:21:35
Author: felixonmars
Revision: 1101528
upgpkg: haskell-sbv 8.16-37: rebuild with ghc 9.0.2
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-01-12 13:15:18 UTC (rev 1101527)
+++ PKGBUILD2022-01-12 13:21:35 UTC (rev 1101528)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=36
+pkgrel=37
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Sunday, January 9, 2022 @ 23:46:23
Author: felixonmars
Revision: 1098755
upgpkg: haskell-sbv 8.16-36: rebuild with base16-bytestring 1.0.2.0
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-01-09 23:36:07 UTC (rev 1098754)
+++ PKGBUILD2022-01-09 23:46:23 UTC (rev 1098755)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=35
+pkgrel=36
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Saturday, January 8, 2022 @ 17:53:41
Author: felixonmars
Revision: 1097254
upgpkg: haskell-sbv 8.16-35: rebuild with hspec 2.8.4, hspec-core 2.8.4,
hspec-discover 2.8.4
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-01-08 17:49:02 UTC (rev 1097253)
+++ PKGBUILD2022-01-08 17:53:41 UTC (rev 1097254)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=34
+pkgrel=35
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Thursday, January 6, 2022 @ 08:06:28
Author: felixonmars
Revision: 1094599
upgpkg: haskell-sbv 8.16-34: rebuild with primitive 0.7.3.0
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-01-06 08:00:23 UTC (rev 1094598)
+++ PKGBUILD2022-01-06 08:06:28 UTC (rev 1094599)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=33
+pkgrel=34
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Saturday, January 1, 2022 @ 22:33:57
Author: felixonmars
Revision: 1092029
upgpkg: haskell-sbv 8.16-33: rebuild with libBF 0.6.3
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2022-01-01 22:30:11 UTC (rev 1092028)
+++ PKGBUILD2022-01-01 22:33:57 UTC (rev 1092029)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=32
+pkgrel=33
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Friday, December 31, 2021 @ 14:05:42
Author: felixonmars
Revision: 1090279
upgpkg: haskell-sbv 8.16-32: rebuild with logging-facade 0.3.1
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2021-12-31 13:54:54 UTC (rev 1090278)
+++ PKGBUILD2021-12-31 14:05:42 UTC (rev 1090279)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=31
+pkgrel=32
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Wednesday, December 29, 2021 @ 17:12:31
Author: felixonmars
Revision: 1087433
upgpkg: haskell-sbv 8.16-31: rebuild with unordered-containers 0.2.15.0
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2021-12-29 17:02:04 UTC (rev 1087432)
+++ PKGBUILD2021-12-29 17:12:31 UTC (rev 1087433)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=30
+pkgrel=31
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Tuesday, December 28, 2021 @ 08:15:17
Author: felixonmars
Revision: 1085329
upgpkg: haskell-sbv 8.16-30: rebuild with tasty 1.4.2.1
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2021-12-28 08:04:58 UTC (rev 1085328)
+++ PKGBUILD2021-12-28 08:15:17 UTC (rev 1085329)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=29
+pkgrel=30
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Tuesday, December 21, 2021 @ 13:30:14
Author: felixonmars
Revision: 1081567
upgpkg: haskell-sbv 8.16-29: rebuild with silently 1.2.5.2
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2021-12-21 13:19:52 UTC (rev 1081566)
+++ PKGBUILD2021-12-21 13:30:14 UTC (rev 1081567)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=28
+pkgrel=29
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Monday, December 20, 2021 @ 05:43:00
Author: felixonmars
Revision: 1079528
upgpkg: haskell-sbv 8.16-28: rebuild with attoparsec 0.14.2
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2021-12-20 05:32:31 UTC (rev 1079527)
+++ PKGBUILD2021-12-20 05:43:00 UTC (rev 1079528)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=27
+pkgrel=28
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Sunday, December 19, 2021 @ 00:13:34
Author: felixonmars
Revision: 1078017
upgpkg: haskell-sbv 8.16-27: rebuild with tasty-quickcheck 0.10.2
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2021-12-19 00:03:00 UTC (rev 1078016)
+++ PKGBUILD2021-12-19 00:13:34 UTC (rev 1078017)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=26
+pkgrel=27
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Thursday, December 16, 2021 @ 12:18:52
Author: felixonmars
Revision: 1074362
upgpkg: haskell-sbv 8.16-26: rebuild with hashable 1.3.4.1
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2021-12-16 12:11:33 UTC (rev 1074361)
+++ PKGBUILD2021-12-16 12:18:52 UTC (rev 1074362)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=25
+pkgrel=26
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Monday, December 13, 2021 @ 16:22:47
Author: felixonmars
Revision: 1071916
upgpkg: haskell-sbv 8.16-25: rebuild with indexed-traversable 0.1.2
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2021-12-13 16:12:21 UTC (rev 1071915)
+++ PKGBUILD2021-12-13 16:22:47 UTC (rev 1071916)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=24
+pkgrel=25
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
[arch-commits] Commit in haskell-sbv/trunk (PKGBUILD)
Date: Monday, November 29, 2021 @ 06:11:16
Author: felixonmars
Revision: 1056510
upgpkg: haskell-sbv 8.16-24: rebuild with regex-base 0.94.0.2
Modified:
haskell-sbv/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===
--- PKGBUILD2021-11-29 06:01:15 UTC (rev 1056509)
+++ PKGBUILD2021-11-29 06:11:16 UTC (rev 1056510)
@@ -4,7 +4,7 @@
_hkgname=sbv
pkgname=haskell-sbv
pkgver=8.16
-pkgrel=23
+pkgrel=24
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv;
license=("BSD")
