%FILENAME%
haskell-tamarin-prover-sapic-debug-1.10.0-60-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-sapic-debug

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.10.0-60

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

%CSIZE%
275177

%ISIZE%
1343206

%SHA256SUM%
bc8b2290c01ecc7b3f27bbfbe7d3ed48c68f10903a86e476ca827a81fa0c196c

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmiKkkUACgkQrx0hme8KPM9n1g//S6CW9JsY2IlNlU6gprqaC26eVyerHekJnDGXwB8OUMEKkiT1EvSpV4R7nQTTiSaMmnIy8aogv/G3UD46voU9S9G4SV6ZPnCXZROQWunjIP0er2pfx0ZaXq/vteeeAcC4Z1u2SC/HNkCO5zrybMFRWwJ66e/6L1Z7jXukK4eyA4fwNrhZEFfJ7fqWWcWU8lXtMjNw1845xBrWdKeW0ecrr7GUCcnXoXsBBXPy32v49Ze5xihRhpbHV9yxYsta4d+LKobyw50/l7esH1NviZXtt/bVVVp+wgmd1en4buEbgjA79lvGSpmKSk4pcw0Wpe37TCSEsvw5/rCcSPFljzSPCuOPUEM0WybxKEWg7A0AoohsYxlS1OqbLN8gDV7GIbErdPCH1ASAquTh8kEUgc2ZVFChrqAjaZnQWuV2ZRCW4tsr5n/XfRM2sjjEMnGoSZMg2r2Emsj1COLDnlRPrYYCEm7PETbUB99bidOWeSVVttv4eOoRhGSe/Vu7uTGT+TEdwV+fw0HvPsvnaGIcL06uFnZkS67qwHDj1RmPLviAU/tzB4s8lAIBRTKvS8Gi1n/G9tbgvhNnd5v86sLjlWMQXaCjdPJBR+QLbXk48ybx9l3gc4yHKsdncKQagT/3jtdtAqq6n2huspdSGYiB+PR/36mLcmqlawJznTKfakAvvVQ=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1753724418

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

%MAKEDEPENDS%
ghc
uusi

