[arch-commits] Commit in tamarin-prover/trunk (PKGBUILD)

[Jürgen Hötzel]

    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')