%FILENAME%
haskell-tamarin-prover-export-debug-1.12.0-69-x86_64.pkg.tar.zst

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

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-69

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

%CSIZE%
266921

%ISIZE%
1212741

%SHA256SUM%
bcdbd74dd6eb7eb6bee993a2bd4967bf1616091135791bc848fa87cb862dba49

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqVVioACgkQeGxj8zDXy5Lnhg//a1RHtVVJfyDVke+3JyXOoGoscE21hdwqPBX0BItgy4QJOk2gDuJW36hl/ZwOxs7V6KySImt4bHrbanV1oagvNtKuEaGc5MK3bNJ58Fd/cHUY7o/Yk9LhD7WHI19qBhCZuaZv3NqJFZKN0M/0eliGNY2cQdyrnME5NnOn7iU4sRg+BpG+VIXKwvL6R6bWGU0aqr63MjNYpRNyx0QWD/hXbW4cmVHj1tyvun5NIoteUI0CmNmtOSIIE38erzWuFQ0A3DRLZcodNmjA4pfdueRWJCSKv0o4YezWJKfvbqZMCmq/OM5i6efyGG6aVN7WcDLopEyu1HRWNuhFgOZN8oSqkLgbFWvXAWi/Hkvzpj5hgShftnc7OcL6twAi4CD+6Dtg00OCk624TA4AZTqaUoU7iy8jsUsTw+vKK5r+sZoTi7Q8wxXtAXLPhnvvS+ah/g0sx1b6azecrrnL9vpQ/Eiou4fCz4inOP0i9ApBp9/mqutqgvMwNGXtUeuMyVlP2s/wlWTFCJJzK6Qzze1qWx3On9IS3MtFxzZQ9WLjfgrn+P+ysb9LZMc1v3fZKuaATJ+8buj7RmkTx4GCmMgrbFrCTT5+hcY5EtceOfq/VXXH2InJxi++t1lC+lBe6Sp4oa6ezZFnIfK5Sw4oT1muYuBHIGhHxlvsWMwW2VKbZ9lkHas=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1788171793

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

%MAKEDEPENDS%
ghc
uusi

