Felix Yan pushed to branch main at Arch Linux / Packaging / Packages /
haskell-tamarin-prover-theory
Commits:
d41f2322 by Felix Yan at 2024-11-01T01:19:11+02:00
upgpkg: 1.10.0-1: rebuild with tamarin-prover 1.10.0,
tamarin-prover-accountability 1.10.0, tamarin-prover-export 1.10.0,
tamarin-prover-sapic 1.10.0, tamarin-prover-term 1.10.0, tamarin-prover-theory
1.10.0, tamarin-prover-utils 1.10.0
- - - - -
2 changed files:
- .SRCINFO
- PKGBUILD
Changes:
=====================================
.SRCINFO
=====================================
@@ -1,7 +1,7 @@
pkgbase = haskell-tamarin-prover-theory
pkgdesc = Security protocol types and constraint solver library for the
tamarin prover
- pkgver = 1.8.0
- pkgrel = 56
+ pkgver = 1.10.0
+ pkgrel = 1
url = http://www.infsec.ethz.ch/research/software/tamarin
arch = x86_64
license = GPL
@@ -21,7 +21,7 @@ pkgbase = haskell-tamarin-prover-theory
depends = haskell-uniplate
depends = haskell-tamarin-prover-utils
depends = haskell-tamarin-prover-term
- source =
https://github.com/tamarin-prover/tamarin-prover/archive/1.8.0/tamarin-prover-1.8.0.tar.gz
- sha512sums =
62d8da7a46d521f85fa4544c676b5c7a6d0f26770eb4169fc3aef66e9b1df61753fc1e1fca9531cbe29d971807cc04f7af80c4c9f9c4bb2bae632c6e1fb32662
+ source =
https://github.com/tamarin-prover/tamarin-prover/archive/1.10.0/tamarin-prover-1.10.0.tar.gz
+ sha512sums =
52ea3e77051208ab2f2b9425988640a2a699adfaaac90d5946d3ce43663ad535f5efb1bf845e0d540eb719e0f26c4d8beec4e231f54f0f393f42c2a392cfd486
pkgname = haskell-tamarin-prover-theory
=====================================
PKGBUILD
=====================================
@@ -3,8 +3,8 @@
_hkgname=tamarin-prover-theory
pkgname=haskell-tamarin-prover-theory
-pkgver=1.8.0
-pkgrel=56
+pkgver=1.10.0
+pkgrel=1
pkgdesc="Security protocol types and constraint solver library for the tamarin
prover"
url="http://www.infsec.ethz.ch/research/software/tamarin";
license=("GPL")
@@ -15,20 +15,11 @@ depends=('ghc-libs' 'haskell-aeson' 'haskell-aeson-pretty'
'haskell-attoparsec'
'haskell-tamarin-prover-term')
makedepends=('ghc' 'uusi')
source=("https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver/tamarin-prover-$pkgver.tar.gz";)
-sha512sums=('62d8da7a46d521f85fa4544c676b5c7a6d0f26770eb4169fc3aef66e9b1df61753fc1e1fca9531cbe29d971807cc04f7af80c4c9f9c4bb2bae632c6e1fb32662')
+sha512sums=('52ea3e77051208ab2f2b9425988640a2a699adfaaac90d5946d3ce43663ad535f5efb1bf845e0d540eb719e0f26c4d8beec4e231f54f0f393f42c2a392cfd486')
prepare() {
cd tamarin-prover-$pkgver/lib/theory
uusi -r regex-pcre-builtin:regex-pcre $_hkgname.cabal
-
- sed -i '/import qualified Data.Binary/a import Data.Foldable (asum)'
src/Theory/Constraint/Solver/Sources.hs
- sed -i '/import qualified Data.Set/a import Data.Foldable (asum)'
src/Theory/Text/Parser/Token.hs
- sed -i '/import Control.Category/a import Data.Foldable (asum)'
src/Theory/Text/Parser/Formula.hs
- sed -i '/import qualified Data.Text.Encoding/a import Data.Foldable
(asum)' src/Theory/Text/Parser/Rule.hs
- sed -i '/import Data.Either/a import Data.Foldable (asum)'
src/Theory/Text/Parser/Signature.hs
- sed -i '/import Control.Category/a import Data.Foldable (asum)'
src/Theory/Text/Parser/Proof.hs
- sed -i '/import Data.Functor/a import Data.Foldable (asum)'
src/Theory/Text/Parser/Lemma.hs
- sed -i '/import Data.Label/a import Data.Foldable (asum)'
src/Theory/Text/Parser.hs
}
build() {
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/haskell-tamarin-prover-theory/-/commit/d41f2322096f7690c68d0fd2d6a1713d04777066
--
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/haskell-tamarin-prover-theory/-/commit/d41f2322096f7690c68d0fd2d6a1713d04777066
You're receiving this email because of your account on gitlab.archlinux.org.
