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

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

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-28

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

%CSIZE%
3830671

%ISIZE%
21039804

%SHA256SUM%
bfe5f9edf923a25824216926eb7e7342244411e5f797f314769af8c27675e10e

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmn7IFcACgkQeGxj8zDXy5KPyA//TnjkNZ8BhaGXdA+jWQqL0eNKLS0bp5hc0ODofInhXD2aVh2y36iedhIRXeiTohkHMloQCc/3hUxB80NUX83kz3ofX1FnzBYHrodmYvtb4Ap/PcnoftVl0lM5ZJnDwKFKFgrtJiKJ9Ccup/eoyHiB4YIzlj0XPvsSyJAE/gObPZ+oRIrXm1u/YNp0JYcDswrxoyWDiwvYdRd3JE8mxYU10qzukvnjsVLn/Ng+mkdVTiebjrsmuEDnKURVAwToJFONXHLz8v2PXa86jExPADmgE/6yb9OGwj3hsxKgvIFsronrNftucNDnnKe3GPZ1LzmaNWwMU7lFZIWUhFPm+QoqMYC9Lqj9xCdix9TkJ+s04rkMCVZKpFt1tFtMbSq3b2ZRNFjtj7k6lZubCKuMl9V6WuzujkOmALa6edbYx3Gt5wNwqL97c16mLwVA79eG+gfyTS42lKOIRo0Ro4YpqM6nVCltwQLiGTp7Ubm0QXprkx//o7nQRR+UP8cO3JTs8YHldcSc54oIi3qy2wTC36ImC8HSYM2ZWXu/K/ijsEnERgzejC5+U0Sk4urit48ZJ6uea7A98tTBq9bdlXzsc8f1dY5sbTkd8Movj41VqoYU6JjRq9UQxRZ1OKLQGD6VhOqqIjZ3QdC9qJ6JjTYwWj5i3uZtjmBJiW+SkItFdhrORTo=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778065384

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

%MAKEDEPENDS%
ghc
uusi

