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

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

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-64

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

%CSIZE%
266961

%ISIZE%
1213765

%SHA256SUM%
f58969e4490bd917de2df22830fe02c6b02e4d573137c00cde948e0a2e2e682a

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmp7d3cACgkQeGxj8zDXy5JGlQ//bmeFncYL3PWccJPxr3qGzKnUyy0nLmEGldt2uuVXjaok/l/FfGiGrIr5kgg+aSzVIQsDB+xvc6YK2oLJpUmbM4J/b8C6jsEa1pWc4cxM/5NBRvl3pDp5s/VZ/8EwJydfZH5B5VU4iUQXR2G/oLjGRrX9t37uJZJ8PiD17yuumlrhYm3+5KJ2/nypeEB7BL2YbxaH5UQPAwx1zRohUJXrYhxxlqsOVsXYrA9b/nbKgY0MJxireEPpBLqeaSZDTgnLhTajZmeK4f1SG8ZMND/nebOrHFdHCVAdigx42tbFL3NxjGzwYOiOmsK5g/8JqXnj06SeShHlkUsQnqQJ9L/fSP5Xw/hwPBwXZ0XlhbzgXoDRYbpf4RppcMKKJdg0G7BsZW/7g35AKWRn5F/Gs0ZXM+YKoo9xes93g8VQ92+YHhEY8+5cj1AfL+cchCgxZzWH27wSFPdxRFppDruIhQOTY9cdq0/2HidCq5/o7P5ZoTHyktai25yBLw2TDIS98Mu3cm0Y5p0WoSDYXA55xYX4YLXS98VH7o5+FbZ7E6nB/N2ypA4YvWpPmfT30MZK/tdvhc/YvuEne9SAfw9pfklixiTO1Wsgu4uvvbXhWvcpEp5t4Bg1PIfrNCFeO76A5b/98PN64CaNhA+Gl8vsi/y/8kaSYRX8b0xJiJMVAM+4ExA=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1786476382

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

%MAKEDEPENDS%
ghc
uusi

