%FILENAME%
haskell-tamarin-prover-term-1.10.0-49-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.10.0-49

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
745795

%ISIZE%
4419486

%SHA256SUM%
543fa825e028eaf34d4c08227199b3b933b591a6854a16d798b3fc3a8d6229d9

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmgy+VkACgkQeGxj8zDXy5JcMA//fI+KEsKT1da0O1nc16juYwPCj6vX3xlHpxNJjBhGmV4rPlq84k93FpaljyoD9fzriFHItwDS3i6lI7tRba53yrpw+XTSMBrJH8OzbpXiXl9bJuTmRoY305JK1AFYTW6txvYj8eac0t/0XupoZ2E12rL8+dqlDV1oVNnB5EP9NtBOSIM+2HOxvJvCQZzjLYImkjQhsK9UmP6kgqpkeOS42NT4cjo0uYNmqqj/vT1OFjVheJB/wZt9CB8sIjqmE9ARGbpIO8t9vJH6d9Tk8kI09hdQix2wTm+97QKspFsx++4juE6Y54Myf3PT6hx+qy2sB1IWlQsXtdIPzjqXJhx/qYKLhtcs+ot6aGZhGiTjOsy+Kxc/hmc+eJxOo86o3YvgEwuCaYhdLsN9algJgvbLYX0wb0rziAE3yQa1OTrx8xdgUtAM4h+sOJ/pf3kU+kKOjGIGfyHsKTv1adz2JYcW0Eha/dEnblNjFfgJQxinHxmU5KXi/30qncLbSig7fdjZGu0yRcOReZM/FZiwVluQZeckzX/+TsZ7fLHJEJZjnWKoZYJ/g6WQQ4utFFmJrr+SGYHqcvBCuA8ZMsZGn9mcG9UM9qRGCYLDcJp8anlJM1igQzzCXZVjmzE8+6vxG3EsOlBfM+6X4jAWFQhISEVRG6SL6R7Ni6Ig4VLDsCd3Kaw=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1748171057

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

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

%MAKEDEPENDS%
ghc

