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

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

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-36

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

%CSIZE%
281656

%ISIZE%
1419788

%SHA256SUM%
5f628414b55f33f06691ea12f962b112ab232002d648a250f95583555fbf911f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoHnwcACgkQeGxj8zDXy5KRmRAAoZCyDRfhlX09rMhcpS2N6lnMQghMhp/UhGjxAwkoh/4uLTHvRjhtpB61UqgoPbUlZsamI8RM3HkaK9RPC/7gULvMcxK/L5QuZDvLBDVSz/KuKQZt3DAT0P9lYOg9NAo2yFmcytOPO7987Cj6jsqO4cvE6lLKe0drzI9gWdbV2xbHYVLwRlpQPiLKfY5S2UiI+Xf7Bhew5Z+TdxI1/m8FzV0RlW9YywVqpGcx1lM8iE4r/MSnJxTv283PAJ93bYWT1AFS/OgQfDoV5jUW3ZA9BmiqoWsa8TMaJr2lOi4fakP85JohcAztiO/tOgW2BT/IAGso3sTKT/kfi2iiym7NoogL/OmCnOnDcX3wPfTSboiyVBPWKuz8wOs+SX2OdCH3ZXe3P3/HeFmV+OG1m6vW7YbjDaouubmIy7H9e7LUt8sV7fhxE4rP0C1eAKaAXpM594/msPt2BFu5ueUi1kI+Keqk3mIK2IpDmSB9jf1Sy053dHiS9eWPDzmE9bdgM1RH59nnLq5QPou3LLkulEHH9yiUlPE+XzQ21rk6bNxlwRth5jolyb5BJA5CG4NmNuNvPL0V7SEJAzeAvcOFk4lyU+bWnZzgT3WPOq+WwERDOxLcRrE6c5AdA8FLb41+PEKu6Ej7UJ4yTkLsLQGWe706/4Q6z/QNkkJXacu7onizIJ0=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778884278

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

%MAKEDEPENDS%
ghc
uusi

