Date: Wednesday, February 19, 2020 @ 15:10:59 Author: felixonmars Revision: 576579
upgpkg: tamarin-prover 1.4.1-255: rebuild with binary-orphans 1.0.1 Modified: tamarin-prover/trunk/PKGBUILD ----------+ PKGBUILD | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2020-02-19 14:53:53 UTC (rev 576578) +++ PKGBUILD 2020-02-19 15:10:59 UTC (rev 576579) @@ -3,12 +3,12 @@ pkgname=tamarin-prover pkgver=1.4.1 -pkgrel=254 +pkgrel=255 pkgdesc="The Tamarin prover for security protocol analysis" url="https://tamarin-prover.github.io"; license=("GPL") arch=('x86_64') -depends=('ghc-libs' 'graphviz' 'maude' 'haskell-hunit' 'haskell-binary-orphans' +depends=('ghc-libs' 'graphviz' 'maude' 'haskell-hunit' 'haskell-binary-instances' 'haskell-binary-orphans' 'haskell-blaze-builder' 'haskell-blaze-html' 'haskell-cmdargs' 'haskell-conduit' 'haskell-fclabels' 'haskell-file-embed' 'haskell-gitrev' 'haskell-http-types' 'haskell-lifted-base' 'haskell-monad-unlift' @@ -24,6 +24,9 @@ prepare() { cd "${srcdir}/${pkgname}-${pkgver}" sed -i '/cp sapic/d' plugins/sapic/Makefile + + sed -i 's/binary-orphans/binary-instances/' $pkgname.cabal + sed -i 's/Data.Binary.Orphans/Data.Binary.Instances/' src/Web/Types.hs } build() {
