%FILENAME%
haskell-tamarin-prover-term-1.12.0-32-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-32

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
744507

%ISIZE%
4424539

%SHA256SUM%
722573659d08e6731eaf2b47d0452beba3a5522b9aa14485b03b516a39c75bc9

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoBe98ACgkQeGxj8zDXy5Ki+A/9FqLV/lLFZ4BTkZCU11H/MrSe4Su9knPZHE3Mlc7KHnvAFvk3X06/9o9Iy/Zw1usbcmKjoJP8wfyywV1A0EotT7dCUTD6oq78PFR0gQ9vsiWHhdFQ99zxPbF8BtncYSnhp7LadGG3qAjwxeFGiBQhBDj67/0CouC1rN1JI9/hGDnH3JXywZSCe7JVGhM7nlcIqub8u9+6MKxExAXipu+9MZMTXeqH/xzGbijOSCu/nMaM4KHCBLm7KQVqgIa5dmD8YLbxOD4qwBlAUlbypIQLaP2y5+uFZ9oJB1NqOTxc+Ztl3C4vYNd69o8dK+E4xeO9PPq5LQfH3uvmTk5/YchFj2dSt0uYkevtb3mgIl7JP0kKnfC2vd2qaXdD7UYyuIFhidD5/G75nyaYJwTZCd52yLYl8AdZuc17LPsGlXf8ujZllNTiuizbNygqYCROSkq8sWPJDXfQr+wBpLmCLwQFolUNBD8KqLKzY02LDz7zzC1rz4CREnaocvyVORclwgpTBROSDfs11jFsrpkQjU70+qPeyd4SJb0ewbloFT8XMcdU+hk1uEibHU+H8mWsg4AdfasmrFQmhITwOjpf+sw7FL29RomBqRSoxMrL0qqL53+8rcweAsy3gS8bJKMMWCsJ5SJ+ZN6p/PLkdD0CKsIGZKnZXJCbVbivVTHc3XjP0u8=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778482123

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
haskell-hunit
haskell-attoparsec
haskell-dlist
haskell-safe
haskell-tamarin-prover-utils

%MAKEDEPENDS%
ghc

