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

%NAME%
tamarin-prover-debug

%BASE%
tamarin-prover

%VERSION%
1.12.0-127

%DESC%
Detached debugging symbols for tamarin-prover

%CSIZE%
6138

%ISIZE%
3064

%SHA256SUM%
cef5a9426d5b1d08f7ba14e520d11a4b53f43911a21f38df4ad08b545fa47b7c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq/1JYACgkQeGxj8zDXy5IndhAAlNkITEhh4F5eoNfmST5FC9y9CSEgN2cHnnll0+fPK4TBudLy6gqTPjPEHfcbybNMRFa4FveBAmKdI2EJ3JRl95yKsrVnHHkFFa9P/cvz5X6vjaNLzANAyXO55iPLXQoMhs52xsVY9vvDjf3N48LqYyWv4wtENV7on/cs2ndjKd7f90PjrXvmO7xe1D5qhqqkBGTNdxjalN9BcXMe9xdH/FyCIUZtvbIdK1Aavs4zyN4MkJQIcxXAGFgECCgIVLYgRQ+Y5QVw0a0pBj0MRcsFtfmVbTCH/Kk+AONn4mlJtjLpgcxXc/F8ndVZZY/tw1EjlVYRfZqwsG2qeQFeWv6AKJDfDQW4nggWVru2/pfvDd4+o6S3uzRcqNgJgm3GPpeeLklQ8ZxVrF++52srbUqhPvXmBsFV5MzPYzQe7hTcJDBoTpUfyICV+W4JoRs+sVnpAoaLVV+CfOYCAPJjOqmHtIjgcQBAtYhI6h9GbKijMq0GQr0Cl30+UxysJO7iUucrIjLgPFJS5yFCq3hobzXP5Zyy0nmJYiBSokut78Glm9U+MvsEBP7jVkK7iY5Ay0EjhvYxNmp0Ladwni91RLwhZFY/JKxwrq+5tCjdVNAaQg/xZnYJj4oMXwDty2fdMcHhAUamFFzMdqiCUodLO0+1I5jU+v+wW6rmSUOMXwvjbCs=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790956664

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

%MAKEDEPENDS%
ghc

