Felix Yan pushed to branch main at Arch Linux / Packaging / Packages / haskell-tamarin-prover-export
Commits: 4818b1fb by Felix Yan at 2023-09-09T01:37:05+03:00 upgpkg: 1.8.0-2: rebuild with blaze-builder 0.4.2.3 - - - - - 1 changed file: - PKGBUILD Changes: ===================================== PKGBUILD ===================================== @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-export pkgname=haskell-tamarin-prover-export pkgver=1.8.0 -pkgrel=1 +pkgrel=2 pkgdesc="Library for export of processes in the Sapic calculus to the Proverif calculus" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL") @@ -37,7 +37,7 @@ build() { check() { cd "${srcdir}/tamarin-prover-${pkgver}/lib/export" - runhaskell Setup test + runhaskell Setup test --show-details=direct } package() { View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/haskell-tamarin-prover-export/-/commit/4818b1fb18eb96e7670a3fe33fa9180cbcb66bdb -- View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/haskell-tamarin-prover-export/-/commit/4818b1fb18eb96e7670a3fe33fa9180cbcb66bdb You're receiving this email because of your account on gitlab.archlinux.org.
