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

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

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-77

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

%CSIZE%
42036

%ISIZE%
170264

%SHA256SUM%
f0aa8445ad442195b705c617239efe8dddd5ff64d13f0d447dfc9d9a8704e7c6

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq+QKgACgkQeGxj8zDXy5LeMw//SOfTu1u4SWexeLcgo1GPFcZz866N+KH8X5XdhLPSlk7y47CTTtULiTES2EbIX3AlzYZ8zrMCK00H5lIJF7lBJiFo6aiwHcD4YrbdK8iq/PSzZIfuYnVnLb8Cb3mT70/r1DOsCYXwX4POpDRG8scy8L2GlC0q/n9MiUpaujrOkO4i0rBG54RdWNDtKv4xXNqpi4uZvpgri9vTdvutsY1bLGXJ5ORGCZuMkBaiPiH+JY8MakJFjZC988U7laR18PsU/jb9tuin0TAeWzqo3MWoLL5WtKcq1cp2X8tYk0mr61y7buLpjBFE7zsJXPf1TSkAX+kuE+/+SXR5qgTLTcGUCDCS+9SRkXRnVXJGZxIwAqvQggWzAJRe1txMv8ckIrSqfq1TqiOIcnDYLmzt+wCcslcTisDwZGvG+6JII8HNOIBwfNyPlxRfCg1D7LXetS9nWBbWAEOKlbajuA/Qv+c/TT8mg23e86zVHx3MeFVggN/Q81AJgwbRKc1ZgdhH2aQQ9YlT/BbSXI3KCPjC4bmZy3KPUbHu/JuPO3lYIO6z5chlKMR/3V7foqMdbuX9s14wv5WsqR8p6MLUq9/Ok9t1kpw6Pl19l9PuJS4z4Q0qAA4nkIqUY3ikACrbzozOktcrq4ywQITZ89AU0AZ2I6YnkwHWVLfPsv0CzrMRBpEREYw=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790853270

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

%MAKEDEPENDS%
ghc
uusi

