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

%NAME%
tamarin-prover-debug

%BASE%
tamarin-prover

%VERSION%
1.12.0-149

%DESC%
Detached debugging symbols for tamarin-prover

%CSIZE%
6160

%ISIZE%
3064

%SHA256SUM%
dd16cfa0f7ac507d50acbc1810a70d1e3ae2ec60b8b53b18c4dc44f6e87280c1

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrMzKYACgkQeGxj8zDXy5K9kg//UYBTSxoD8lu4f9ynpjnqTi8dZed2SclSrCBOKyduZw6g/6e7jF07f7Ym7mE5sdPYTpn/+E/00Igc2xZllsoH6ll2yieRKEb3zwTvg8q04wtSPhljqNs3ct86h5kj1U8JOf1Dv2OnytjbbgIkWf5jSSvAZuapNZJ7eVZ5ZxEQ9DuU6BKkOE3k4JOSsLQsPTN80mqSVuI5GWR7txr5fEPULtT9y9jD3Dh+AxDT/lgwwYCoKL1j8d6D43LNKZSvPJ1pyF1NeKe50r9tcbx7UdJSmczBV65LVgugnfn+ePuIAz4b8KqSkHACcLbzdAvEv3eAwj61khw/04G9O23DCII0DDa37zUBkVkFhMLgHcDq9NmhKyiDoICx0eVlnI44004C1kVZnM6DrEuercC6V4gvSU2o++g52Qf3DlAqdG3gINo04po00H9mhNZ2C/maVK6KHBf7wBibNu0xuWGigiv9W8kM3KhhFh7yIN6JVMW/iRg3PiO3B6RIwN0OKxvSiLj6q0z4P5mVD0H4h1H7a4yBm0bM3DO5E3mXpf0KTtrMukjZq4kqG96P9VS8aeIL7Wm8/lGESR+I/nwQrbDDgzb6t++/Jk0cHCjg+D4CXeWzImaFjQN45/rEECHgDTOlyT+n77J7R/gSQ/2bt+eN8eae/b67G9ISbDznSdhVDgE7Evc=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791806509

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

%MAKEDEPENDS%
ghc

