%FILENAME%
haskell-tamarin-prover-theory-1.12.0-94-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-94

%DESC%
Security protocol types and constraint solver library for the tamarin prover

%CSIZE%
3037688

%ISIZE%
22820975

%SHA256SUM%
dbe4f764122d67990861c0d1b9b5e5e7a986db17dd6a91c31ac3602e09c53fe9

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrZT2MACgkQeGxj8zDXy5KMTw/9ElI6lxjFfxRM7VJovNX5yS2OvekEfjH+4wCwEvrRqdQXSIbbrYxUuugwJ4zEsBuo7i9pn4uCqFJMDgx30yBh2g1noMyPNw6wtfMLjFBQvYtnj+Eg0nQZR+jNZrVq8raeSl5qY1rJ7woDhNLmiHtq3A1C1IeLRsmZH0zc8RaAlKTaBN6k5ycRfXL/4PF3w3C4lAuZUVMflJHH+1S6HiO0kugNBaRuPNOCLyGv+sFPoDjhGiXa4S1wZOTngAspb1qCOPHVapB/ViH8klWDI1iFkUei4NMnrlLQu3MogNZ7uvJEQrMFR2FFPpCUnGbUbYXFcmBbAQas982sfXEq1n1vkMR1u5mTc/RmxIj4iAGnKpb5vkOj9bSRefkNlvyOdEAMBKqmTXYLxBjdmG7QumKi5UgZdxCMYoswRVFhXb6JvXnbFtnXWTQl0gbHT/aY3LHpgCz8KDLsAfu0kof+mXbXMWDnMBjCe5OOsSv2cTJ8RVmwyt51waO672l1/Xyv0SM8BGsEdv38DgZ4aTz23v4QDXlMHqTzv644EFVOwffQiwo6W5RzLSr3Xco3rCqHip0BXBSH9MvDtIzT+x8df8oKie7LDgA40mIFEnpIgmvjPUEnPpqBZZUor0KEll5ufgw6yqC8U+eXqj8BBxEj/RSvNIhObLkcG8bpnNz2KvvbXaE=

%URL%
http://www.infsec.ethz.ch/research/software/tamarin

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792626436

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

%DEPENDS%
ghc-libs
haskell-aeson
haskell-aeson-pretty
haskell-attoparsec
haskell-dlist
haskell-fclabels
haskell-parallel
haskell-regex-pcre
haskell-regex-posix
haskell-safe
haskell-split
haskell-uniplate
haskell-tamarin-prover-utils
haskell-tamarin-prover-term

%MAKEDEPENDS%
ghc
uusi

