Date: Monday, March 21, 2022 @ 12:34:21 Author: felixonmars Revision: 1166681
upgpkg: tamarin-prover 1.6.1-117: rebuil with memory 0.17.0 Modified: tamarin-prover/trunk/PKGBUILD ----------+ PKGBUILD | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2022-03-21 12:34:15 UTC (rev 1166680) +++ PKGBUILD 2022-03-21 12:34:21 UTC (rev 1166681) @@ -3,7 +3,7 @@ pkgname=tamarin-prover pkgver=1.6.1 -pkgrel=116 +pkgrel=117 pkgdesc="The Tamarin prover for security protocol analysis" url="https://tamarin-prover.github.io"; license=("GPL") @@ -29,7 +29,7 @@ cd $pkgname-$pkgver runhaskell Setup configure -O --enable-executable-dynamic --prefix=/usr \ - --docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \ + --docdir=/usr/share/doc/$pkgname --datasubdir=$pkgname \ -fthreaded -ftest-coverage -f-build-tests --ghc-option='-pie' runhaskell Setup build $MAKEFLAGS
