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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-123

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132345

%ISIZE%
4375482

%SHA256SUM%
07f48b24f8e524a60890b057ece43c94565c5cb94e13c866fb5bf2954f07d4ba

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq/GLgACgkQeGxj8zDXy5J8CRAAoCbsTQnI7XLSRppYHufcVtL/+7L3EAfFZRPFwR53q01BGrUJPsZEYrM4Rgl7KCg8oKWVH0Jmy68tWmB1ha8vlOAbQFV0xY/393V1I9XcTPNS54JXYTkLiOrdsjTJxFqztjBFpfQ+jJpunwKKYGNhsfPWOediQWdRMY240kh5kDs2+ds7i6ka75uSc3MaPa3xUUQ0I+ng7mMGlJTdAdl4f7EilntBFWF0O+gjgqb6KCNeShPDfQ/qpusKlfIIFnqYyTn6MnfGwupNKLyZj8jyj1g8dGts0JX8n/Nne/Ad9H4DQCDjo2Y1U881Wv+iz0ZbZjsj4shhFLyAByWp5MATBcpDH1mqf20f4yqBWeokSMMml6ZVMmXEhAFT/nLenqYsFZs+Cd+VE5q4LFffKOejjD74OAVcK8X0H5dIGywzScZFFdTWtaKSNlVmegxdxEVJus76bElDy4p7X+ux1IgwDGJW9DEVEW/QSCRO0FaN3fXfgCQPiUz/FVwy0S/AcS+VBcx96K11d2rU7uEiuPSpVw+jifJmUSJl/HY8lDD8Gx2cZAYB7wRZvc79Hh76M70U8bHXYfv9XMJUwS6fK0gFo6p4Ga9Cl94blY5J2ZUpo/FPeqaIFZ6UJJQE2Sufl5LXrPWIwrrnxlxeYlCjoXE2LIQwvUrcDfHHdb+XAjL3H/I=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790908568

%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

