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

%NAME%
tamarin-prover

%BASE%
tamarin-prover

%VERSION%
1.12.0-160

%DESC%
The Tamarin prover for security protocol analysis

%CSIZE%
1132161

%ISIZE%
4375482

%SHA256SUM%
b07b884cb01ea10b66c125007c8a9775f313506120f6ac415e9efcceec2d2c49

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrYnbEACgkQeGxj8zDXy5JUxBAAlXXsel2/+T1ADmta5LkWgq3inSRWFotFIMxSfvSw7f4+3hjAYJ8DNjqzOyRTbA1hkTjow1HKa50TztKPWjnp2YUNYCVQ+8BPlE3hxUMiVnhM8oOyYgxmrPJysXn/waDdl2nNie38C6V9a7e/nPff5LKtNCmzSOt/39VVVHEPU17TjHcMej6dSBCMh+BBx7QJwIqrgMEERuAyinUJ+PdrIT3NzAgLB4UQZBDukCzFKhXpm7W2y5xWAiNigA+XfuxLDknEAAlGykQdAXHFyvjUqtWi5M9H1WHa9klFMWabJW2imkr2P4+AsMTl4H0swvV3JqnxcO93bJobtlmJSemEgdyhwv2pHVUTwLWyvy53e8yc/qMDbM7e6Re5WP+M/ssu9lTJrRhSyW92z7gIUaEBHiUheHsOj525UIFV/svBMX8oP8z5T7dxldQ40PeXZbhs9SIT+an3t89xbuY+O59wHpmKojN/NAHyZwA9qw+6DSrY71NIfkmyFhY7PC/tdLeUHI1lHaIEtKkmPBJTwxOe3jNd2kCh+rCJDrsJvgZOlVwFfKQ/pVucLFwrG8/cXg9bngGqvfBsauoqU/46LN2jtZcqSNRowC3kilgfei4Ir2ktB8xOpeSnjLuYJ/h5mRcyMTK0/wcMJ47FQTO+CqSmLCeruHxqWx3GKejeeQsq+Ew=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792580973

%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

