%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%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrcKLAACgkQeGxj8zDXy5LYwQ//cJePT2/pmAuOX+MFWF00AGR23Gnqezy2OHvGeNkugWsIhJt7R+BQqdjtM9Ymc+U6xOMx470oKXxxx7815EPyntFd0pevXRxKmIYstvwSS1VmyU4cp0UwIAzofv4b5FRm5YoCC7UmPUFiCFkGs8QgeozgLlj6I51sBLsTN0xHHx2bwgL40zVGL4YfbIMzDm7HWWrZ4XaUFqqs7iiwE9FKwFm3/XAFNHjRKOXXcG/K3ncrFEBX/mX/ms2e5gYBdsStjJU2VKawtdUtD0gRhMm5BWKhLqQFN3t+lCUZy47ioqK6hFa6vjsyzipSR3yFurKtibPBIypJML0rCrq7Jds8iUeUcwHydsOe4uqLpkmEHkwRZ97KlprvO8AGGdPSSZFCjBJuYx6qJnGJ8DM6+dixLDNoslX/UenHoY4Yvfn4pyEsmEQnbvlPRmoWtpJ4wMRtfs/F/tKjA2ZoAJVX2GPEwtsPUx7qfuLNJC5TBNJe6hzcniJJ8jIU6vOHAjiopFHV2lWmnTZVD4GretVUmw0O9lV/8B3pPZHuwYi/+4aTDYw26HRioNbLJwScp0tfCofni5vEBR3KHAHe3bU5UAuWVq6oUom1uhHyubJ3pfCg28/jeRhBOwPS1rSoACgmb5DVGor3DWJRPEe9xSkJdZ7AqghE7MNJ0hU8z9YlTw+jSrA=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792813188

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

%MAKEDEPENDS%
ghc

