%FILENAME%
haskell-tamarin-prover-theory-debug-1.12.0-78-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory-debug

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-78

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

%CSIZE%
3831003

%ISIZE%
21118900

%SHA256SUM%
d307422e0a58b11e4fa7a466c861bfb634528ed51ddeea37360c34704a4221d9

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq/E58ACgkQeGxj8zDXy5Ijng/8CsJ3rePBRCtbZqfiQrMqG8T0xucuE1U6RvAsGYLh3MPux8DA7YSh7LPX2dBFNgAvgjhVPnzzgvbMNS8YZm0YkcJtb41QFGqRieCg5P0xLHeglhRNo6TF/8Sl8hKD+9E5qFPFvrhCsfgaYKmuz/3VdNslzGNvAM05+BtmZUevhMbyRPQgpBH9Gr+2BMKehzY0+l7q7dhfxyRCDLMENmQDhHyys1PWfJV0xY+ggIJMurK20GjMnP2Aor/lcDIbYCwep+RmzcYe3qBMSJEDC29d183JLE6FTJ/mm0+AO9IG5ru2zLYsGiqfz3c6PnCevpTKJMJkiVAVk7uodbnufhP7wNRcUvSYbIAW3DDhpuH2DqnTTjtSMQrpfCoh2InWQc59pn78CXNvPOpPCf45izAibhhVca6vGcJ+CB4h/a0UMcw0OVcBC7LdG7o6YDqnqbpsaS6cdPax6QzfkWzHqSBzuB8SQDct0J09LK1W2zkcez0ZDIvFuX1gTnCEzzd8jr4Q4FtjRYTDoniu421RsC61nwA4XsNR/aDxw1CTLD4HCJDG0WejxyTxq0lAEtyp+ejRErpVtOj29YgxXx9Lwlq46gFUP58dWSZgM7t/reBqR9YQT6l+AhFYB8kZdVZO00ioP/2DAYfbPWHyUPeE1FsZod2jtcJ3bu8rMb1pSL7pJ4g=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790907200

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

%MAKEDEPENDS%
ghc
uusi

