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

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

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-67

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

%CSIZE%
266921

%ISIZE%
1213717

%SHA256SUM%
0a5897c930eefcb026e50e5753fe5b5f4ec36d4cf7546bc1741929b6bbab9393

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqTNVsACgkQeGxj8zDXy5JycA/+JLYSRk1aYv4Us+rUtGJU05vol6aIh66ES7AF2VaiBEkBbo8fBxWqJLOsOgOa0mUIrhst0wMo+TO6TDvTndsPRD1OoZJj7E6nYgDD1zwGExJ2+1wV8pdk5pycI/rZRMdHIZ5ivYoqEykuULm+efiskOb3pbHUpgGF9LIomw+o917Ho1wovNAOv5+/c4p0v+hA2DZnvMKXAMYeDQvXjlS/Q5vfDvzJLAhQ+VY3OhAcSRkVI/KirEnDNlaZogICoxr3udbyxK/0LYNR/gOeYwASpx7uODgZ3J8qEzTTpxFa3tiqyuG+Npr6KALeFtg0cpLODrzcuYdYxU7jzCRdXuJw3BfwNwpmb155m3TZbH0yoLk/t3CmVHhLMFhnAlWHTMTT43Chs5WiWYxh68alnCksHlDI6bT/u56HkAIn4vO/52P9C5zVG2Kphvj7v0WnZNqPzKdU6nbeHv2dhiLQlOkoQAY6ZiuHRsX7IUVyEk0vwjnydqswNGi5m5KZgJTYj4sktUMt5ttAXKU76A4gDjz5dGj/UH5p9KIKgd61JhLkgW/BIW7b5eH/A2JQEacJJSMyKevvkW5C1QzNKVRbFl0BoEhgrQnxbpmgzZlnfQLb+l9vMlRpSnCaRfZrAzfzlIjDP/LQsMeirQJo/OFOGKEJDBy5D3zoOT9hnttFpo1XYxY=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1788032314

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

%MAKEDEPENDS%
ghc
uusi

