%FILENAME%
haskell-tamarin-prover-export-debug-1.12.0-38-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-export-debug

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-38

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

%CSIZE%
267205

%ISIZE%
1212949

%SHA256SUM%
7b204ca0986c3abcf9fe1533b71302785bccb87e879f969c46bda3160eaa154d

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmodmE8ACgkQeGxj8zDXy5KLdA//blVsr1lW6YZWCXI+npEJL8lTOjs4p0v9PZKiagu7VG7MEdk5vOLlHLQS25mMsQy0Y6Xi5IAux5RsihMifOY3CS9Ibjm42azFTLhJn0CyZ40Avo/ps1WnGuRdnOXu6KoxTTdZ6LP8wyLGFTmS22OSEc24s4zBDWDNePDriq1CF+q5nOzrmIAAuA20Hz0sil0bQGUHcRA5H5/vVuNl9gQIT2Vxp7q5G0wd/blnlz6SQl2Ga3FmhfS3VC8MHpprxKRGJ0TqQFeraJDo79qVwQBsFNmua/9BE8BCSOOcbU++JPREyB7Tem6Gnh7rq5MounsFG15UhWfebgVqmspq78WYEIh4L7O7BrPZ2DRFxZP/PmTsfxGxLxT4b07tPzm23++b0dTVVdXipuvCfp6dru3UMuQA7C7/jm9Bz+OpHn9G6jE4rlLu9l1CIgTj0io/GSSucgHu5JQH0cUCcp9C4k+A0uAVVei2T3Wx0pifyXUwC9T51WETjUi9v9GKa1mdrDDUEvdUdybiITI5jk7XEO+xKqOhsozvZyVxNbfLgt827YVjmeFtXbiqQavI78ybGPyf+XIU/pJk1ufulVB9R3ousw3o5/9WP4o9d1j04Rj1yDfEYHYTaxtT/v2XfX5UqBZeTaZTKbNkHufog2zjFlIJXzjWtmeVEE7VeeWaOJSDUis=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1780324406

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

%MAKEDEPENDS%
ghc
uusi

