%FILENAME%
haskell-tamarin-prover-term-debug-1.12.0-96-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-term-debug

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-96

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

%CSIZE%
638995

%ISIZE%
3726201

%SHA256SUM%
57d7ae386a474a6e3bc17bf71118c936e2f68f95571c21d5d7c76d1e9f21a4e9

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmrkAt0ACgkQrx0hme8KPM+AFw//Q1koZDQOwqpR0iejD35ntNabU6Ly4QbCLnFoBOx7qwDQqU3BAoxMr3DTp3q3+REGQw5qzqm2lfZUOJ3ogwtQxUBfzeWyqOqgtvy+TcacbnGEJEd1sB/nxgQ5IHDGnRMp9tptp4nN8+OvZ/8y9B6UN9SgWkqbx4ZXWT9mkhwcQV74ilEfbYMy5o9U+UiBb4vJIfsrvU0ECUD7NMOjY5IHv3BxLCzGXaPtdjQFm36X/T0E8pbfAwIJ8H+DRJ1Ma9QebHFtkwc+u7BOhP7jab3DluYcWwvKBUnS153SFu4TDIL0l2xhNhdprx7HZ8Q+1zFk5E6DvrlA6552DvewEAnP5g0k2au8lR5mAv5aVkNrlwEQ2bXqL4mly9wl5eNO68Qx6zCGdroD4KZqEfMNU+gxjgaF+Nxy8HudzRAUso26Et137Mmrz1ZOq2Zxgu11W642wc2OyeYDxp/BgUH8/cTVbZZCr0UK1QCAe3IYfwPhKctyvf5Uyl6FSd5NWt2QeKRr2C8I/gcf1PcDdol/RIHjJ8o6fcwbfTwtz1vmU5XLIlCB0VkAetaoUjoJN+1EZNsNELPGNXsukjF/YtdVXwiGGgtrKFGQZOWWT8L/DqnkBGykvFz+m39eQ2wJStOer8H4zeTQlcZgoErOgMSKXaireMHw/iEQrosnzMPtPUk4OqE=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792754458

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

%MAKEDEPENDS%
ghc

