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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.10.0-141

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
38789

%ISIZE%
153492

%MD5SUM%
cdb273fa9d37d160c2875439bf3d59b8

%SHA256SUM%
95bd3d4d8ee56d5de4c004d0a3c12fa5b29cda4330e7e1a3dce023f95260af93

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmkst5QACgkQeGxj8zDXy5L1jQ/+NTktrGWETnVGQq2K6k9Vc/n/h0hUvNfvzxaJCMIdLXJf0q+6BJXbcliY9oVLSSWE7jaJq1zl5ZXYU7MUWfhbTlsFbsLQJYQpbFS/+3W+Pmv8zD4solmdOXJHQPuDZCCBGqpDhd2QWTpQ7JTd2crNsmg2gI1bwKdpwfjOUcyIAfiGqfM9R+XRktIUCIv5yhJgzT7G2HBG3vyQu2BOWITr/c7Puf9Gf5DpWbheSPQpZS3NgqDP3kYNpeqsoTP4RRyYr8JlwVEt8hAL0+pmjnI1BpRsGIKBFsRJN0IC2WXbJj7mgNTxOfyzB17vY+/ryzvJ2MPq+FKXi1CJzI4eNErWHwlfTnZIwlLw3Frrv4J2QVGMxWzKJtwwM0JkU3ijNRXDS7mQYeIbPT6ipq6jxKXwsUVF6clfmsLRcaD68+RhCUIR+XuOMr1BGOMPP1NKLK2SN0aY1uhft1MQfgrFQBXauDjQM5xs2T80oZsbChR4sPWXrPN++IavoYPYNHpdnPn5ohozb2CE/HABOZUSSb/lyUtdQywTaqZugdO2VJ3rjl4yHdUPiYSu9qkVatoh1ctlQNvlsbpXClaqH6NTDquE9tSg0eKeGqHjvg4gaxhGcTm4ql/+neT+JMziY2t0jr8pTjHyQOYsz38y/Z6PXMuo9xmN64QT5H8PSp+9+IeP3/s=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1764538207

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

%DEPENDS%
ghc-libs
haskell-aeson
haskell-aeson-pretty
haskell-dlist
haskell-fclabels
haskell-parallel
haskell-safe
haskell-uniplate
haskell-raw-strings-qq
haskell-tamarin-prover-utils
haskell-tamarin-prover-term
haskell-tamarin-prover-theory

%MAKEDEPENDS%
ghc
uusi

