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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.10.0-108

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
40921

%ISIZE%
164128

%MD5SUM%
0347f7ea7d209cf9f7a466bac24e07a3

%SHA256SUM%
eccce16bc354d3b5e4b804c0d2c796628f273c0557db679a703f21f949400c89

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjBy2MACgkQeGxj8zDXy5KuUw/9F7AF6rFcrslMRcN3f3RlvWG+ZY8mozyduWrpgSPTA39T11mnVo7ZUfolMi/KHe71fglSnMWeUaPXU+SoBa/tWN221k4/hqfereU2MNchKN9lrSDUk9YnGAVwqoW9/2kbk9NjVA9MjNsnea/PZ0DA+BpWhcxVMb2GsS37muqWCJpGE3IRNJ1F6PEqayGpP5+gKKg+NvahfGg9GCoAFZiS2BQGfuB6ql3X+QilHku9eUsCE/lyz1mit3ndIQzP48I/s3bj4a0fB7qM96xyoVPtnnN57fCVMgRMvYge91EJLWi7OVcbQLTKhNDNpp6RhOGX+kXcFZdLJ3shRTOBD80OniPI00+wFb/J/2qlUxoLTvuKCESwWKM7fzsed1aHHf/VM42JbuK7043F6K51OT3bysDfGwdQ3XwedW1p6zt9Gy9I/F29yfYC91KdCJjCzgUFG5R/at9J1G/y6DAxX6o6ZEnsP3GuO0YKusUqsNkpppPZuBGPrguX11DNniETPFmWaGSIppLoDfdhmcgl4o8I9x9xYHLx5M8zmWbdxgxhW5X8/yp2sxO0mNQp2Dq9/pVPCqSPVEaCmypXCHYWPpQ5tLL5xOsXoJPzODCbUiOR0Jnej4QfTBeI6VfFX4B1R2etnosDcjK8fosvk0r/kSnSZ2Oz5OX9U95nr6rtj+LhM4k=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1757530953

%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

