Date: Tuesday, March 30, 2021 @ 11:08:59 Author: felixonmars Revision: 910445
upgpkg: cryptol 2.11.0-5: rebuild with sbv 8.13 Modified: cryptol/trunk/PKGBUILD ----------+ PKGBUILD | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2021-03-30 10:53:32 UTC (rev 910444) +++ PKGBUILD 2021-03-30 11:08:59 UTC (rev 910445) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.11.0 -pkgrel=4 +pkgrel=5 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net"; license=("BSD") @@ -14,10 +14,15 @@ 'haskell-parameterized-utils' 'haskell-panic' 'haskell-random' 'haskell-sbv' 'haskell-simple-smt' 'haskell-strict' 'haskell-temporary' 'haskell-tf-random' 'haskell-transformers-base' 'haskell-what4' 'haskell-ansi-terminal' 'haskell-blaze-html') -makedepends=('ghc' 'alex' 'happy') +makedepends=('ghc' 'alex' 'happy' 'uusi') source=("$pkgname-$pkgver.tar.gz::https://github.com/GaloisInc/cryptol/archive/$pkgver.tar.gz";) sha512sums=('4e8e9dec727c02e76043ee390b91d0a740df747a8f49b2551686ac7db3cc0c94c36e20316b59e7e50e28b838f3f9bf7202095cf6ce683d83fd47826702381649') +prepare() { + cd $pkgname-$pkgver + uusi -u sbv $pkgname.cabal +} + build() { cd "${srcdir}/${pkgname}-${pkgver}"
