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

Felix Yan felixonmars at gemini.archlinux.org
Fri Mar 25 19:33:23 UTC 2022


    Date: Friday, March 25, 2022 @ 19:33:22
  Author: felixonmars
Revision: 1176602

upgpkg: cryptol 2.12.0-50: rebuild with sbv 8.17

Modified:
  cryptol/trunk/PKGBUILD

----------+
 PKGBUILD |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2022-03-25 19:30:15 UTC (rev 1176601)
+++ PKGBUILD	2022-03-25 19:33:22 UTC (rev 1176602)
@@ -2,7 +2,7 @@
 
 pkgname=cryptol
 pkgver=2.12.0
-pkgrel=49
+pkgrel=50
 pkgdesc="The Language of Cryptography"
 url="https://www.cryptol.net"
 license=("BSD")
@@ -23,7 +23,7 @@
 prepare() {
     cd $pkgname-$pkgver
     patch -p1 -i ../ghc9.patch
-    uusi -u base-compat $pkgname.cabal
+    uusi -u base-compat -u sbv $pkgname.cabal
 }
 
 build() {



More information about the arch-commits mailing list