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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-55

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
743717

%ISIZE%
4436855

%SHA256SUM%
f7b13657cea7c7e0a1a16fc6adca63542ff87c93d5871a005bc4ec5b56a1f0c4

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo88SkACgkQeGxj8zDXy5JvPQ//QMWZnFn+plMblJ3SwjxDD/GSGsLFhwkkewb2lD+R4tttmpIgLGybr9u1zcnxmBoQGAfQDLoUgGvSSawE/DYtNatxyWaGkOy0INkdVdR9sClrp8lUvCuil8f0EpjU61tKf7xod/efubs3vEs2BJcKGPDUUHXx1U+2FbohjGifvGDL6tE1ejKO+y9xz0Yr4cCjoSHBPAGbH0HvNiuuqVQQanoNFeTuhoPMOye6vHPxcV5F29pqrkMrP3PyOjO4UUbe34qm4of2r3X2/SXvS4haboZUg2i/bkpFT3a3JjpuCBYS3SlI0kIcVc7X1dsfyvsRK9GMoDy7hjKfQmZWItKhkSnVcu5ClzQFWIdgk4avd7spXu9eURd033aWMJI4NpxgRC4ADNHTVazzKDFpjCP9iKor+23MD7P4fSERA0KjoKsCo1MLcXItmJdyQtS8pmhzbnAKpaRadmIKS+j33kngSQgQIyZnNnM4ZyLkFM4sBaM581g4NCz2fsOe46F8g4gpkb8+madOrSDZRIQhwLveyTCyxXnGe01N1vCbhzHLLvclxPwltBUFe2yO97Ph5ZAD5u1FPk/+bJszi29lKL6zJUSJji+M1hCbDLzEGO+gBUYcg1ZHCKhyAl/55h5YncKRinKKDRP5lCq4tmXO1agUSDJqC+nBAM2HXCEPylf2PY8=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782378758

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

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

%MAKEDEPENDS%
ghc

