Felix Yan pushed to branch main at Arch Linux / Packaging / Packages /
haskell-sbv
Commits:
bad27d57 by Felix Yan at 2023-10-04T09:31:29+03:00
upgpkg: 9.1-1: rebuild with cryptol 3.0.0, sbv 9.1, what4 1.4
- - - - -
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 = 9.0
- pkgrel = 59
+ pkgver = 9.1
+ pkgrel = 1
url = https://leventerkok.github.io/sbv
arch = x86_64
license = BSD
@@ -23,7 +23,7 @@ pkgbase = haskell-sbv
depends = haskell-random
depends = haskell-syb
depends = haskell-uniplate
- source =
https://hackage.haskell.org/packages/archive/sbv/9.0/sbv-9.0.tar.gz
- sha512sums =
c392d2644d2bb00faee38336028f963a055490c9830592eb3dc35a14871256f9ca7a8ff163e41de2dc57be0de6a111f03ae2d2067d288fd37b43e2fae479c3cd
+ source =
https://hackage.haskell.org/packages/archive/sbv/9.1/sbv-9.1.tar.gz
+ sha512sums =
15230abf1fbadf12d750b61cd6fb93ec721d62e3d147237f9ab394a824b9eef54486fba37d93052935c5b7dd133272e721497e3c7a5fc38a66ff9907282845f4
pkgname = haskell-sbv
=====================================
PKGBUILD
=====================================
@@ -3,8 +3,8 @@
_hkgname=sbv
pkgname=haskell-sbv
-pkgver=9.0
-pkgrel=59
+pkgver=9.1
+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' 'hlint' 'haskell-tasty'
'haskell-tasty-golden' 'haske
'haskell-tasty-quickcheck')
checkdepends=('abc' 'cvc4' 'yices' 'z3')
source=("https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz";)
-sha512sums=('c392d2644d2bb00faee38336028f963a055490c9830592eb3dc35a14871256f9ca7a8ff163e41de2dc57be0de6a111f03ae2d2067d288fd37b43e2fae479c3cd')
+sha512sums=('15230abf1fbadf12d750b61cd6fb93ec721d62e3d147237f9ab394a824b9eef54486fba37d93052935c5b7dd133272e721497e3c7a5fc38a66ff9907282845f4')
build() {
cd $_hkgname-$pkgver
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/haskell-sbv/-/commit/bad27d578e210c19f665c56c4ac4bf112481d143
--
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/haskell-sbv/-/commit/bad27d578e210c19f665c56c4ac4bf112481d143
You're receiving this email because of your account on gitlab.archlinux.org.
