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

%NAME%
haskell-tamarin-prover-term

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-37

%DESC%
Term manipulation library for the tamarin prover

%CSIZE%
742723

%ISIZE%
4424748

%SHA256SUM%
e410acccb825b8bec4c9a4eaa74f4837127e15d01bb11f375f9779d7da344b7e

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoTGIEACgkQeGxj8zDXy5KFrw//Zhp48qWwxvu25//iZMwvK90aMzchizFbD98iGXyzlNdoWUfguoi6+Ma7GqSlX7ScvLNVCGa3GamLiLmQ+Mv0hQ0RgeREUHxKGIKWFU9B2tQi2nq5VpRSpkP7DRJbyzncNeK1nNOkZPeOamHktAqeoeQGZAm2jkYAM4fttrx6Aww2G/NvE9DWbmvwVeEaQc/MA8iLqiSp/iIo8+DVYhJEwcPIZECbvIwwkIPGShL90ctv3/x7p8DzINWEClqgPdGkSiHh0FgKsrLbuVmmKLfFTMn9IV3ipjGdPiEBs45Ye3r3s3wlSLjAi3xubsDP3PIW2E57bhR812Jvm+cO8Q/ZCxVTgR0GzMSA0KfAPUeL2TG8lo7ePiLWc6nl0vJz9JMp9kwS0z2fbSZZWZwMEz7f/Fzy0EPJU/OCWaW22DJtMvzQRqoRdfqx6Nulit0yqfSImqDw2Cp7RwFFwgudrjvdcCxxJRGG15AD0D7mJrVz1GTuE40IHrzppLXUCsZoDc5Uyy2J0cVZyZGO8Y5VV/Pksrl8x7oCkSYQ8mMaz8A7xkwao/gWONf2tTRcCC+jN2fAUNkt1N/PdVH00ZvVsSLgaUZy3D2WeVAogq8ttehgXGDm46Pj4EUNSzPFQdZfZGe2IpZvdNUKEnIAu6lKn5piabAeMjTLZ4BcqfEWDIA2Fcw=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1779636286

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

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

%MAKEDEPENDS%
ghc

