%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%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpRWtgACgkQeGxj8zDXy5InnhAAl9deHfYHqC323BcZOtACTYd6UMIJMwf5RmX0/WH6FERtSY7I32bkIYoCcXsHkS2ETbnZZxilIFp+wypCnYGYmifn6MKjDd0wNC4oJoqVORZ4Co+pPjt0xBolJomeJIHts4HRnrjqYcBbPqgZ44TzFEHZeAnT20eV0oSBuktkyedchQrS/43234Ku5EYUnywSnaZIicD/XlXUvZ2dqOWsRn/N+8Xi4/2WZ9kqC18iw/SDGYxKT/N/NEXgz2b9O6Rf/Y+9RSHUFfIfnsu/trbfbxELghj7Y1414aTm+jCDxybibjpzERtIQZMVNldJ7jTB60/JonNRvhU8TIkb3zjq9y8Wha3L+PIAmcGt/PGZ/0DnIKA71NDggvKWi25laUJ3xAwhaNMWG7Cb+8iKDP3hr/z75Cj4qsjQ4N1vAhhZjbpF0tJT6AjcY+MkRdTIlQuvJTdQVMDT4fI0slFjke66/mINJECnwP8fuMvkl37AfLRQ7d4ROWcgbT+pNbLwGyempIXafkOXPFUaKMnY1MIY/Auds5NCpy1OFjeQyaZRBQz1BU5KIlaVCsOpY5LJZ1LeDOM/9DkdIEk5J0L28Q1m2/ijKt3k1nWi7A89aNlppiwd5NnEcGR/s9dAcE1Yzmv81FPGf9FI5NW5fOqX511Wnsf+opuPpySqIS+zeK+grgc=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1783716506

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

%MAKEDEPENDS%
ghc

