%FILENAME%
haskell-tamarin-prover-utils-1.10.0-141-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.10.0-141

%DESC%
Utility library for the tamarin prover

%CSIZE%
243004

%ISIZE%
1263862

%SHA256SUM%
e193a9eadecbc676fc01c011c752bcbd33a5bab64cc9fb496a9a20b96e18baaa

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmlabz0ACgkQeGxj8zDXy5JCZA/+Lxm/qB8jJm5RluIblYMAm2WbyoNOKR/plEcKCxMr0WFXklR33vwUj2xCBlx5OBnbrsdSF2nc8jHlvSkvnnM+cWgNs2lcVYiVBMXQg/9ixKMqPMjnsjU7GzD0ZSa2n6HQBcyRFbeafp7um+nwz6IPUARR2xsb06dNIaJ5PRHblpQQY3QUigxOrTC8syBr4pD1ych1JNkv0hURrDfuAnEh9YUnbZRTPgSMl7bT5QX+C3YtfCcAhsa+IUbiYTGja4EOKJUIW89pk+AtJXO15kzGpzJOYK4DYt6XhePVVXGrxI0XgOl7+DB+cDNazyE6X+IpttOu+CPBnv+bPtAuVMnCpsGJgi+4q3wEh80J1DszMIA/mWBs9Z8hmZInC9pnAbytV4gojAsbUO+0/hbCqryTfYrW0MqWPUIlRaP33P4xHREG+LQ4WzhOu8V7acDIG6UcWOZT1GaXTzM4eZs26yfi+/VrLUsItpKlio2pkr6k1eh9Lga9S2YTLZKOLD8af7f6QU4W8JOF7kr6qqSjNn2exWbq2Jw/Ug41Yz/ujtdgEqpwjZrlJEsE0PRl8Yt5G1ZqIRX6ip/7relSzXMZH4IIZaJTpiY1XMZ/SSc6JTCnJSKwz+Edbaxp7qI8xh9OOhb50HuBC1pgG/SEoT7eX7bculzo7Kef3A1btKPJn574YK4=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1767534365

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

%DEPENDS%
ghc-libs
haskell-sha
haskell-base64-bytestring
haskell-blaze-builder
haskell-dlist
haskell-fclabels
haskell-graphviz
haskell-list-t
haskell-safe
haskell-split
haskell-syb

%MAKEDEPENDS%
ghc

