%FILENAME%
haskell-tamarin-prover-term-debug-1.12.0-38-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-term-debug

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-38

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

%CSIZE%
639260

%ISIZE%
3736345

%SHA256SUM%
fb0125eaabb0890e1d66cae8d6e14c4002ca63e15a699018e803081af7f64bfa

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmodl1QACgkQeGxj8zDXy5LzCg//Tmmo4N7oWmAw96buHdF9w163H1PNZO2q06qAXZysMUY/NuRpORUYbsTZUDbE8J9ktqCPXTIcwiROM1FVsTxQkhY5qJKXUNxFdiHXkhylPmDaOHtQJr1+MwqT00+I/s0r9VkLvmTUiOveOOlAORi+gL7Ak6nKdzPcBV7vRUmAl5iY1a1/2dmWQr3csH1vMPlivamSbltQ8rMXnLjx3tCeu5PRYJiRFopbAp7dZWbgm7g9sAzkkyWQYJxcJ6rblpbiurQnD1sp1487ESGbzwNTE+8nmMMu6P8HjD0FG10WtD1cZQOLuO7xJVMZFco8LaEHn6GOAAs6P004wddrpPcqL12i1ML+QL0it3D94ztakJyzIsKpyLok3Wzc2/lGOOmLEiO0kPOrijQ3uCf86694w+oK/4PDevAHxASAfAENAOnl0VLyvKg/VHU/NAGSAuNq0/UhBDLqUzswp6pNEjAHveu8vUu8Wmv7sYCBhr2f8/51iUYrRtkZaPy9Wp03aZETWO8Nd4S49q6tGgd3LP6R5SxQffJl5REQ0jhLtfdv+/+AiDyeIULY96gPUTfIWIKX03iWBFrxrF/0uyDfrRnuIOBo2zZafH2qrasQ8WIENoNzbJPQ9D5qvIrgzOa++OEbXpVfHQdK1Qbaq/sT1ITEx31oj/4VFVVXA5ewBd3Jzks=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1780324144

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

%MAKEDEPENDS%
ghc

