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

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

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-90

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

%CSIZE%
201279

%ISIZE%
1149586

%SHA256SUM%
e63392618b6c144d5f76de680eb768e1c833d85c82080f4153c361c008e0a97e

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrTZAYACgkQeGxj8zDXy5IeZA/+MGz8Sl3KqGcDClcIFjDXoI1nFqNyEEP/M7PXArv5dov5j4JWbEKruKwrbPfu2JzlFWZ20Pr52OTDBI+WPRoqd5uisCSBRuhL/YI39iUEBRCwjcnDgwXCRuHyfcOM70X67L8LILEQn8zkJOkLqutqIIywWxqhUK3NwZhbjaF5tSIw5CxjXDn7lX8iChukkRj9QHKTM+3grN8MNa5T6uoo53SxAelopUgoZ6JSzL1ZtFyJS06Jd/ih3t/agpTq0PbbE2L5G8iQOonVzXpYgRaNgojhKdeqBJ+KZU80vF7Gox/6U/2ryaOGZhBWlGAZ5AiKV61+mzbePABsWrGLr5XdjkPI5E423s0e6aJBmwyitflxgGv/Vbs8nsfeZc5OAoLZuKigwPSHTgeh4GascAMFQMEVaJcOpYwlqPZvknf9QTi3UQFnZjofK/+cy4JR9qN+P4ZvzLKqd63Z76nIpEk4EFwzw695VvV7tdwMlFNpn9rDX2OAz41jR8UiI/Jz1PKxtlKI+4Bcm3ZO3FU6LT3j4qhsT5ZuDRNzaHLHB2ZXqNN/dhPhpeD9Zw00Easo+V8TCrvwIAgFhSSzpQWBKiQzmLJHcfTexAxLuxPt+1dNl79LPcqscqY7ZKNUr2MaylqIE13uUteGqft4tWjs3rPrSHfA9CLWyfl3tT8qB+rQikA=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792238578

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

%MAKEDEPENDS%
ghc

