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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-99

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

%CSIZE%
3037400

%ISIZE%
22800615

%SHA256SUM%
9f85c726044e52fbb9593a21fc873ea6147e6cc63b47bf43e9f2a879ed60d98b

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmr1t9sACgkQeGxj8zDXy5KrVw/+OWCZc3/aNJ0gNKROe+Cx/WQPBHK8QQFVGJfNkWfG/TpkXpnkGg8I2pBxvLDZbU++mDowu2IJ9I3z3EEmUtQaC1fb8DyK5moojFe+8rO5qad/5JbDvs65A5b8Xva7a65Nn25DL4XzQoJR/Rv7cjvBSSnDDZnbc+92PRVb7quQds3T/eDIfsRCxLgrPgU/8NVNdyrRyLxG2wAd6VRqSyZeqWnbBsT5faEDYrI1OY0lT7YduRvngcT9SJsuQz6R1gGbjsE1PC5bquEhO99bxScWiovmB3Ft0JqBWmiNsnviJGGQtJUjYH9GdPNPNThs/wnDgR1LBjX4xv9Gv26VPePAxyC9iZhapzK5nmWAA2g4x3XQcY8jfa7eZUQSYvF1xx498jGzPV5eshLxXcYjSxlFu+C4/yycJQK4HP2PiaheBRSlaVlqgz22vZeMTTsqa4ck0JnE7gwRDnOjz8IjTbk2+T3VfKKumHY4mMJMBEJTBP0T9cTZwmmFE/fgeNttBysRdFknvxaZmSRqLxvyQBtAU5pxlWBAL2eGom6bvYyjrMgZwdonlz2uCXy9qA7dzAuRUsE2W5SotC5pwklJcgRPLe5YwGn9s2QH/B8AFk0yJP8mloVoB/ddaQHSOzljpVuIp4d6+dS87KtjmHCxkdjNcxpb5kQKMoncIYYPKrmnFkI=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1794488093

%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

