%FILENAME%
haskell-tamarin-prover-accountability-1.8.0-34-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.8.0-34

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
48641

%ISIZE%
203301

%MD5SUM%
e47d02833e1c97b267454b30901f1126

%SHA256SUM%
08798cf6feeb601ecfabc7118066c89ed3662a9a145faf6acb3f15b9462abf68

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmXD9hIACgkQeGxj8zDXy5JIcQ//eV+dVKggTsiY5MwYi+wsestncjhljqWIPPwk4NGuAT1FSBoe44isLaJ/+lZeyYCxoKZ+zzEtdGaQertvtHgB1wu0vhmJ8QVKUZ15dTzxxW0I+S36WxLHAnM94lK7SvQRxgk4zqMrarhJMlnWjc/8l1ooa6bzMjkOya7MOgLeGcaHFqdiKGcAnCXPIm+74zio6fCZh8TksJcZVf0JAQaqLEnZyNqa2S8AyelmAC1T2+GG7cMotj1XzQWRLQtbXtvHKYLZL16w1BNcal56Tkxc+xnIl1eYUkEL6MQQYka/RYbTXqvb8tOWTwQsb2m+N4gCp+wdblHs0HlH6+KhuYYNaboWtzwhET+eihRyL0hkvJ369iUT+2/S35uasCCqdYDu80gC6D3Qx225Ofx90I8Fm02jhnSA0t2jrbpv+kWIvC4bldBb4r9FbmujHOFN67O3YoRJTtuI064yIzKHNDK11OtJD9bYCtVvE8YGQDmbOGFMLaPcujeDajcyOsa7jznewpocxFs/yXD9bulzC4qAXLZhy4YW0U1La91yTcykfPCsR6o1vB3Vo1cMhdHp4XqchZ869F+Pc3kpNsPUrgAS6+SpAEWuiqJLGoO7UwQF76XQyU1eZ23uVyTfgOEdhp1xtfm2a1TJmLLx2RoYVvO8a2EWrbusmRI7iryapXWm3bg=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1707341305

%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

