%FILENAME%
haskell-tamarin-prover-export-debug-1.10.0-141-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-export-debug

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.10.0-141

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

%CSIZE%
211650

%ISIZE%
942944

%SHA256SUM%
22b3643a44742cf98dc007b53d0009957b1d8f83240690624180d48ef9cde64c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmksuDUACgkQeGxj8zDXy5J4WhAAkVb6L8ek0JM0GFAxtr0En0xCU7UFlWJXfGV/s0A6v5F7fw2ZD36UcvK0wBSurPo8kLgOObRvv84hIOMyR50s0QL2oLNFuPFRxZQpYnG5vpzpbCrLGZUBTezKqi/K95qv/01QsExLMS8yVN72OyJFDzaqIH58UZGxnwdb9eLtfMvoKsT6mU7y32v3aXuDb8MG7wVvIz9HdcX3ENxbNRtWrmDDe2fypJjFt+WfHETzYZQu1dPKUUETJZylbBlnc9HrZTE1KfcT0bqtl8nzY9wy/hibvINLJYm2xLDtvAYOaV27gcifVJQb+NoH4qsDslfj6HudU409+pT+JjdDTy2F10BStwNz6KcxzKXfc9gq7pDxN6JT5UJWlDHpdFCj55wJXscqcbxOaJjXC51ZNvvfzirCuIVHurG3w8g3WAdYR2lfHrApBD11mvSPdUj3ONrSvK1ryvcq7D84+6r4zbZ+dUzlYBEWAlfcDPy6rLwQLStfdqrNkxLD2OWo9HWk04jqHfrvgNUecTqNrCTQrL7JdeE4mihHF1OhJVCU7e34wp3PdGsGVO2Lq5y0U2Mjc2CrWBS9wEWWapwghwJvj4jgW6cuNX9PHlSvLyqBOd+Oi4OhVUaoRWPfxORz1BsvYf0t6LhVBG3w1lcdHplOpg6ps8VkSQWstlx8uewBN94mWeI=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1764538389

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

%MAKEDEPENDS%
ghc
uusi

