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

%NAME%
tamarin-prover-debug

%BASE%
tamarin-prover

%VERSION%
1.12.0-166

%DESC%
Detached debugging symbols for tamarin-prover

%CSIZE%
6189

%ISIZE%
3064

%SHA256SUM%
2f6fc5701161ab4064ef5cfaea278dbece61f1f194d61ee4b7d6428077ade485

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrojBYACgkQeGxj8zDXy5LZ4g/+ManlQKwr7R+toGQnIxV0VOuKcBUReqhMkKxDMOctNhwB3KL08TZM3zTmMUmZn1O1lDVS6LuaHEKRPmh+Gcyqv473bfc76ETd26Aspv0yahghat2d5kZ4XNnIGjTUjQ/oOUaHD3n01UGL1Tp2ccrminsB/Xzv31L69QYjPkxEajhVsV4kQSjc2Vnz6rjpdH4t9y0p7HFFrt5FQIhYDEc/3SePOJS73Bseo0YGORRkiuwcuTs6gkm7SS4VbH3iGghO4vWq07sB0pp5kzYCK2OSfULaiUp/e+g79gx3gIwxhg7mVL1CclRqqRDOBxqXbWVHgKK5Yt1EzwanY6KacsX5KrQC1KbNLUjC53yWX2z3jsuuiJgKOhw2gOOVJ96cZwOGHMI3M76jSEHG7iiKhid/cnZ5uRT65Bp5qmRM4bQWDWrKPdBrxiJhHW0GLwSEXjv3hEXHUE/0h7XekyQRT7jjLzNwbVPXimkAjvg2lYjAwrSUooyqQJZ2/aTU60ApesVTU8eiehYgYA49hHj8B8phXLLUmaJ8XmpnGPPXNVAzMVkPGSS4yUZJlaYCNiUFuRzeqJksDdVii22DnImy+qSNuRftjmz6PKQmzxwv8pDl8FKtgYJTyZ2n+DkDSiz6hujoMyGChBul2TJFvKUirSAsDIJuAbMYIvvjPpLEZdLoDds=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1793625068

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

%MAKEDEPENDS%
ghc

