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 =================================================================== --- PKGBUILD 2020-10-17 23:42:10 UTC (rev 725774) +++ PKGBUILD 2020-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() {
