%FILENAME%
haskell-tamarin-prover-export-debug-1.10.0-137-x86_64.pkg.tar.zst

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

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.10.0-137

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

%CSIZE%
236341

%ISIZE%
1084440

%SHA256SUM%
820084fe27aa0e3e1f22a2c5861b3b0683197ff772a77d402f6f45b5ea3a3b86

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjoVk0ACgkQeGxj8zDXy5LgKQ/+OsxyIUr9InsUtQ1sJR2vdgNMtQGrZNBA4WXmuR934VWRl50zOcYCO2tQkY2pG2MnDmw46cN8EmEXcxJbEd0++7oAPpxJfpVLFHsCHvY8opUr13miBmBLK6d+6GDXNYq5O+QfdVQI9J4vedyDMT3MXrns5hdvDj4tXa1eRwm4XZVBydKPCc1oeqRJljZglQUKIl26K+B3SyCvYL2JaaDtgeR9F2CXD754OA4MrPnK5xQjx1xou1myx+p2+rXbV5rCi2/Ue2B9YotdXTlrT/M/ftHPbM5OF9Ii0U6uh72Ls3FV2DCD9Fhtc93RyoiTA7kskUGm6UXQdwyieG6LKs0gx+Lp/47M0onSBRaTyLMG8AhZjeBrold3jAhLj8Dzr3tAER52pC4F90uHW6km1XaUs3OMnG6qYc1EUX9mWWZGUtEiK617fvv+fr/Md5WxzGg0gy/CEJqWrDVBVVbJjb3RcOLQi3i7edfo6GNMIeRuVcJPCQLunEqurCiX3T1kkQp8y6bAczn1l3Jsc73XOHR3eA61DTkJ0fzVssNDFMPM8Zgg249fRxCDVUVcCfiIwESCq7FWk4/IqW+HHVQD+Uem0OmCWhY6rlPaK/vTyZncHQKFCV5S8Is0LDwsDJikv9yeqcoBR8d2HaHIy+6e1MJ7WOBvRKI4yNuBUmtW37u5FEI=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1760056872

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

%MAKEDEPENDS%
ghc
uusi

