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

%NAME%
tamarin-prover-debug

%BASE%
tamarin-prover

%VERSION%
1.12.0-107

%DESC%
Detached debugging symbols for tamarin-prover

%CSIZE%
6120

%ISIZE%
3064

%SHA256SUM%
73120ba3b5e46d540de8018e43ec4613367a8515f03798d2658754894cd27f36

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqcmt0ACgkQeGxj8zDXy5KEmBAAvBlACL1LyzF1lrl9dyQmNIyCKA04bOJnMgnVcFH2B2vMsQU4MI45pfjORGkQ7Wotmr48A34IUlCJ6FVqrv/xR1tMmC0uSn2o553drBQ+BZZXzUExdJNWqmaOintMGNKgHp3i7samWQTRQYQ8LlBlwpzpEr9190VZwCDRo1Tk9OPCOnM+foA1yACFDVOqCl9RlMnRFs0p5Ww/O4gOx5xJjTNxS+dnm0LeYzKfxTegbzyQ4coXso7S/6mSuiCbGI4U4UKlFTZWMS9PlqAHGq5xmKt4nQNrDlCKGBdknvWfeZNKMpi5dNvN2AEvwA/LwIR9SmPAV9zXRG/1VittKnhJgjfO/Acwiayza9jO1FrzF0F8laYP7YG1npkAhgRcFIm/WtgGivFLgEl85aM+ndilOtQr3b4WJmJeWoQhULvUGtw9pjIAYBpp5cNd41xfsVNY9J9JpEasSTUOk+S5YNZsQo4hlfSDMsE/H61zze/Z/6+p416A+6OHm+etExzeqiy/5zNUayd20RFROtM8hHViVJF/0Pqyv/zXmRZ4CTSEJJytSKgsjjxTQkivpp+bPaX0Uausaob3amSlPV4qeO199j5r5kwOVfCilw2boDid5xTBtdqX1TQ5JqzP6LByGkYdO9+ELugR0adYpVSUUBU0fcofsSSJbEEjN35EwDk4LBk=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1788648098

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

%MAKEDEPENDS%
ghc

