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

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

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-30

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

%CSIZE%
281941

%ISIZE%
1424820

%SHA256SUM%
b750a731c53fc70396e99f728e3a19d7fce7f090de4f416523cfd76bfe66a97f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmn8VfkACgkQeGxj8zDXy5LF1g/7BF+lNKPAAZMOoER5UqrjAW7i06cpH1T80t/83aK/irik6Yg1BebOGXhogd715D3aWhXnLEhgYeuyZYb37qYVxt3kqwKnzeqhfOiaGG15Pzn1LIR8K57BKwTGKfNpD+OUrZUkFH1tIfxympHI5hiq6aANXVBsmm4srd++c4V3LRx7Wz4udMzh1AHaNAk3AAYc5nVObeSBTwBTYOaECmbtc4nMDYYGSpYc/Zh7TiqN7qsYS5eXTply0bxpI244F2TFyIr9T5zNM1NCKBvKArw7ahb9sHmEI+UR1m91jx11g3aRAgn5aV/lzvzcAx1eGvLmF3JnJviEbZWXWaIcYKcRCugujsIReQAGa7qEnE/y95AHs30K+KWribfsZVRhm0Q7qKq4BB6IA+/4sHNaBfHrgqVqKPcxbF+3ZLu890epiYBGCeoNA410X8dZr2OCsF6vBjCwIMCcEEv7uWEHcFDGHppIveH8FqWEs2matru86ds2w0XYOJ918yqOSGF3IDIZT1YqFaWzrT+gV1SKEqaLOpWCuLrSUe6SgpCsFwpfHiSFZbNLJZAyFuJc8oiL7LH8LZXtNSADGOzvZ7tiFXy3DbexMVS4YbTvjOiU1TuNXQ/jXKe0AWSGPnSaXq/4HhjjYgXeOtu/6AxjSaqt7+iIZnnDG6o/9gZbr0Gf19y+bQg=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778144723

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

%MAKEDEPENDS%
ghc
uusi

