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

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

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-92

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

%CSIZE%
281638

%ISIZE%
1419724

%SHA256SUM%
5fbcefb001d0ec32f1890126fc915daa8cee91565a7b9a6705682ea31733a960

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrVTroACgkQeGxj8zDXy5KH6RAAiTOVBq2bbntnQ45YThdT2Y1EZ4R9rfZ74pnpwk4rZHWP1JV1HgTddumhYsYBhnCwpSoeewsRgNzuUovnWRvERdCH709z9NfM5rXh0sDBPwoQ/ZNs26dcPBkvjlKY/taHnYs0SIMnVjK8itBTQhBJ9e4jy88Ns3/kQV2rMR1cDnwbUWj5ahKLfjfXOtM2QifSsDmF6s+gTc4jQjGd+xChClQB3d3H5rIcRJu5nEHyk+3KWWs46I8EP3DWMS0p2YrgztbrIgqwdyzcvj9JeRCduMxdOPk9QMK/+Q4YX8805KwBkLAGBGQXIsDKZG4H4cExGsxvFD71otKs2XkAToeuWCYRkOK7Vv6rlHCxKDJbDCS5vraF7xKNTHcOm7eICp7X0a/8R4P72AygIYNOKeRzokkVv9n8wvz60cdwGxLnff3fRvqWHE0pEJbsuVFTHjVc4zP4zdOcv5Oe1gr573726jCSmeYtChq4zXo666GapoEKPXTp5npZGgYUAskEh4YScIj/9a0gyPsysBMVtiHmcllabl7Tl89gV7sdkGIl7gWxqZCQxsKzJDXP0yl8baNDQsGZeexIxX4qqCIQAp68j9FXuiWRjN9CnASyR1dTaWxn+FiAEYOQ2KlV7gQdrstQtcyBr42O+/HFx8JasURHaRDMhGQ368T7jASb9DTjb6A=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792364196

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

%MAKEDEPENDS%
ghc
uusi

