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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.10.0-67

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

%CSIZE%
3039991

%ISIZE%
22725928

%MD5SUM%
d1888fa298650ea662c9c8694619a46f

%SHA256SUM%
1c57c9b4f00b77d8f373467b0f0e99594d76579becebc268cc349d640546d32e

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmiSP4oACgkQeGxj8zDXy5L6Zw/+NksCrE8Oqvx4Re9BsdHwfRhHfrwrCE1kObh0jfXRqbitB8DkcyWQ3sO/YS2rZkhhhvwoQXL+TCZk/xc6eqn4jNBLkMe/hnskjlT+L0pjC2SQg9SxSbjp/1tFlSFEiauyKyBEgCLf8/Z45k/75dhCh9wVMTSYpFzgtJwwiXXCFZCT63MyN1MAEs/X7kzWuxYbQJlLw68gmPoCUwITmPBrDenn6+AbMRDMAGqXhD9KSdqC1jUbjghu18mZ5NmiCVWKJSAwilPb4EBYm2SshoeGw/BYJBRTG6GcfGJknzeb/jQKXQybGalVwwFxoflijeHplcn1P6CZxDRell0qYo+GkU7Z4Inyeeq9YmKD2nMS9ulsgZSbvjIFd6u54LP+zJnvT8IpSWW80DMLdi/AXQz3/zVcC4JHO32W9RhtE2WaX0MRTK/7DBnqSrKLgUS1NvjAGUiN0pn5TE4T3QBlPtrdOC59ikHheRh54a2vG42AQ0y4uBbCplaelTnN4jz0apA7nrhiS/jZQqjxLqddWcC1k/QtIJUyWzJzr3KdG7L2GVlCPzgPUgF1SXQNwg6zOejhp7Bn8drCUJwEuAMXZirRLIKnnLco5q6nkwlOeD6TdcQw99FbLXyJRvw0g2OBpS2JIJvf+7KQ0aR7oI7hL+Ov72TH+yBJGpZmjrjRV2B/muk=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1754414853

%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

