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

%NAME%
tamarin-prover-debug

%BASE%
tamarin-prover

%VERSION%
1.12.0-165

%DESC%
Detached debugging symbols for tamarin-prover

%CSIZE%
6176

%ISIZE%
3064

%SHA256SUM%
a4592b8bdb182f3e178f0abe73d8a95016315fd555720ce3eac4bac32c7aae9b

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmrkA1kACgkQrx0hme8KPM+MxBAAztV9CaRByUU85a9NiRU8Xl4BHux0Aqj7HGemDQKGn9rA/YgYZ6OM/H4eVs4ty19mGz6xSbudyKhJze6BIw6Os3ZBIY3e+BW5XM7TCn349KL3YQjqgiCPCJCgkmTSw9ne0BMg/VbZNEMH4gLqTJjzvrMAAMzlnxhnLvJk/BF9szEq8qC4UZGyKCqompMNqU1yb/MNPblKhBMpWnMYNYpPk5C4QBwE+jmzAys498xDdQbMdvAS1yhoDZphHJezFIkZshjnqKImzeW+SaILEuHgle26gypRMSTXeXGrjHRYdVWH09xqlw1ziqJewMbmiCKOTnVS+OVvnk2gRqaQ6PutpQUYDTXbc1XhE0nL2nsrmf4llnnSKKyXq3sNq10Fik/lOZz6KxZqhCjGMP1i/mnmYCNEELGyb2SvC1T406eoBD/WUcLvC7Wl1HA93o/w0f7U+VrHQDDEvoAyv3f+OHy1lDT3Ya1upGeEZlNtFAR8WsT1jl+wNQQ4lHOfK3YmsDxXEJtFE/OMX3dUVJTzHYZnFT3aKwGD9tg1PSWuog2mQ7XtxoAMxlwb1G/jx9CPyAImn+5e+dq9YVYpLDI16//lj8sJX/nYepbAHrfLRrJQmodCduQv1tbgvffSYqixTfyQXwzg4QlzihvsCmW51FxRtIfXI4BHPm4ZhTZ56xoPw74=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792813188

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

%MAKEDEPENDS%
ghc

