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

%NAME%
tamarin-prover-debug

%BASE%
tamarin-prover

%VERSION%
1.12.0-53

%DESC%
Detached debugging symbols for tamarin-prover

%CSIZE%
6158

%ISIZE%
3064

%SHA256SUM%
97c7797d17740ff85634fc118f58e8f15190e93edd99688e6ffa27e294ae81a9

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmodmYAACgkQeGxj8zDXy5LE2g//Qi+q30b077lkMdDw0308nIS6OidqU33vD+u8pf7+i3h028JMeTL8erYLQGx1+z0FI1BxA2EBA2jvZrbdiK8VPZAA7Qp3yF0+WQclyNGDTdDJMilbGr3Fo1q/A1J2f7VxRhM2hhXQkIuDxTssEmjplJPD3i20nUFzSf81o0Rpz8azYnU47h0JDc0BadvGAxpsxhZ64uPq/7u3vHtM2Q9MfKBlAhdNS0dI0ac7dCBwtE5FSBcFKPAdlHgG7kyAOYsU/cCRtl1lSBE6ud23YNZTrDEFR4O3xrCouEa0zGdjQSNvg8QYE8MXwK5/USUU8kNQSr1F6dFhzYXT62VhJpw2HEoaDwVJm7H/Y+xHFJZRw6NnkRUGVZn2jOVj+foBRQBxp7X4inlk4AldZM4Tw5lHdxcik+Cpbd3Q+F1ViCx9C8cnF4Tdpw+WsWZaZtP4orW7dzOxuDgcq1YrAgkS6FdSpkC11bgqR1aiiAZNeKIUg2UkThGmQCK+OsN57Za4g5ROSSylFF1arRXkneCLzrDKBcnxRiAiR5WJ7C1AGHNlM5etGRk31T6lIDWr4xRArY/m1DvHlCP1+gia9/XQuXDa2NkJ0h/gAUp1laXAWrpqKmpR+T8U73WmK/khkAElAEC/H1KcIVss4ack6hkW7x8WgXfSzo20UkwfbgqqLgCR1As=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1780324682

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

%MAKEDEPENDS%
ghc

