%FILENAME%
tamarin-prover-debug-1.10.0-219-x86_64.pkg.tar.zst

%NAME%
tamarin-prover-debug

%BASE%
tamarin-prover

%VERSION%
1.10.0-219

%DESC%
Detached debugging symbols for tamarin-prover

%CSIZE%
5914

%ISIZE%
3064

%SHA256SUM%
f798ad2e844f77796075121964c4dc95028aa55114f22abdcd4ef9918beaeaca

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjoX9UACgkQeGxj8zDXy5ItwQ/9EzB4fN/w3vOjLOVaT3Zm9TOUN4KZBfCDs+31sbJXC9j7A6oOvNV+u/4b+JHy8x1c9oP5usG58llfYQyJRRL4vvukg4jm1N58b+Z94xkHu7k3poVfy3eid06Uwe3HXSj/5AzxUWy9TYxTmMkjyjOWXgFt+LGANQCjkzO1wyY2RqMMMjtueqEEAA9eJQSQG128eiCh4yoWP43pcbhv8ys/aK9aDN/3XHk5KPjZTYGiYhcsw1sRxWQBC7wuShqbns9FmyBgxrTrMiLdH0mWGyOGjrz6jsXOsFWUM2OHwDDqFaId+QqjGBID4jgXMdyKVUt3nr8ilijnOJmmJ/Q0r+iLAZEx4W0HjG45CZqRn0AdyfLJ7Zp6b+QT7gz5uLfbsr5s1Hw4BSMTnvq7x2RnoCUa87xdxPu5fCcpfDREo6WnKNK1iNbHdfIqinqjSdby3qi+Z0v1PKQL9EcF6cEzNATQfpyOXfs/4Wec79Aph6sUhcWQFXzfOmd4V0lRWExtnIWpKc82risPp5zMuBpddayDDbcTNCo17FYYXC9sjHZDHBM+bgw7K4asiIbuAXYku613+KqVaad9Ht2GR+vp0ITmrjPRyjebgGw/PnRxRzQR6FeGebCU0E/LztnnJLYdI7KC4z8Cl3AotkB6rduiSSi7BWj2zunUw8lVkluC3+ZJTTQ=

%URL%
https://tamarin-prover.github.io

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1760059301

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

%MAKEDEPENDS%
ghc

