Felix Yan pushed to branch main at Arch Linux / Packaging / Packages / haskell-tamarin-prover-sapic
Commits: b30a5d5a by Felix Yan at 2024-02-26T13:04:22+00:00 upgpkg: 1.8.0-35: rebuild with GHC 9.2.8, doctest-parallel 0.3.1, filepath-bytestring 1.4.2.1.13, ghc-exactprint 1.5.0, ghc-lib-parser 9.2.8.20230729, ghc-lib-parser-ex 9.2.1.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-sapic pkgdesc = Library for input processes in SAPIC calculus for the tamarin prover pkgver = 1.8.0 - pkgrel = 34 + pkgrel = 35 url = http://www.infsec.ethz.ch/research/software/tamarin arch = x86_64 license = GPL ===================================== PKGBUILD ===================================== @@ -3,7 +3,7 @@ _hkgname=tamarin-prover-sapic pkgname=haskell-tamarin-prover-sapic pkgver=1.8.0 -pkgrel=34 +pkgrel=35 pkgdesc="Library for input processes in SAPIC calculus for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin" license=("GPL") @@ -25,7 +25,7 @@ build() { runhaskell Setup configure -O --enable-shared --enable-executable-dynamic --disable-library-vanilla \ --prefix=/usr --docdir=/usr/share/doc/$pkgname --datasubdir=$pkgname \ - --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-sapic/-/commit/b30a5d5ab0d6a070403e247880ada8446d84c30c -- View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/haskell-tamarin-prover-sapic/-/commit/b30a5d5ab0d6a070403e247880ada8446d84c30c You're receiving this email because of your account on gitlab.archlinux.org.