%FILENAME%
tamarin-prover-1.12.0-128-x86_64.pkg.tar.zst

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-128

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132328

%ISIZE%
4375482

%SHA256SUM%
59a9c2f1ffe6736e5f8fc522d81d349da9bf8be37e7cf58e3e0c95cf75a68f8f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrAWPYACgkQeGxj8zDXy5IbRQ/+IRLwFC20rfaPBL9kyFrwZkwDsMuQNqmnf3yat5G5n5EpaMoWFNMggztfvI8o9Y8FoL1EoW6L1yOsciqvuo/qeQSnj+FfBYMJ+t8kWgRh8H/FHQ087LfiFouZya5moW8civozzCRy1t7z6CntpB/CJjizfhZxRMD5H9Eje9aMCT5Bg44bPndGfoFWdKTyVcCGpoR/oWs+OnyKu1EFR3GsUFNOl7fZ8q+/U+DZc/2CeeFaA23rURurMMAa8I5vtVlANtWPAnm5XHskTtEgw2xaxil6X/WJmwy9brOFxWOgkiOPasYdRj4SaPsSzv/035cM90Nt6T+v3WWzhO1pfFQjPabUf8fdm7yJ8k2xDyU5kpObonTPdvk5XViYltDjzOUOaEb5122D1n/cTQ583G+kiESJ2mhWzLtRPIUVlS5HOdGEBf0rfMYJTUbc6YpTTesWktN5R81depTvtcBsLpTMMGQhpeSnRkXFZTzi6tasESbGNnn6pLe6g1X6SsZ6iwG5QD/TutWJ58xZZuTzP5Od3ly6MU/GbphwVEwpWX3iWQJamJKhPTbZd0AoolU/N7TqqsjYP3laadMquMHzuBfy6OCHpgTlMpHsKmqFx4IyWZeyYYbj9k/TfPVPO+JVpArB8etr6LTLXalPZQCAjumF2OzTO8ItE7LBFo0Vu5vQ5Vk=

%URL%
https://tamarin-prover.github.io

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790990552

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
graphviz
maude
haskell-hunit
haskell-binary-orphans
haskell-binary-instances
haskell-blaze-html
haskell-cmdargs
haskell-conduit
haskell-file-embed
haskell-gitrev
haskell-http-types
haskell-lifted-base
haskell-resourcet
haskell-safe
haskell-shakespeare
haskell-threads
haskell-wai
haskell-warp
haskell-yesod-core
haskell-yesod-static
haskell-tamarin-prover-utils
haskell-tamarin-prover-term
haskell-tamarin-prover-theory
haskell-tamarin-prover-sapic
haskell-tamarin-prover-export
haskell-tamarin-prover-accountability

%MAKEDEPENDS%
ghc

