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

%NAME%
tamarin-prover-debug

%BASE%
tamarin-prover

%VERSION%
1.12.0-39

%DESC%
Detached debugging symbols for tamarin-prover

%CSIZE%
6118

%ISIZE%
3064

%SHA256SUM%
c18ef0d7bd222a60dbfffc27c586d2b3149971ae56a411ccd40ef897c772e3e6

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmn7KEMACgkQeGxj8zDXy5Lesg/+NN+S+KQ1CsldLr/jNKUjG6DpgaU9LE6QJ6qF+SuTs/1/++m5A/cQymD7qnW/D/NDXlV4OaVZK/FF/9IrweES6dGikKj7RYru1GTo+nH9eGVZAlxRKb1L+d8g4JSzZfXw/csWUj65Wdqrw8FMFzY5eehk28S5vyWsaH/8CTGSYq6pmK/MgoX6v6zgd3Lz6eKf7dtt+h0NsDCRafP4Ci0gVvNOypnBDgKoGz5KMvyn1o2Ud4ZpnVqBAyIi0XlxcgJQTPPblPq1FCDkAJSmUcmASZkGGxGDqN9DO6MGmEuuWKU+JF/V0S5AidIQJn/DDGlojQIWnxkNUw79aNmKMqZpMpAqvkezXon2WGYnHRX7uBkOZlABL1X71WVB527hQHru6/Hb15hSPDMbfLDoRji2ZnlyeSaUnW6YUIyLUEz/BnC1sy35mFEmHyf6t0bBwoSAtYfZeNcZzPVwMVvgfkBXzI/msKaCM04Nqb/s4mRDiBQV1BZ+cXDcVOIyJWod50pnPG2C0t8xJ6M/AhWIcfB5On3LuaxNooexPtURaPINuc3HvBjvNwhrPZ5T+HCcRY/hpHenSp3KW/vraQQZTla/2F5Zsz1CYJi6gtgIDAoj2htI2HbZOmjrwj193b4GvyuFLsaaB1xfgr1bOfiaJVjtgQ8p6TVN4Rd2iAVOxN2Mn/E=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778067483

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

%MAKEDEPENDS%
ghc

