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

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

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-64

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

%CSIZE%
3830817

%ISIZE%
21078844

%SHA256SUM%
b722e43f99eba873c8d36b94971354db51e3388e84ed686aea9b2a5a0efb5492

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmp7dYcACgkQeGxj8zDXy5L2ew//aCRArEx6jBr4mQ90Vhcpk5Ih0jhYRbKUuK7IBsvAVpr9xAgrpy49oNiyY2mnNtP9NK3OVB1FIUIQghkt6H5FvmKAn99cEHdUIxls3qilKq36UAg5Wxnk7MHxfNMYK4pxKDEkSTGdq+PfSkJmy9WdzlXr55MwCiDKpQT0ACtIHY7fSd7wVdzIJRXbdrskUr4Pl7JOxTj7ibEdZBrfr7nugiV7ZGGXvAO41bujVZw0F1+7asDEUWKj3MYrDKNX5FO1kfbNNTTBpicytNC51yh3WpACJFXq8cmtzApV2l52nHcxeo/reMetNZHE5GAlghHZxN6CE3HChGj4Ygpig02YfVJsqxn4b3pPA4P/tX/k5PEmif7D8CTVlPshvOBadSWsYo25xJ3pmkYrrzUcJEtA6hCy0rU8DcfG+2370yeoiqJ088Rg/qjdkqjKOTcWC9sKkGY/Kvr8Z9KOvB35qDli0F6WvK4mAO7fd15WUy+8hArirBgCqe/ugvU87gUxGKU/o7Hy9h8k4lsLlM2PdJQjiaAQfrIYBuP8AfmJsHWyVjRjJyVqjknc+VM4UPERFkbE43FEHFiYEpxecUa4+JHyZVcBal/kLGh2Gh2S6AbWDWuKWpELKzp0APt3q6uR6FtzXi8u2nO/pX++IVBebBdvG/H3loRopB5lqvE5DCmMO78=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1786475734

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

%MAKEDEPENDS%
ghc
uusi

