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

%NAME%
haskell-tamarin-prover-export-debug

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-96

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

%CSIZE%
266774

%ISIZE%
1213909

%SHA256SUM%
30db1ce3e535454e55f9b225a774b4a0353ceb09564257d462fb7aed404c7486

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmrkAt0ACgkQrx0hme8KPM/LWxAAtKvPWix3eMj3v7mXeebilE5c13eBFx9J2JVdVV3DZZgJmeEwXH4aYU4Re3m8ur4a32sm2VSPPffJU3mHu35U/xFKOhrfFdZxz4bCvNuUGlTvGAgLJ5Uv3nysK4hWtwPvFfgfgFf72t/XC2gOH5MHQGVsMExfDU3SJy1GeSrz8ew5n8YWQLlmHawm+jJGcz2ANtR6yI+wcHaIJmebuK/sA762ujLMVP1vgmcPsdBcobyoNLbGhOs1/03GJXFluwG5Ze5AxGddZAUT3Vd9j1DtVMowThBr3rBfrPBeGV/qkf9timEnAmVTLp7CWtnWnPaq0ovoN/S3BvZ1Ui4pMQkKWJhR5dThxg+k4644HdHkGGpeDXCYWrQASKqa3tQlvrRGzOVfCvUpc82GKqaHI6HEW7mra9vDJViPkaIB83iCgVJ5RQPrUtaj52FFsjAIA/vVe9K/5Pa4agZI/Qq7Ef1CzacIJOi7O2fb2oDpImKXCF1PlHEO5BFi6ejEVFjmgome2pR8YZaYa2myHRII3JUOwayheW0Imw6EtosEqb/lmJ3cQq3yF15j1wEi4FjjPusKnYelpm72qkOAKmFYbIAQcShGGafqPytaL4FlMFKpNNB0JqTlbdo58Q0gtpVU1nzf/uWNN3lsk39KRDC5EKxtkjuJcMbkwifeY8gimCy8aAQ=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792754899

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

%MAKEDEPENDS%
ghc
uusi

