%FILENAME%
haskell-tamarin-prover-utils-debug-1.10.0-142-x86_64.pkg.tar.zst

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

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.10.0-142

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

%CSIZE%
174823

%ISIZE%
964735

%SHA256SUM%
21cc479178739118fe37b9fa155beb4d974e8bfd5f7c56400a7b7ad40eb4e7b6

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmljsEEACgkQeGxj8zDXy5KothAAjg6Ta27AmKgldKvr08T5EOBgQvp6zsv0MMHB/otEz/nA6yq2nV0jNObi+cYlx3v9OCKZCGOTZmMnjcIsTaqZRHnhcVEPQwTykHQ4nxSBZAvfPDCFkXuZKJyZSJBvXY7FE996NFMsPuRlofEIlw2bjECkdgHORsgpukUANYh3xGMeLX1ZKd+27PmPSFbDlTOc6iM5YdLMM5xglcXqhXHkufTKLFv6LBOjZCUdbHfWQT1XtZ7Z7/T0ULB0BVXUNqpijepUFu2eoHZas4DATDQ3cbdb2wd+iY2fBUmCgcTgUmlBJzYqyAqGdl9PodQrbKYUqKGJT7pKs8Q6ldOT4z2A4UvXfhGxLHv5bd1LA+LpfNkTRWNoZUZdHyIbA9e4GT8whsgZIJYlGM+XBRdP7cVz4y/30s/OwltTqcCl4oFDZ2ArTK9bQYZAu/YRv6bRj5xxVV8NQiWs8gFW4CrUlZ+ys6SvwT437QdJmCHD6cBEvs1AFf949Qhu7TBlcDS1RU1rKLUVVH/IP0vwo6CpRTASAwSdj6DTOqJinM3RBaFN+nXyQbZW4bwIqigBPvl28jMCSZP/S6G0WlIvOmMCnKvA65n2GqAr9MIeKaW4a+P/L6K9OvRD+9zgaWcqdDaO/PWwDCP7DVEnSfOtuMO4gMGUGv0J2Q9rdmAtfNJ6elIN6fA=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1768140836

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

%MAKEDEPENDS%
ghc

