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

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

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-40

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

%CSIZE%
201520

%ISIZE%
1152586

%SHA256SUM%
57d9a8f628dd8bf5028412a9a4a165ded06a1888c6d760e816ceab4d5d76f31d

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmou1LIACgkQeGxj8zDXy5J2uBAAjDa1fU2vZO54OYAUsqOmCvTtbszMvzK/lACWZSoNdw6ok/gCOFDo8BqcAfSZB+Rlssbep4xx7ZNujKDrPeeQy97KTdjq2XioEuNRZhI9Zk7QvnGiBqdtUYAwa/wl6VU+0oYYGek0+Jwhix39i+33jpF2yMeDGdw/Lq7usd+ZvYvULooTrXkeyOdYMJiG2Rx89w9ZBrWp/DM31DBwZFVlgaBinY3Wk15hgsbSoeWdt13DjBPuHxtl8erO6Ocor4QZ85UmeVDK5mJa4DtnMH5dSQHQ2V6+FtU77V9rieT9TwXdUh5LXdu4FiEhM9G/oYYBRviBXCOr7WnyIZda1JAsqXm5lZgeFkOR3acADYAhSzifRitsDxSC1mmksTg8TRdsnfhQcs+wM2mF5rkCvQIqlh2MuN/scU6qVd0xghMVNpdthy0JkbVxWT0i4NxolqtPahOMQk11DbfD8XyEfWIm2rRhy9SL3++zRKW9JWdJX/BHMM2rj1XK9kGW6rHLvgo0QcvydJGMmlEhtDqRNUKC/K/rDhVBef504gU00XjEwHoTfrj9yHNz/tsoxwmJFu5dYzHPFz5VzelY0CvjqR6qzcD3j6t0lxatMvEIFHXxadswhG6dhVGq28unpAjNU8k0wno1QYePst1Vg1Gb4EVah8ZlBeQIKX65EeKcKtqWdmo=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1781453937

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

%MAKEDEPENDS%
ghc

