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

%NAME%
tamarin-prover-debug

%BASE%
tamarin-prover

%VERSION%
1.12.0-55

%DESC%
Detached debugging symbols for tamarin-prover

%CSIZE%
6145

%ISIZE%
3064

%SHA256SUM%
a9fc52ced28e2d7564869250afcb5458adf2cbfe295b9a6ae4a9c68e742d3a8e

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmou4jcACgkQeGxj8zDXy5IbahAAg4he2JWp6GaaI+xsgK1Q+2EuUlz5XyLdi1uY5nnt5vnVBJ30CfkyyLi4/6tP+s3oohnpl5vblM54ZRoEx2q9cV0KRW3akb+Rn/EjU376ekGIpd+YbxpCIXBS+wCcxwr11TVedYTzDbE7IcpfgV/62PLNSjlxEUq/JF3M2BsFRIhp0z5xdNiDdS9i4jjggqJl/Fx1DNqj/ZZrtKxbdxuEGIKgua+5k3cmORb5iez5lnVHm0NBdzGVMv88+Pz0N3YNON+Rg71mtK2PuB3spmE+lKIOXwdDHfnKmZKsnV4k8Dqcnwnn821vvcBMwLcTrKAE6Fgp6WEJlvzQyZlMCem8Mc6ypkM0d2vZs9f2skfDMgc3WELOFd78PdlLOjmzGXI6UAFbLvsFNScBFuIqknuLMFVBRi1XzXZjPWhZc3ahUHwXgTbbBqvRzt7Ce79LE8BGqLp2cGRwfpoiHnkrVzRr4sU+VhFVOtLmmTrmuc98+bp6Wvk1PN0lZdffR6KCg1/A0/2KQrvUGPcjjWtyyuik+VDyMMb3uJ+5O+ECjwMtnrqvehfBidTG6FeSS1bq5Fo0M5CRSUy+hmASKrbItxmCu2YISToi1T9Pjw5+fFJigTBuk3NGKcj06zBcFdVXScD9yxfQzroKgAg+0PmMIoz/UgOnaNeWC3sMjDAtJw+BPyE=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1781457424

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

%MAKEDEPENDS%
ghc

