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

%NAME%
haskell-tamarin-prover-accountability-debug

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.10.0-143

%DESC%
Detached debugging symbols for haskell-tamarin-prover-accountability

%CSIZE%
37149

%ISIZE%
144472

%SHA256SUM%
2b8ff7d0835ca3b13e270fee6521bb43149973f2d51494f04b6a5467ae2a8a15

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmljsqEACgkQeGxj8zDXy5IAKg//YDTjj6h64GqJYtKvpWPRIVZsXVQ0P2bcfQDdQKikzUoWMfovqU+H7S4HoiIKKBzP+MR6ndI0vf8mnFa3Occf5SHieYjamFSH6li15ZJcTkb/GnzZPgopUBjajXp2c4bDyuc17dIiVw1ffj1oNOK4YGtxGhIQmH9LJMA6+MEC7994B2cxAfWsr0tBPR3P8c52gcknsEoR8ezYh4D+JKAV14fAaWgqd2N1oWbJH8agYtfKvMqfRi+dUKuKGHVtcr/uwHuEsj0pvhypR6mVKSe3vIf6Ia3WnLsqwet+3O8Fr2T8XhJwtVzevXSC2eXyRyICUfWM2QvC4D+SR4UqKxbxvBToG3rTeVITB5k/veB+yKsh2xHP5+98TOvsZNaeS+uR+5cPh7FqMBXiylULw/PIZb7tOP44D2RyMdUIgzH+obUKl8LNW5PjC1RSZFcOe/bmg32EAIq+kq7tSFHC3wHs7OtAaITmaDat99Evlw+/WZFmjF2K2h1fB2tzKWlxaSvDYqYuEM13aHJrK0qERusz5wDyM5/RKAlq3EvNv9Jf5hueHNDbSlg2txQSAAyeI5duyParyqbdkhbd7h716YxnsDU0A3II6NYZnxzcnu8I5bUqUM4pxHMTOuNma5YgE/Jquf4IDpUkJaxRoHSXJ9ydHg5gliGDOtwRlfs8TkYtzkQ=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1768141434

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

%MAKEDEPENDS%
ghc
uusi

