%FILENAME%
haskell-tamarin-prover-theory-1.10.0-130-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.10.0-130

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

%CSIZE%
3039792

%ISIZE%
22725573

%MD5SUM%
07b916a5bc46c597b8e195fce907e399

%SHA256SUM%
30c5cebdfdddf3c577fd383824436138b221d817ecef72beff4123ad01e0ba0c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjbDVoACgkQeGxj8zDXy5JNXw/+Jk7G3f3vE+efNidORSftrwjSRjPCn5n/Eryll3cjFI0xQzI3HDoJPf5mxQPwBSAEujs6lKpl+utoPEaT1shrBzql1ClcQfvN0XCytZEFWIB6c3HX1hKRRnBBiZoqaNtIFsLctz1pIaY/eBdXBz9ZoodGTqzpPGiLfhhGf1VQCbWzKT0qo7tNeijmUC+gpJgkCHKk7BpZ9Nv1OT9o1Az9OrrwSulMgtuQ1A+dX0yTbuNNH9PiChOYKLlA1rXhfuG38ffh2QRCX1OC61Gt2BHfQOzS3uyl7CZ7NaaC9o/Ljd1V2hHTpRAIJAlzJnfQlJMGJTsroh98wZyHUaIeBhTXWCZMBm9Lk5KOA1/LLSyljhmP/povBHKURQBvIjMQZ6S9npSXFubR+U48P2R0Kco1iuyoFKHLs4i7IxQ/MiYM7rHb0ZiiQlxVzT92ypLnL/3XxTp6tv3E53fcgUQNPFbBnt+SMuBtU506mMvbilshd7RpDYJufKNLxLpDv3dkx9DOiW+kVdVbuZl8PoZgY6xI6bzuU6tqJ4RZ9QJMlNnSBQb1T1e9UzGRO6gtGnxQqi9Nu7X/lQRUqkC7rdgst/lyLp15WUruSlYR49yQsW956heF1MnxyN2bc0aYJBBHymaCqpTU0dRXhLN/bWlvUgXyHf5SjDV1n0VwmUeE/BccxrU=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1759186154

%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

