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

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

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-70

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

%CSIZE%
281846

%ISIZE%
1422396

%SHA256SUM%
875a424494c72c01ec1099ca5fc667375e507d9d8ba859f708dfa9b8fbece5b0

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqdc4UACgkQeGxj8zDXy5IDVQ//clduTGFMbSWGTDU6715txFFu3ubcNRxJfrQg8Vwc1WM1abXfToZfWtA1S7bN/8SH2tZePh5oJ2QPafaLbpT8N38inbSoHCaAoTjtyXK2L1EXEq7GYNA1Pd7NDAIWjXkZfmjsi2wZNC88nv2ryB27FekMUyW5hR+V6Nlwj2ihPqbma9QNNhVoYffsXbqrRDdktjO0h5Ze/ODifNzYCz7KQyspZX4mVtIYYLlwI0aIkiK5beigP5fZyVWgTBTFyqYI6PregWFXoYihGbpZpDT6xd+v1kOIA2hCU2HUdI6P3rG/O67IU66/OLk8kfX5FJDD+z4sZt+RIe/q/lo9JQuMXSbso7xL++82tInf2oPeArV7wzWrHgVT5gkApuBWQLbENDOERcZv6KKJDXXOPTplT8dLEeVdwacUkQBAlcm58kHna2wvdUhgKwae4huw6WrdSZgrXjL4/R6p3VpGUH4DXR8d/3v290LB7i7yPx4+CKT5sseANgxJ1EyJJfBMzat7fczZEtPXV8bT4J1Hmktgg+fML2MrP5za6S1jooz2aOIR+/VAhFMB/FbmHNwjWBOwg0XcWeUgZQkaIRe/DAwrUMgu7MYjnEORHS/RFyxksxpr4O5d8SIonFs1yjXvRF0OmLboIrL9On5X2U/nmSLiE5QlZalD8setIdDZiv1qwEM=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1788703590

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

%MAKEDEPENDS%
ghc
uusi

