%FILENAME%
haskell-tamarin-prover-theory-debug-1.12.0-39-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory-debug

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-39

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

%CSIZE%
3830426

%ISIZE%
21079292

%SHA256SUM%
9b69b78bf8d3db4dcb751b1c289a9de3caeb8e5ba06d47438362cbab740c4588

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmogMpEACgkQeGxj8zDXy5KMhQ/9G14i7Sne5icONl4IoGFh21dhkmnV9e2C/3CAk+lbJvJCfATj7DfM6K22z1p4jCVlBpQ8ozbG+tvc8psE2WIfFki+AMoks4a0iIB/+tDYZtAxoDcTNWtW9jNUXMvttv+L/dSDWyD3EmDnpkknpjYu7PHMO0Oi5C+rL+eFyhuegyS+0K8WNgbuX37NHLyP7w7QempDN40Q1dp3JhZf8ElndqZqQ5grqnK3JUW+ZO5T+EljuWURjaofvXZ2FWzdHhoM9ueCDlDj+7jwzT0iYdh1NLKbL6n7wIN5PKh/2ZmLP7yetsCFl0Oq/56dd/C3fN9MTB2m47UX6ZmJOvMELZxIVPUPLiIchu9+XYZG9DDxVZNTXYiredYcm+bsQqotv81nkFswBruUSfyyUmVZacbx4qNRYwdteTCzGVE6knjD3bHz+DsV8XHrscOcDvyPkmqusq+LWF4MuO9EN5S+fViTYcAdxCLNNv/ii6hnnnm97ulNEQx286N4AYO1d1eo93SaPkoUkN/K51uj5mB9RTwthccPHKOiAYJguMZ9qoHa68yQ8O1GKdQENvJ9uF1+R7Mc5rLMIbATq5geTYLARnTgv3c49XTVWfQAondrJARDwyW7ne2IKz/kAhW8AI93NEUNmvjh3HoHwopmIV82m5XXzDPgBlEFUfoCNTR9HzgAOpo=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1780494853

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

%MAKEDEPENDS%
ghc
uusi

