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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-36

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

%CSIZE%
3037135

%ISIZE%
22789959

%MD5SUM%
20c1748c093d89fe05f6f43a4d4078fd

%SHA256SUM%
0a44db85ef0b1b8511c4369bcaa4f913b5b72214f49ff5c45d42fa572f3766ad

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoHnmsACgkQeGxj8zDXy5KT/RAArinrx1NyWjg1PhwggtR077Sudcc/YwapPI2KmFI/Z55Kcb7GFKM7VGvCaqkIvw0HQccDX/GPK34lx+h7GF/n5g9uyYrvueGOmtucEDni9IGU/hGSveJOAAKUmzGQi32c99+2JukEWUWn7jTvAGpT29jZyEg+03GT3d7tdzxBzZWcCYkPndwBlRDHHcb1n4xxev58RYbCn7N7Fqr5TrCxG3Wb1KQUUSyCOEhGEK82N0DihCemDmitx3inDW8wv+MMFVk1mccFR+PMwlsTUBQIURaK47KEkynxTuElcdEF3Or4tzfptweI4rlVM22x1FmikeX6UMnj5toll5LmWbm/jLdWQYVSUAizEmnw9V5dWvsdWhTGuS9c4Sb0DnQv4Iw09suvsLjN28Y5xVHs8fZcgO96UzMJBuwX2WXq0lniB4NlU8aB+1Gwo1/sRrVqFHOB9vWxdevxHAo/5HUwxH/AyDtIP4kIE5Jdx+/moNMM7JXWHmIq0WaZTfULGh5SI6kTdE3NYUgygzfKflQNv5mquaErtqKHFIg4q8zJkc+ZHgVLz2Q3svWeYc+nSYtn2PlDjhpQzWkC9oEDOj5FPWfxQX+8b/Xin/O34s1F8Z0/62/IDNXIaZHh4KZebPz+iwzbkNWBlq5XuRBEgBJ0HifCCR21mImYvyLfO9nAXqOuw1U=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778884015

%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

