Felix Yan pushed to branch main at Arch Linux / Packaging / Packages / haskell-tamarin-prover-export
Commits: f0290331 by Felix Yan at 2024-02-26T13:44:24+00:00 upgpkg: 1.8.0-35: rebuild with GHC 9.2.8, apply-refact 0.11.0.0, doctest-parallel 0.3.1, filepath-bytestring 1.4.2.1.13, fourmolu 0.9.0.0, ghc-exactprint 1.5.0, ghc-lib-parser 9.2.8.20230729, ghc-lib-parser-ex 9.2.1.1, ormolu 0.5.0.1, resolv 0.2.0.2, stylish-haskell 0.14.3.0 - - - - - 2 changed files: - .SRCINFO - PKGBUILD Changes: ===================================== .SRCINFO ===================================== @@ -1,7 +1,7 @@ pkgbase = haskell-tamarin-prover-export pkgdesc = Library for export of processes in the Sapic calculus to the Proverif calculus pkgver = 1.8.0 - pkgrel = 34 + pkgrel = 35 url = http://www.infsec.ethz.ch/research/software/tamarin arch = x86_64 license = GPL ===================================== PKGBUILD ===================================== @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-export pkgname=haskell-tamarin-prover-export pkgver=1.8.0 -pkgrel=34 +pkgrel=35 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") @@ -27,7 +27,7 @@ build() { runhaskell Setup configure -O --enable-shared --enable-executable-dynamic --disable-library-vanilla \ --prefix=/usr --docdir=/usr/share/doc/$pkgname --datasubdir=$pkgname --enable-tests \ - --dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid --ghc-option=-fllvm + --dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid runhaskell Setup build $MAKEFLAGS runhaskell Setup register --gen-script runhaskell Setup unregister --gen-script View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/haskell-tamarin-prover-export/-/commit/f0290331fb87063dcfd30e8e7f53df6975fb6bef -- View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/haskell-tamarin-prover-export/-/commit/f0290331fb87063dcfd30e8e7f53df6975fb6bef You're receiving this email because of your account on gitlab.archlinux.org.