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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-46

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41265

%ISIZE%
163706

%SHA256SUM%
baf31539d6a1713126d7ba5354552ee0bfb873c94ea3ca8697d4b5f9a08c1f1f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo3BrEACgkQeGxj8zDXy5IWuRAAwQG8WQKBntOiehPWZ/jQASKFHw1IJcWwcn1EitYlC5rZxzzahIM7auhIJLB9PHAJ1YP91D1ZpRPGaIX158iEPgakqxu//UJKM2in2jola+slcZ8NAuVMSqFeP5oqaB6wYQYwqkbkU1mhS7MS1ixbqiApQjG806k8ItiHi+sv7jaGXD2TyJ5aACLYgLr4rJDewN+dfT2QZPc3375l1RShiaOzywLLepAk+NMsMMkjsc2qND0zadm6Umvz+Fx08H0TYbHRrRuZvQ3h+q6l4BGg1qIFEox8lLK7wJdZexlqfMy1MT82uP557bxJoNSsqvgpjER6Ung5Nn5KL3I5ahPNiw/cLpAwg1Mj+nJK1/KdW+fRCjb0LFenkchDf7L7lq1HAEOZt95ULMrQrEIbukyxOQdCT99aqVb1bTLRc4fr0n5iwOWVlwUP2MUVfnL4LTRaBMJsqNGDILeoft/zAe0l7b1dFcfdqOvolEtnvsmF6t+WzZpvQYFXSHwyQt6hgGqe3BtXSYIJ4DtDYD3wlD3zg1KdybfB49/27YJTZx/4nkj4p1A88AaP6qoThsKDbQlNI0pD2YLpQHI1kyEyKkVuPKBZRAK7Jkq+l2qOgILwNLDxDH8N2r8OR+484fr7/HfnG7UQpnMcxTZxgTaFT3j2RGH0CScfBRGNeKbGLfGHW4k=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1781991067

%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

