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

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

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-67

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

%CSIZE%
281806

%ISIZE%
1422284

%SHA256SUM%
49fc97373a7f4cf33053e3042ef10e489fb3032045107ca6d66ee00041dde91a

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqTNL8ACgkQeGxj8zDXy5KPqA//TcXXiWa4uSI4rRca7x2XMygAFZoq8/HjGnLNt3QkrWtJGWtOvI1JzHzSnpurpgI4YNRmGk958ps9Xf247JT+odoik2nGXZ9zwy57O43ZcJIgL9pLJ6RKUlQyfvM86Bh7uypp/yUbocJFXYPYvxKqHgqITArFH7+w187yErtItbMRVSAr3rMyLKiQtpjMapsA9X9uYW5gq0oEkyXTgIXft0on2kxTpVhyJBvdXfnM+Ze42XP0cyf9wKSA1CTi7YgiiGWWEXG+x4wFdWCwX1kotpkdroCsFNQ7CGk6yyWzxrAKHDf6dAkn7jr6ZYzFCcsGg2uQogCy+LFhsRsxvkyWsIFctk6R1TaJkUd9yHSq21tPbAaDH0tR+su3/R+eT5xjID4Z9QKW6EMaL97H8PD0xYOPOjejufUB8k2eoG1cxa7GBpNYbNKz/ikNlnVkKRjFFiVBSvcEeg9s6wEa7n5Qtc/o1dEXm2DS5G1H27buvKetDTyj8GVdqjKHyqGC8P1nM/ipxfUBza5aqkTV41h/4sVi9gKCFD6k6nXWkjtwGPDFE50oRkKfsRQ8M8fdXNk4JPL/o3ALJocXIEYC2y3z13Yl9dMdMzvlPopldzmkMjLR2Hu6WNA+uNimxrp60Yo5wjKlXiPW5KQM4EhuzX5ODrtm7X8Ba0fjVL/zn4rsqrQ=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1788032169

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

%MAKEDEPENDS%
ghc
uusi

