Date: Tuesday, May 19, 2020 @ 23:07:51 Author: felixonmars Revision: 630332
upgpkg: cryptol 2.8.0-112: rebuild with tasty-golden 2.3.3.3 Modified: cryptol/trunk/PKGBUILD ----------+ PKGBUILD | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2020-05-19 23:05:29 UTC (rev 630331) +++ PKGBUILD 2020-05-19 23:07:51 UTC (rev 630332) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.8.0 -pkgrel=111 +pkgrel=112 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net"; license=("BSD") @@ -31,7 +31,7 @@ --prefix=/usr --docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \ --dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid \ -f-static -f-relocatable --ghc-option='-pie' - runhaskell Setup build + runhaskell Setup build $MAKEFLAGS runhaskell Setup register --gen-script runhaskell Setup unregister --gen-script sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
