[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