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

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

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-87

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

%CSIZE%
201278

%ISIZE%
1149594

%SHA256SUM%
bb48e8f871f01cab7c36132b2276e3e644e6577a7492904a52071191534fedb4

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrLUkYACgkQeGxj8zDXy5LYoA//Tf3puG925VA6MdS7nbDOSpn7pvBJ9JpxcS3QnqeO63JCxnjRfweoXk0Ogkk5JaGaaWlxmDQrxfI1g4sKIUCKWv3Afpe++79S9rRDQx+Dy3fcn9SU4bhrdnCf2SRuyIBr8S4eB5Gqm07+V7T3TEe19pK6IMzAH8qmRmp/RvvnYEjYGE+Kuzn9gTdw89OwG00PmoEWjQ4PsrdYwHBk7o+7XmhUKkCDk1Y8MuiOQfCNvJNBFUB2x1lQVjP8hWdfivgNYCmV7yhf5igtGPf+nYLtpTiI+mB0l5WZfcC+g7iduySHjkBTa8M6r7hGRLQGAhLWnbp0uKaE+KqVOG0Z2L4bDPysCGpu1oJXV5eRUX+Thy+gIaCraBOQcvv1uaxlhxESgWqC97Mdw+vt/1qHueucZT4SK6TUcQaLb/uVpcnYoyImVqCd1IH2iXpScc6VJkj3l3fNbRmt7PkNDMYIQnn1n5j9UMzaipblsXNlKQuCPKgTUXtXVPZF3Xz7unyRVhW+vJTlwYe98XxrzQ+OB6hvldo/ILQrLCVC5JOOFl35lpHwE8iyRJIyRQ+bIA5MoxUQDh/CQEv4hU8C58+zYbMLCDrMXbgZgDZnvFj6c3Et2S3iDyMWEJHZR4IZDBXN15c4dKbzF6kDtTFlIJ81H3RIB+zYI8AdYnxym9N/2rJsbuo=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791709728

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

%MAKEDEPENDS%
ghc

