Date: Tuesday, February 8, 2022 @ 18:26:22 Author: felixonmars Revision: 1129326
upgpkg: cryptol 2.12.0-15: rebuild with base-compat 0.12.0, base-compat-batteries 0.12.0 Modified: cryptol/trunk/PKGBUILD ----------+ PKGBUILD | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2022-02-08 18:18:52 UTC (rev 1129325) +++ PKGBUILD 2022-02-08 18:26:22 UTC (rev 1129326) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.12.0 -pkgrel=14 +pkgrel=15 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net" license=("BSD") @@ -14,7 +14,7 @@ 'haskell-parameterized-utils' 'haskell-panic' 'haskell-prettyprinter' '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' 'uusi' 'alex' 'happy') source=("$pkgname-$pkgver.tar.gz::https://github.com/GaloisInc/cryptol/archive/$pkgver.tar.gz" ghc9.patch) sha512sums=('3e7a58de47e5ae1fdc5067b2bcca66c04ee06c71e84f890104b64c59d1cd125667a23f537c3afd0503c059c97f5d168e6afa0df4fdc6c1e9448aae434e616bc8' @@ -23,6 +23,7 @@ prepare() { cd $pkgname-$pkgver patch -p1 -i ../ghc9.patch + uusi -u base-compat $pkgname.cabal } build() {