%FILENAME%
haskell-tamarin-prover-term-debug-1.10.0-140-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-term-debug

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.10.0-140

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

%CSIZE%
569452

%ISIZE%
3266374

%SHA256SUM%
bcfa49aad9b442ba938c45ddf5838c586b2cc94b5c480af9ef1b86da86233275

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmkstT8ACgkQeGxj8zDXy5KFpxAAgsC3C4MJrB8sUszdLWnWAWVv+fUN+tPaO0lGLhwAxRGr1bsmA0tWoEq+AKeVmRxxpONk0ja7M2GrD4xYxWFkvwFUOzv5SHyefHQftWCTDn74kc27ilkpdFKmsxMcmY4ShcGvs0io2vaCD9soIrDzfwYZSLtKf6sO5Tx/r2UMSfvkjF4lTA6aEfqOqUnibI7LKlcG5ZZwjNV9st4tEeDtDZBzncsKpJjHPauNQKlWJnWQ3/vJQ3LzgWi9AjUnMf5DvWibKvlOfW1I+qRJSJXY/OcReZBtUE1CvZl8ZVaQswFKrINsWuLNgnkwY88zjHNWHbEsuTr/7m0fH0VQ4V5vVqjVnd7JWSL4qutqKPpN9g6rF4rcOD22uED0QTHOZGJUEQRPzDdSl6bKLFltnuL+aO/l41NmvqIJZYPYUE+9xSrKBqAMqEWFuz0DHQ7bex3mKOGPNfape9/I4zwOBfQjZgo3A+tTuGPocvJ3UnFyjbdvw944I71/RotnLkqGd/rlWjtZ+h7OCd9fAkHdTeVyb8r8KQzLJU44fzps5XHYEGdrLA44lknoiTZq5SrPkiX/ssOpHWg+LfRNydK2e9o8hHWVuDhJlCnlyjlsc9KgzQhzCcGWcAt+c17TslgH0lOTrms0PGrfuIVMUsgQCT87zwK2KEaW1unczNO3B5+hO4c=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1764537621

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

%MAKEDEPENDS%
ghc

