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

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

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-67

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

%CSIZE%
201316

%ISIZE%
1148922

%SHA256SUM%
62645d79e42d7ce9f37e07f2d0c21366263acdf54c4aeffbcc66b208288b3435

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqUOywACgkQeGxj8zDXy5IqpA/7Baqy3/jLAnV53eSKdmjHCNty4zr3GGH3bSprdxdRmVVlObSQRio2sSrxNg4Y9H/2nUWSDH/I53qtWwqQVFVMmFbE9b7dX5dcsKSnqreFQmq8JBaxKJn7YpLWLrpSVZCoTjP79A9jpp1MjWYCrK1i24gf8GmDWgj6UBtU131wSsMJf1Jyk3vS0fZROu5+bdMZURjCoago9YOYmEjMllMH50LNTxJby82ySqHAg2j8ByRtdoEQDmvhPKa+4XRXdscO98QU4hwLQl9BxEijle6LhEFJAzti4Xm0BaHVp6V9jefQz2oF/haf02nVoos7B7kctSf66wazzHApjy8SEvOvhcRU+wJMC/y+sB2aCJZC+MKj6weUXZnZmQAFPM7eRyZX+7SFGsNxgLVjA9No1IFWwwKzB+42ouPufazn9xcRvxqVyLwu3FvgY9Yzb7Grpb2HxlfyNU2+uPlVtrFY5PIgNEAgqhv+NTjp56GjEClDZVFPhEbHN9XYDEO7lQG/uE1xkhK7comMVrYNA05t/XmDLoDOe8l18ClBPxvKDiqn1ewpqm5YYgYrlepSPYGJ+SuyIK+PciFnkMY/uuPoMFOhYY2d66KwgLFfDsADwAh448bcolzw9juy0MysZ84JTDUfdtoRP9ADYiamSXct81B3nX+hpq1B1/ReFg6jvYOYlfk=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1788099339

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

%MAKEDEPENDS%
ghc

