%FILENAME%
haskell-tamarin-prover-accountability-debug-1.12.0-30-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-accountability-debug

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-30

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

%CSIZE%
42064

%ISIZE%
170272

%SHA256SUM%
c01bc9d079db0acf0e8e1bc315645ff8f4a0c11af191a610077817c521e4f27d

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmn8VeMACgkQeGxj8zDXy5JRjQ//edu8e1aF5Gef9C3aK7r+LSo5JkU5+1ojj1/QTmfZV2PNsyNxW/QYPS0YuxwpYMPUv/O5089YRgiet2LstRRI88ull+hoZpH/pahE4gtQdvwA2Sn/r6DHhdB+BOLUGeHlfgAdUdBGXPGVAIfsKaZ8HgYYW1zY/1nZS9iOIkIhrqEzXp12PwM4UWM2iuNx5AobCOJgg96TSi8k0Ng9Rbvz6VdkqDncBh8vKEU6V3+peqnNm7ksPX0OAqdJcoh1bP4daDwLzacZfa5cMNvuukkrHLozXu0tO1aYX0HyeL3Q6DSDaqKnoAaxk/DULrim0z33y9lNg8avJHHQoS0EfZIDXCdYPmJVL8nehxTzUIqTrP7qdsrMVHnOfX9b6ZU+LYJVVP/zGFnPtZJ4tBwLyWlQlAFk052wqfF4LvYhBmy8DWdLNlysDsM3MHHwU1RUYX3CLG8yRuP35WFET8OKVKQkfeCRa3f0MwZyYWJzSEfGBwyBk6fVcEYPxx3TvOC3t+OiSI5TXgWNGmelYt/1PxyAYWFUlRjMz73f2uJ0K38h4Jwze5xCwmIuczBOo+MVZFWcmknCMEcgVuYL4KshnDRjOMFmTdQgTbYF3BIba7RMnCCVarRb1eQOSv/HKKHjL67f1dK3hTdHedeB17cjR/+s0fuGzGhmBdPvrcn3oRiGPzk=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778144723

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

%MAKEDEPENDS%
ghc
uusi

