Date: Tuesday, February 16, 2021 @ 09:20:17 Author: felixonmars Revision: 862271
upgpkg: cryptol 2.10.0-71: rebuild with sbv 8.10 Modified: cryptol/trunk/PKGBUILD ----------+ PKGBUILD | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2021-02-16 09:15:30 UTC (rev 862270) +++ PKGBUILD 2021-02-16 09:20:17 UTC (rev 862271) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.10.0 -pkgrel=70 +pkgrel=71 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net"; license=("BSD") @@ -13,7 +13,7 @@ 'haskell-monadlib' 'haskell-parameterized-utils' 'haskell-panic' 'haskell-random' 'haskell-sbv' 'haskell-simple-smt' 'haskell-strict' 'haskell-tf-random' 'haskell-transformers-base' 'haskell-what4' 'haskell-ansi-terminal' 'haskell-blaze-html') -makedepends=('ghc' 'alex' 'happy') +makedepends=('ghc' 'uusi' 'alex' 'happy') source=("$pkgname-$pkgver.tar.gz::https://github.com/GaloisInc/cryptol/archive/$pkgver.tar.gz"; sbv-8.8.patch libbf-0.6.patch) @@ -24,6 +24,7 @@ prepare() { patch -d $pkgname-$pkgver -p1 < sbv-8.8.patch patch -d $pkgname-$pkgver -p1 < libbf-0.6.patch + uusi -u sbv $pkgname-$pkgver/$pkgname.cabal } build() {
