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

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

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-91

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

%CSIZE%
201270

%ISIZE%
1149610

%SHA256SUM%
4cd3a42dbe47f29e97a5eb373c45e700cfa3ed2d8dee4662fdb3077620f9c2e4

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrVSZMACgkQeGxj8zDXy5LOsw/9FdYTXNhRc3jkEyjvxU7Rliw9Jhdo+Le00G1TgE3acrYIJY0nmVPwGIL9hOy9coTW066GN66/kokfQeaP5wFD5AmBXy/kokdy9WPtdNNLf1FLu63u4mhDl6q9fQaGxAxwJ8nKS0KuhP6+V9ZUNIeAWcxnwczeS4wMHXv/fokQ7qONoh1zT0sw6MtVTL3fmaiqZkQPduf08bxCkZ72tfkxiHqzIJqh9UrQmGJv+r/7piQlNLJvevCTWI5caK/5+8EzbDwx2pKvWoi41wrFtJl5SHAQqmAOxXV9pATeS8WEWeNCDQaO02DwjGQnhAxsa2/FU/Q77wrA17FWVD7/EMsOmTe90iee0f+ezi1JnSgu0Ed6kvl+wZFHrqS56aPGCdONVZ+egZUJoQiMEwcrJUycCC7c9pzuBOeKiZNqQJN7qeGBYT1AGlD1yx9tXEA1WIyYFG4wUHyY6h9oPJ/uYFnJ7HQONqupBQrurzWPemlrEWGsPzsYJgX3wyn3kC3g2iH+z8C0Bb4sMyopvdiNcxouHaiEL8227EO+E4uyU0qcAHRtNoAh5iZBVt0KdoqUbjjVZUeWN88oUbDl9GhPEYUMbyOX8RwcQSSrMS1HInxvGwoWsH6WdI4AaKJXY+hBkkuNT1Gx6dXCIRCp3F38+Ki5wfpnsjb1cssfcjB8bfAF+XU=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792362876

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

%MAKEDEPENDS%
ghc

