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

%NAME%
tamarin-prover-debug

%BASE%
tamarin-prover

%VERSION%
1.12.0-103

%DESC%
Detached debugging symbols for tamarin-prover

%CSIZE%
6134

%ISIZE%
3064

%SHA256SUM%
d08b5b182916eae9051b22232ca37fd53a05ccc881c8d5c7101b061c3c881b39

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqUW1oACgkQeGxj8zDXy5KoxxAAo20rQkcWWyi+TeFxwx6dH04N0E19hmPRh1c+5KjUI5c6/m2yjbwdf2vwwMmsoUikXjMdCfvCJOjq2nt5JXn0NU6D9U3gJI+JS69gWEJOCfdahxW0HYr12lzV/hENYszqwOVvPSeC7oMDZebf0mW07AruebJ+lalkO/jEdolekJ9Rb+JwUGdm/Poym4Cb50sTT6dScFXUZYT86KrhntnY56se6j5HY5manXg3V9l5NqbJkVKN/joN6qmuWqntBu1IB5WU+A95NycXcCfuwWBVQvZilzIHBbEq5qMZVPPERKyNedA50enmxoJU+w7s/UR9T9sG5k21gOPkMwOfPpl9FBYk5eibtkom8eXyi+9m/xiT95FL4CMeQevxWTYqaGYDqFkzJVDuCHSXJmyi2HyEr4CXt+mxUzQjXq/SBl5IYL+FmXyzAMcBxz8lcF9JHkHZjPfIje+Q3CV7lzluaBhUueHJKyjLWYg5N+D95yo4x7CQYqIe25t73H/rxcnx/AvnqARbLxIwdFCGsLEiyfDoe9N4l8sk01uZpzSNjLb9Xp1lA1g7eOY9M8h4kKOWPQ1x4EoixjBr3yGNEZfQM8dhinebmwO5hjcAnOzlMcuCFOwOd7tfp9HNmpcQJzygYjn6PAIUry4TebcqI+4WXPEXfmvBxEJjWHWlQiB1NeRfCz8=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1788107565

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

%MAKEDEPENDS%
ghc

