Date: Saturday, May 19, 2018 @ 17:31:43 Author: felixonmars Revision: 324737
upgpkg: cryptol 2.5.0.20180515-2 rebuild with base-compat,0.10.1 aeson,1.3.1.1 Modified: cryptol/trunk/PKGBUILD ----------+ PKGBUILD | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2018-05-19 17:24:51 UTC (rev 324736) +++ PKGBUILD 2018-05-19 17:31:43 UTC (rev 324737) @@ -4,7 +4,7 @@ pkgname=cryptol pkgver=2.5.0.20180515 _commit=9fccc0086700b0e409bd9b0989e52d62863c714e -pkgrel=1 +pkgrel=2 pkgdesc="The Language of Cryptography" url="http://www.cryptol.net" license=("custom:BSD3") @@ -19,6 +19,9 @@ prepare() { mv $pkgname-$_commit $pkgname-$pkgver + + cd $pkgname-$pkgver + sed -i 's/<.*0.10/<1/' $pkgname.cabal } build() {
