Date: Saturday, December 11, 2021 @ 12:37:14 Author: juergen Revision: 1068270
OCaml 4.13.1 rebuild Modified: tamarin-prover/trunk/PKGBUILD ----------+ PKGBUILD | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2021-12-11 12:36:55 UTC (rev 1068269) +++ PKGBUILD 2021-12-11 12:37:14 UTC (rev 1068270) @@ -3,7 +3,7 @@ pkgname=tamarin-prover pkgver=1.6.1 -pkgrel=37 +pkgrel=38 pkgdesc="The Tamarin prover for security protocol analysis" url="https://tamarin-prover.github.io"; license=("GPL") @@ -16,7 +16,7 @@ 'haskell-yesod-static' 'haskell-tamarin-prover-utils' 'haskell-tamarin-prover-term' 'haskell-tamarin-prover-theory' 'haskell-tamarin-prover-sapic') optdepends=('ocaml: for sapic support') -makedepends=('ghc' 'ocaml>=4.11.0') +makedepends=('ghc' 'ocaml>=4.13.1') source=("https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver/tamarin-prover-$pkgver.tar.gz";) sha512sums=('dc6b91b1669055913a0aefc9a969812bf252185480fbf67588e7458289b1e1b64bf0729e9bee043513ecd5a57cd0c9477512e80861c6956c08b5e29d90211f62')
