Date: Tuesday, May 19, 2020 @ 23:58:30 Author: felixonmars Revision: 630356
upgpkg: tamarin-prover 1.4.1-339: rebuild with tasty-golden 2.3.3.3 Modified: tamarin-prover/trunk/PKGBUILD ----------+ PKGBUILD | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2020-05-19 23:57:00 UTC (rev 630355) +++ PKGBUILD 2020-05-19 23:58:30 UTC (rev 630356) @@ -3,7 +3,7 @@ pkgname=tamarin-prover pkgver=1.4.1 -pkgrel=338 +pkgrel=339 pkgdesc="The Tamarin prover for security protocol analysis" url="https://tamarin-prover.github.io"; license=("GPL") @@ -35,7 +35,7 @@ runhaskell Setup configure -O --enable-executable-dynamic --prefix=/usr \ --docdir="/usr/share/doc/${pkgname}" --datasubdir="$pkgname" \ -fthreaded -ftest-coverage -f-build-tests --ghc-option='-pie' - runhaskell Setup build + runhaskell Setup build $MAKEFLAGS cd plugins/sapic make -j1
