Felix Yan pushed to branch main at Arch Linux / Packaging / Packages / haskell-what4
Commits: 687662d0 by Felix Yan at 2024-01-17T21:47:05+02:00 upgpkg: 1.5-1: rebuild with what4 1.5 - - - - - 2 changed files: - .SRCINFO - PKGBUILD Changes: ===================================== .SRCINFO ===================================== @@ -1,7 +1,7 @@ pkgbase = haskell-what4 pkgdesc = Solver-agnostic symbolic values support for issuing queries - pkgver = 1.4 - pkgrel = 29 + pkgver = 1.5 + pkgrel = 1 url = https://github.com/GaloisInc/what4 arch = x86_64 license = BSD @@ -45,7 +45,6 @@ pkgbase = haskell-what4 depends = haskell-s-cargot depends = haskell-scientific depends = haskell-temporary - depends = haskell-th-abstraction depends = haskell-th-lift depends = haskell-th-lift-instances depends = haskell-unliftio @@ -57,7 +56,7 @@ pkgbase = haskell-what4 optdepends = cvc4 optdepends = yices optdepends = z3 - source = https://hackage.haskell.org/packages/archive/what4/1.4/what4-1.4.tar.gz - sha512sums = 587b4b4a15f2852fab092ad5b215b9050bf1f8146ceb9f2f1fba621f2fdbd311f360f296a61f2fe2da14f2e531217ed6ced83f3acf8a37c21b597a2fd0742b86 + source = https://hackage.haskell.org/packages/archive/what4/1.5/what4-1.5.tar.gz + sha512sums = 9e2f516cec88efb70fe0421ebd7fdb7d9576e1af5d747a1d34cfdf10c361122c4b421f05b6489956c8ec9370c8dd0cd6070b6434db8795e2456840cb7f4af2d5 pkgname = haskell-what4 ===================================== PKGBUILD ===================================== @@ -2,8 +2,8 @@ _hkgname=what4 pkgname=haskell-what4 -pkgver=1.4 -pkgrel=29 +pkgver=1.5 +pkgrel=1 pkgdesc="Solver-agnostic symbolic values support for issuing queries" url="https://github.com/GaloisInc/what4" license=('BSD') @@ -14,7 +14,7 @@ depends=('ghc-libs' 'haskell-async' 'haskell-attoparsec' 'haskell-bimap' 'haskel 'haskell-io-streams' 'haskell-lens' 'haskell-libbf' 'haskell-megaparsec' 'haskell-ordered-containers' 'haskell-panic' 'haskell-parameterized-utils' 'haskell-prettyprinter' 'haskell-s-cargot' 'haskell-scientific' 'haskell-temporary' - 'haskell-th-abstraction' 'haskell-th-lift' 'haskell-th-lift-instances' 'haskell-unliftio' + 'haskell-th-lift' 'haskell-th-lift-instances' 'haskell-unliftio' 'haskell-unordered-containers' 'haskell-utf8-string' 'haskell-vector' 'haskell-versions' 'haskell-zenc') makedepends=('ghc' 'uusi' 'haskell-contravariant' 'haskell-hedgehog' 'haskell-lumberjack' @@ -24,12 +24,11 @@ makedepends=('ghc' 'uusi' 'haskell-contravariant' 'haskell-hedgehog' 'haskell-lu checkdepends=('cvc4' 'yices' 'z3') optdepends=('cvc4' 'yices' 'z3') source=(https://hackage.haskell.org/packages/archive/${_hkgname}/${pkgver}/${_hkgname}-${pkgver}.tar.gz) -sha512sums=('587b4b4a15f2852fab092ad5b215b9050bf1f8146ceb9f2f1fba621f2fdbd311f360f296a61f2fe2da14f2e531217ed6ced83f3acf8a37c21b597a2fd0742b86') +sha512sums=('9e2f516cec88efb70fe0421ebd7fdb7d9576e1af5d747a1d34cfdf10c361122c4b421f05b6489956c8ec9370c8dd0cd6070b6434db8795e2456840cb7f4af2d5') prepare() { cd $_hkgname-$pkgver gen-setup - uusi -u tasty-sugar $_hkgname.cabal } build() { View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/haskell-what4/-/commit/687662d0199ec8b128d8723346c933e7234c382f -- View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/haskell-what4/-/commit/687662d0199ec8b128d8723346c933e7234c382f You're receiving this email because of your account on gitlab.archlinux.org.