[arch-commits] Commit in cryptol/trunk (PKGBUILD)

Felix Yan felixonmars at gemini.archlinux.org
Tue Feb 8 18:26:22 UTC 2022


    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() {



More information about the arch-commits mailing list