%FILENAME%
tamarin-prover-debug-1.10.0-222-x86_64.pkg.tar.zst

%NAME%
tamarin-prover-debug

%BASE%
tamarin-prover

%VERSION%
1.10.0-222

%DESC%
Detached debugging symbols for tamarin-prover

%CSIZE%
5915

%ISIZE%
3064

%SHA256SUM%
138254707a7760b8293fed4dde6b61f3092e183264c5470a3ae8900d42c6f447

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjw4igACgkQeGxj8zDXy5JGxBAAhLR6UAtYPhxU4VGZNK7swwC5ttDhYZi0Qil5uIIpovXMdZk1tseVfsviOMynCiL1CAN57PBAESwCiW69/RBawoqed45JYWFJ4QuKXDYjHOKgvC0V/2emLgOWNntVTqenmsNPBl/CVZxexnzBTmAvXuIfCKljlKk1X1lRzX0guxL3c8t42nAlvxdUmJBUnKsXR+RtHWxYLzfhS8u0jNveuAe+k6I2yKvi0AwRtQ1b0HFjF63uA0TdjmEKKF1Agi0CDvMxBvfP4X27ZZyILjLMOPYIF8Iag7V3kP9qtrEFbMjW4hxTHxlIfOWc36P+M3ntYfHHsOcIE3mTAJK0XBS4jCo4HCzZgo9GtBrxkBCX6ZfhOsy0wvNyHGrrfcpC1yODUnZSWamarH59J/dwkp5xG2FjjrnnxkIYLX7qJAbWukU8nybDrK2k0qRikJRt9jyjSy25pp7KMAx9CKk1Xvk651ArA2D3/GNEqLzadwftyKPoBlikoGaRRujEG7plWGykQhFKAAqoox4jcaJLexsP+WQtE6pTdRHMoBfCtwIN6z1lc7/7yqHF69Dmr01fuT/wEBvXRJrqOJ40HRu1ZxNf1qtVkJ0zxB8sV9D/NRYE6T1vljG4lNeE3ZjY2HC3LXTJz/ojfJAFdNUxARSkZpxEz+4wHpL7Lp3g2d1CNFYiv28=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1760616946

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

%MAKEDEPENDS%
ghc

