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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.10.0-142

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

%CSIZE%
2996114

%ISIZE%
22602296

%MD5SUM%
c0ff08f45f900e1cb9bb23d3ac8d83cd

%SHA256SUM%
89bde27a9d466e4d489354f514ea8258a30bbe158af92757f94a88c8f1675c55

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmlaciUACgkQeGxj8zDXy5Jzwg//X6u4euInEjjorc8G3dlAwIefQy4RAaCuZRUyxSTz8AvD4iDM0EES8vsFbS/o2dS8m8QRsBwEb45sFJpJMFrpij3uf5XKlHQLFNqxS/XiPD0KFOW2ulx7psvkfTaasN2Gk+1orWpesd5dM55LpWdZNqjCDgPR7MjZ2Sf7wEbnFH/heiHaxf6GvrZ5mZAXkcnky9sMFZSUXLJ16NVw+hnSZbmAG4D9EkheR+KyxcBmE7b0cI+MTfePYV1ltPmCO8+b+fP0wiS+O3kvwuyU0DIEKVz3u9jis0PZ0yT5Uya9sqSpQEzdmohht3goTm+jUSf54ku+vyqdBUbpbyeepi+mXUw0FVpq9+cFgxYCY5Im8+vlktTXmLuGLvFq0bZjr8STC1yUEOwNchc0aVnrRo71AgdSVCrfxD+dMAded6qJfjFA4rrElWw3dk2lMdUQvmOy5rE04Dr/ELl4fS0Z27V01irupo85LBBs/OmTao9h3DD2HFmYRFMK5BGBHx84prVvNNjoSnHGzwzrOsJWklaTfjbBt/tf5j9DvEXs8Gs3jXmwl+ylmAoZDj6Wt431HLelVqxCh31GJyx8vcIC5ehOGOh6qOENe8e8PQRYEHeOvXqSiJbuu0mCmavY3k+BLyKOuhYGDVO99V9cGxo7bA3kdkVQS/kOmgxyKnfyQsWoEH0=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1767535017

%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

