%FILENAME%
haskell-tamarin-prover-utils-debug-1.12.0-78-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils-debug

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-78

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

%CSIZE%
201198

%ISIZE%
1148914

%SHA256SUM%
be34158a1048df843216a8e6dddec00e69548307abafabc11fb1451da5481685

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrAXOYACgkQeGxj8zDXy5LAPA//Q/gyTYtPviH2/WtfBJbkev1T9FsVQt6cjUlztl5F+xHxNh3qvUy21WfUuzYSI5aiYkVocwmzoL78fUAOcbWPSfleHbxtfTP8lm4IRFWGYPg2zn93ojeDZyAoqOmY3AF2Y84gJNMwNA7ShySEtM9Y/5rvjlUC0LrOwgc6QmYkyBf6/IbC47US8Ana0eoAcpLbjFSouL/la0lgPPvakhGhYfWbNh3DkJ+T4st31MsqxiaKTRWvyJrR6FAXUrm+n9PqMCOcncoHEPpgWECPBB41QWLuNES7W3XprbhOo+xq8AoDCXwC4ZnWKxMKML4eZsoZuVDR7jZ5rFIwll4fM4FPYUrcl8ntrUjIQQbfGdRPaSYqElIPC2Zo5fCinBVRDTspWpiUYGyBLPImg4n2gvVPkk1/luCzB57jGNQ5tzCCXn6M0WTtfwiWHQ0XxtAKpedXRxruIyLIgvLiII32kh7Lx8RdsaSVtmwkK/+DeJ5S0VgQoky9UNnG0n49/en24KeOw9VVRTPlNBiV3D1rsHavSMPKKsxF6PvHpT9MJqWF3xSyGU9QYO/KdxgOpE3kFIFXB5UWXSAVUXA7yEUFRKKnRhj1cJ0uh6eGlO7jTq7AFl6dxVswILY3nxFbjAEAO3bnCIUBmHzcMXr9c3I4umZefEHh/wb4QMlkaYSiVbuqEms=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790991558

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

%MAKEDEPENDS%
ghc

