Felix Yan pushed to branch main at Arch Linux / Packaging / Packages /
haskell-sbv
Commits:
99587886 by Felix Yan at 2026-01-29T20:00:53+08:00
upgpkg: 10.3-1: rebuild with sbv 10.3
- - - - -
2 changed files:
- .SRCINFO
- PKGBUILD
Changes:
=====================================
.SRCINFO
=====================================
@@ -1,7 +1,7 @@
pkgbase = haskell-sbv
pkgdesc = SMT Based Verification: Symbolic Haskell theorem prover using
SMT solving
- pkgver = 10.2
- pkgrel = 74
+ pkgver = 10.3
+ pkgrel = 1
url = https://leventerkok.github.io/sbv
arch = x86_64
license = BSD
@@ -22,7 +22,7 @@ pkgbase = haskell-sbv
depends = haskell-random
depends = haskell-syb
depends = haskell-uniplate
- source =
https://hackage.haskell.org/packages/archive/sbv/10.2/sbv-10.2.tar.gz
- sha512sums =
39165b2753e7c84f9335d304fab0a2ef9068b946e23369c1790541a29fad0de50d11956f605592ecb95abb4876c30cb4aaaaebd9e677958cd8adccb84cd28a25
+ source =
https://hackage.haskell.org/packages/archive/sbv/10.3/sbv-10.3.tar.gz
+ sha512sums =
e68b7d3603d7ba54045ebabb7a7bcaee22e7d676fe8f3c225fecc3c9ee25b6a2a3d07d7df383d61fed216fc5370b82c15e0ae76fad39557e48107548f5c2deb4
pkgname = haskell-sbv
=====================================
PKGBUILD
=====================================
@@ -3,8 +3,8 @@
_hkgname=sbv
pkgname=haskell-sbv
-pkgver=10.2
-pkgrel=74
+pkgver=10.3
+pkgrel=1
pkgdesc="SMT Based Verification: Symbolic Haskell theorem prover using SMT
solving"
url="https://leventerkok.github.io/sbv";
license=("BSD")
@@ -15,7 +15,7 @@ makedepends=('ghc' 'expac' 'haskell-tasty'
'haskell-tasty-golden' 'haskell-tasty
'haskell-tasty-quickcheck')
checkdepends=('abc' 'cvc4' 'yices' 'z3')
source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz";)
-sha512sums=('39165b2753e7c84f9335d304fab0a2ef9068b946e23369c1790541a29fad0de50d11956f605592ecb95abb4876c30cb4aaaaebd9e677958cd8adccb84cd28a25')
+sha512sums=('e68b7d3603d7ba54045ebabb7a7bcaee22e7d676fe8f3c225fecc3c9ee25b6a2a3d07d7df383d61fed216fc5370b82c15e0ae76fad39557e48107548f5c2deb4')
build() {
cd $_hkgname-$pkgver
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/haskell-sbv/-/commit/99587886aa9f1fdf44b5b8d0785441513a528a97
--
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/haskell-sbv/-/commit/99587886aa9f1fdf44b5b8d0785441513a528a97
You're receiving this email because of your account on gitlab.archlinux.org.
