%FILENAME%
haskell-tamarin-prover-accountability-1.12.0-96-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-96

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41154

%ISIZE%
163716

%SHA256SUM%
fdf5c6f3d3184122d2112e1c30c89f0aa9f2a52d4b2ca1de8811a36902afcb2b

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmrkAfMACgkQrx0hme8KPM8mJw/9HfXl10U79C66pE6ipcevouSvl3EUNQD1hFAvPqtxoJEfoEa9QuRIZTwL+J5yoVRsh41ubUgqbhABtPaiM5yTwuJQcwLF4DyGmlyorw/3YByPXAz7gPjOsp2sJGZcXbHzrAA/MXqswuOKzQDji9CVS47LDZTKWa2OUEcMvKxWZjySMeEe09FfZoD2XmZwp/qiKWrX16xcHImAp0mUB5D5MhDcVjPdTMncyyjVJI7jRbRWW45/mN8d+kcir4Ly3DvF425ye/vVsdoB5wi5UdE0eirBZMKJuJYAZyDH7lMC8jWhwl9e39rb/QVlh2nUR6wLl4lW8cyFDvP0Z9gR7u5wLLzzeIPiJN4rteOvigk/ma1Qplxmd1m/xeIwLqpodTXBXjtn3mi59Vu5nqeiKtkNLG1kd52P6qADwcjBWe35angca6zHciD25sHJupkoLgFsJgrxuG/yMy4MtA6IwfpTaK/1DrkTHKaBlX7d8Zd7MJpEx9liwJnXKbS7Nb13j+MHcP+yXgIkmS6NKGqLt2nRT9iNyxo+F5rzJD5fyiGxeX5/GD3pgyzugJDAXDPnVLmRF5SYZmPhJ1Ikwx4/Oi3DNhjPP2Ny/zjF9SWetpJQv+bVakCD4cgSdAe2GCWhRLKelSifrLdnbZT4A5yyjodNIOwtboAtIgI6p1Z93cj0c0g=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792754709

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

%DEPENDS%
ghc-libs
haskell-aeson
haskell-aeson-pretty
haskell-dlist
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

