%FILENAME%
haskell-tamarin-prover-theory-1.8.0-34-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.8.0-34

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

%CSIZE%
3634649

%ISIZE%
27461026

%MD5SUM%
1def9af6b7a605e8c8527a6159dc3d45

%SHA256SUM%
c804cc99242ee0a66c269caa7847a762dc137e0ba6f86203560dcc126608ca3b

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmXD9c0ACgkQeGxj8zDXy5JwpA//d2WPdXuMJI/7w2OPyCizftjbltkDH71bylyuf/FZESeMjZofC4uqDGQ92T7vQiW8D4W9W+evRDzTVadNgIexQpueloIBnzNl4DMcu7kmBei8MbG2kSZyEgHiKBAaRNKwBZW+Zca8u8dVLFwoHY3ISobM9opC0Qw6RTnFRMeq90aQGQq+3hTKdY23ZZFdSBWdxY6Qz34sr/hk8WxJ2eLqCTWrzoHVzRJUYT+0bYIy5qc6mCMc6bCey2uC42EYjzVCKyDi5lFIdvDQ/KWprFPFxDQUG31gCtxqNi6zpfbpRPdHFg+PA/hq84TFVjDfBJMHAril8nnCMBR6MNC0eCV9K8KuBoK0Oc/vqryWCBMrBaXcyLyjTmD07S2I3KHSV84c++RQ8gEBSFZaVjXzR9p+HEKqYj15pJfrUh8/En1erydsQgyLzPqnlOy+H7S4tpbK3kiwJPF5pD5chEGmh/+RUg8qUKICIKfazVcgqpeuAGHX+L/Es+wEK7EldpsDRzgqj+cAwI5M0Bx7c+5tBNsKEfeJz45dX4cVpYkwlKapzs0kxUe0Nyjja2slIhJwsF/206UrGRIeOT7pzbDz0oobDpTqnuU9PCLideyrva1J9jRVoU+YsfvvWMJtQHMB2R9JAvZQWyq7OD7jfAuRTX+V/fYEqgVj7eYhrdFdb6frXsA=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1707340948

%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

