%FILENAME%
haskell-tamarin-prover-utils-debug-1.6.1-80-x86_64.pkg.tar.zst

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

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.6.1-80

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

%CSIZE%
3456

%ISIZE%
2848

%MD5SUM%
33c491dde16121e3e8894a3de1371e3d

%SHA256SUM%
25b6136550584f4531a658b48375c92cec5d21577bae5507d22240d58c0291db

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmR8wngACgkQeGxj8zDXy5K4BQ/+NNyIszTew427wrqz0ASsogvas7ZuKLhsxCwhL7wKA8YbIJSTuXrjra6Zqjb4eTUXo4q0JqF66dRiv6xIpYbleD7MAiaOPlmnAl/wMaVUt4q8YRmp0BwnWJp0I0qAxFQzzoYeD1ErDbvcA4OdT0LFCR24M676ixKZGi2dYN5JHjHWRs5FTLmP2YHSBydEta9hz83CpXPDcBNkXt0EOdooQQk30HdVq888O+/8rYgxAbbKPupqfbJw9oNXo99YYcyQgNhCMncH+7RUuWc+63vDf7FxKPxm8ML6IxdlM4kqUvO/qgx5fSzGJSRboGIaZwpFRSkYj19mWwi2tr28pPcdvWV9qCo4PDvBi4D1P7FJs53OUyjikTJsOpvFj+VvgGK+PQaNljyclfTlCihTbeE0BdbmuC552OYdAumsTieKZxkxpVearnlm3KH69ZTIeBC5nnUuWeSiep1IcSaiQVRvRalWXhZAFtBZ/8kG5TNpRZr8YfnQUta6w6KCYaJNsns2GR5/9wWmACF/aG1ee1dRVSKkE52u5I3hvLISxy+ZYzVPrEzJmDSmNNKX6FnO6qeDSuSZgRRwfTUm6mqpRxEKnBkDCxFQGQ29kgR8tKy5C9r7LAo7Cv6EeuCHkSGiL5vW00c/TtgTOoBQpVyEysD3yJAzdBM4WvkoF3zFu+U/SUg=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1685897800

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

%MAKEDEPENDS%
ghc

