%FILENAME%
haskell-tamarin-prover-sapic-debug-1.12.0-63-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-sapic-debug

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-63

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

%CSIZE%
282014

%ISIZE%
1422292

%SHA256SUM%
28b2e25687a157e89851107e6f81ffb1101be0dc316c5bfa4207d478e9d31712

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmpn4AgACgkQrx0hme8KPM/L2RAApa7Sk3DN4sLxtNwRIwh9NNU7zyngym3Wbtyoibn+oACe5NNTiIjCYmaeqEftbLjvt/31Ji/DE7ODoAgK8FxZgSoMOeBlLFYFdzhUMxa8EnW7t532a09WxLDwVxVlYXnI7AmyroD8jMTIbXM0HazOauXjPU8aFbA7Dy7HH7/jXRns0S9PMwmUA9IIGhWUEEvLo548zwLqa+bnRY7qXjzEa2vfAfA1zIx3jSqmn8dYO6JXMeXZkg1qlu+IexG7X2NECgqBZzx1x/EUC8vL0dEWG/Rn7BOG/JbNnifcgLmjslkiV2EK9ze1D86ZwVgOOTjT0zr4rO2Lv2UIiZWW4e8DmmsP7G3Hv2vOa0/RYCprEkZmTfB/LkgCG9PD3qLrRh7xZkKQgSgN8sTK9Zo/X5NkR/cc1IuwJCwpPRFPTUoEI9TKQQ9pDlWCqjN8NCVZdboG1psYNdFNCOcxg6K+/NE06MbdgT+pFoKCDI6SaVTr57s+NZLT+W600PFB6opig+p45uo7/3MEyZ/qVXZjUf8FhRdftjQPa7VvgAPGt2qaZ1KkL0Oi9/7DMDhaNjHcWgIbspIVtC9MdCsI2ZJbj4Eg3m/bkvjGs8QAXoamsMBK2g52qS44yIRx98a0IZP4WdKVKmXSvCdEJ0YIB0wqvnTXwMhhZ4CUYxHSoI2UZfY1X1g=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1783045916

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

%MAKEDEPENDS%
ghc
uusi

