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

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

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-70

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

%CSIZE%
42000

%ISIZE%
170440

%SHA256SUM%
81217a158caa62959ebb78d1d7605440571ef0327ceb474dbd72a2d3329edd96

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqdc3AACgkQeGxj8zDXy5KDQRAAsZovhyDjKVT/IMmp2hmiqupSIO9sEx7dyZSbQ/HikCazop+fXBlp1jOL73kCpa6sQscA06J8meIrvHnphtbz3J5303wfJNUHPhPJWM1Ql44bxwQs0F9xlXxR7cT840NJCRt8mxMLa4WEymyrpR7t8+IuXcw7wLNeMN6JEFhlXH0OyayrJ/TDuaxaIPicgDPagmmoTh3KfBZTNfD7NP7/zTq8d7gFcga/OHnHKO1ZUr3abRSxSNCZtBCa3pUUakUzLVPYFpJ5YNa8ABYydEc9/bXrInXMZ0CWNr4OUtKta/TaI0fmCA08LthghjZ7ovIvM5pjweFE4rnmU70NfoNR0/ujRREYBvrX8t0EEpfE0F+ZfP3V2l4by7bGuUAIT5OuqQ04gEDZAfZ4AnwfsmxR/NBuKWtI0l29XvI0o/58r7jGRuPc4qURHhvKEEfUEJ/IsnLglOMLbtTOe1KM6RsAEl47mNUjfJy7PAiMCHZmYnao1xaN36+vfenH3S1JAYBEu7+9CKVBH8SZTBNDfbjiY85LD+ajZXZDb93mUwKhhdWCrpwTtdE9h2vqhp2BSxxCwf9fMG3xben4iHSorwb9bbrN4s6M4hze4vgwF6XrO16tFCe5ZwHiigToygEOr0cfzR/pyvqWChwbD3NIafZTyTHU0n329bV87s1mRt3kcgk=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1788703575

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

%MAKEDEPENDS%
ghc
uusi

