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

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

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-96

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

%CSIZE%
282025

%ISIZE%
1424996

%SHA256SUM%
62c933b5b358dff9d6e021a19343e7ca1e0f1a6a6444b3145a6ed46a329ec954

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmrkAt0ACgkQrx0hme8KPM86lg/+JUxNQNC+gVVTEVNebwIo55vTVpBq81z6NIvOmt+jIJe2ga4Lb7+4SSnLcyvSAPCalpwczTTlnXNTbOW+bQ/P/OxYXouod9OU+v0hIdpoPocp8e9NlaJzANTRaR/GfFPyEwflI4jf+iVBEewqROYVvG6KCZqtsxD6JsC58wT/ZNxgTM+Zkh02bGqCZb/ackXMKzaMNCi3+RuesbbTXPkmXdmHZF7+ir3WBYJtnW7Nv2TAGhOVl/PdKFuP81LBMYiGXEL2nCvGqWzxdQs85hq53M0fJsVSH0IN76uilxb2Zqfvni8t7u0+VkO775MF0MpJsTZyy7tXtUWIXgIQ2kS4OqBIxi5HvIOny+/YrN7AebVBfBo96B60qBDNkcyz3FuRNgUwZSKWdNXo8DTAHnlSvcjBg7tXmbGgHMHy7uNW0wnCKcmICAjv1XFMi5vJN01d5usgRIINuXiPC82fGMyOIMTLRc0COZnq5L2IvrScBzw774Z9wH5yEuixD3eGxwaXGYe9sq8wyi3MHL4GEVgC954DDgsf27HFqxUpHwg00CR/xf2P9RAaCOXnk5B3hUJeoHRG7kL8Iap4iQRfu/KpeeW2tmhQInpCPTXkzdSZtCEVajFP+srEoBFDs7I7YsJeMRvRRgkytspgHVrdbg6yMrdvRPVePN3CaHwLf6ONu/I=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792754717

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

%MAKEDEPENDS%
ghc
uusi

