%FILENAME%
haskell-tamarin-prover-utils-debug-1.12.0-76-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils-debug

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-76

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

%CSIZE%
201497

%ISIZE%
1152594

%SHA256SUM%
aada48e51ba3798024c5c0f722246c6b415f165b7ee98b2c73004f6fcef2b89f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq+JmgACgkQeGxj8zDXy5JIJg/9HL95aqXRxvleoFIIqyPQacc6Y7burhV88oe+bOUjP3v8cwy8Keu05GzjFnq+ROiVd1KPwF8hNYJ33XDO/7ZmNUWjTegXn/ld6g2E4CYwwfvH2rUdVwBWHWPSIHYf2Qy3vkwQo5JYpNBMd77wFGT6qM9nU+IlS67pSXMj5fyTyjXlpYn42Y9Y1YKTCfI+AvhCdOHaWR/OTkQMTAYxTPh1bAkuY8J86O9/KXlGSauJiYGZ359bYkweX33vGu1ZGkeu9eWKtBJvWrTkYWe91L8RqMj+inHWOaBG1mDfywh2Yy8+N2B5qwee1LJa3+z2zN/BxD1zRoerE7ldoxR259IzBERJ+L2++ws+0WkKjNKcUbTDwcjVNAWPKkgk/jUy508D80dStXa9/qKcWncqi3LM55vk9hPjOrSirIAncrNmk1kl+sJLsx1soHVHd5maNssXnpfHkoNje3SbRDrdULKqi01z3Xy87h6Ts0TX3oThZYuGHqHgqw/Pi7Tbpehu/UIxjgyvP2E7YprjpFuXG/SVrNgW01KaVtWPv7stK+HMMPYN+i/d1EjTbVTp3M6QpRTZa9zIe4a+xUOdBfjYghURjZnviv7ox7CkNOB4JzUUX/poYxkbkP92PNat6feILVMkRmTTFz0mFuJWK5fXSvXJ2DLpkijLIV7O9TnxYF+FgEc=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790846552

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

%MAKEDEPENDS%
ghc

