%FILENAME%
tamarin-prover-debug-1.12.0-95-x86_64.pkg.tar.zst

%NAME%
tamarin-prover-debug

%BASE%
tamarin-prover

%VERSION%
1.12.0-95

%DESC%
Detached debugging symbols for tamarin-prover

%CSIZE%
6136

%ISIZE%
3064

%SHA256SUM%
c08343fd1efa314379aa6aaf76fbec6f544778b20a4694e92d2cc0ba84e1fb0a

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmpn4HcACgkQrx0hme8KPM9+ZQ/9GsmBmdTYF2G082cqRbednz6K3fnC0rEMYX5MVszvUdduBnNmBLsxn1XGYEp6568DW+uWxC10YL2taE7EwqMO0ExWOndTyG7yVovtVgYnnd35+l+RIqsUoClMp+2a2pQiyrFkeqt+rIWOuCDw/OZov4dr93Osa2wuAgPGUrqExSy+/H0ozfspbSrsCzs8qbqBN683OZL1/FDX0x32Ah5Lw9wNgDwcYnLiaYYw0tEQlhKcIh243mrp5IhRL/lVbOLnZfncEo0gdYHdGpHpo04MILsrk2N46PqtwcuVZkMgUnQiUDXBUoC9wShISLkhoSgMFrrlyE/tRqz3UMuYmek3J+xEMR4JAhocM4eVGQlbaTSZZAmXSTlrMl9cySCTmobmR0L4//Bv4/1ikl9joR5lm7hkkSL7+1L4Rz1iv0P5OEWAhvUk4kgx5cMNAb/zTfxwThwaP8rRj6UHP0HXWE18HElgjjK3loMbkHnY4hQ7iskiy78JW9EhAo6Z2umznA/Tst4WqtKtVH01tinoesShfa+DRn6N+YolUPRnWAKjColXGIIR5838hxPboLUBcyYu80wBKJdlu8dwRyU1OedxkJbKLunhBowYwyqLRWNHQTQBsY9LDJZDC1gFcp42aeUgvOELSY716uVQgS4Mch4TFQ3wpcP3TwQCgGG3P7DRGyw=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1783716506

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

%MAKEDEPENDS%
ghc

