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

%NAME%
tamarin-prover-debug

%BASE%
tamarin-prover

%VERSION%
1.12.0-54

%DESC%
Detached debugging symbols for tamarin-prover

%CSIZE%
6141

%ISIZE%
3064

%SHA256SUM%
0a079f044f4528b6ee273e1fd1dba78b766c9a1a91152315394975e715a638a4

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmogVt8ACgkQeGxj8zDXy5Ldyg/+Ijw02vrYV6RFxzRZ1bL0+OmGnd8zS5mEA9Jpt/YZ2eYGBqKUpHCR3MNY2srpBQ2hF4bsM+A3+ukimTFXwReVJSv4LibfrpzdGFKhBGNNeamMRNvvq6EzhfypMVkctDZnSv6fy/CRgXqYiyenlPZqGJyqGTc3bRLkAWFBCgO7rXMGzbki5M3XV14hMhG1kxipEo1xYKiCLG/PfBfn3NaIcHBN8QoFIVDOMYTrnf/HNInzZMrWJLwubB2ZnNemnH0hUEGJulivp80YkOYQePi6QNZafE6c6gCsUHW6L+mfZFU2QkXqNlCMaffSNP0AHhj9RvxWCJFbOUm21Yzld6WBlzNjy3aRhajVCCQdG4AhrLpvFzIq1My5usH9EpzDncJ/4/iUfrnGZdQHTt+k9LeIOsg1oer7aMdiI8A0W+iwJBV8zkKLZnIBcdDG4f5Xf5v9VygYkFOjyfOGdETUOu8pGumY6ehnocXCf1EI4QLGZEn8D9mbaYFwKO7rCo8sySgFUmdR6B8kQOV4fe+AXq3awBzSGRDER+OgM23gSgJhqEsal+ZznVN1gQV+6bg4jciVlqKtCiyV5Jcqo8BNrb3Cs+pIvtmLhMmTQaAHshNj4eBo1C2CGmvV0+7rgzbuKSb12rYlwlk/EhD2hYQkq5T24hTLFu7WOxDNcCH1jlKp3+o=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1780504253

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

%MAKEDEPENDS%
ghc

