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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-26

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

%CSIZE%
3022564

%ISIZE%
22851594

%SHA256SUM%
4e9992bd09efae240f058b7f91c168a8ec111875f3af43003e94dc06d318a6be

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmnxJhcACgkQeGxj8zDXy5L0mQ//cFJkJz7mND2qaFhoBD//UbT0L2CoC3onhPZJydiLdnclJ/7OwlTv9VnGs25hlWwBKwFzJmnmOhLp/l98emxINE/n1K+wY3OFQBa2wRci/y8Bdkj7CTROJjLpWAodED1RvKZ9TQMEcUG2EVbAgv7R9v2SZnuLQp9gTntH3m70Pt7orbOkM5n3YdSRGYmjgZNrIi/YUyHiqA7dQTk8LW0tiF3fEUIu196YTNQye/7HSiT07MHiBNtuy1dJWIQvZcuymV7UB1C0BJ9na70eq+AmifL23pf7eeUMXn/PgsSAo08h5oaxty8cIKbJUm/512+u3/ZArrWO2STLyOcM4PBG8K/zwsvBG0LQhJKLE+fLCPMkYwHiQt53bGIieoU5Hjq6QNfEwKbYzIWHCLwpzbMH6dZG6oWFjhastx1jQC9sNFaUX1yMeMM6fYwSwjY9WoJybcIhvT0xWxwPzKCRqlSrothGZGWD9iZxN8DcFAEAoI1vQvaAxYi+GqIbniP+zNML8PKz45zlNsnhKEH5eltuTIRIpzLqipK4M+twUU3dI51svhZp0ihx/z0ZJeszxuOiQCG6LSZnNQG3Nz2mQCOtzZpnm0q5MXe6/Que0/28VcVjJRI76nPMw+bhwjDKgX40HF1wb2Xuomo5eRzgiXPg7DiWFmqVTki/RWHIw4Akyr4=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1777411533

%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

