%FILENAME%
haskell-tamarin-prover-sapic-debug-1.12.0-40-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-sapic-debug

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-40

%DESC%
Detached debugging symbols for haskell-tamarin-prover-sapic

%CSIZE%
281668

%ISIZE%
1419644

%SHA256SUM%
88924cce5625467d464096712494b56eaee087ce2de58502bef352b9fec963e8

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmou12wACgkQeGxj8zDXy5J3XA/9FpDpy8RRkt3dVtHAWmjfN/oU87dBOpeeKt5UVXV3C2u3t8mfGXUPD6K1pJlrSSajR0bri0aTUzNbGFBwXsAL5hIaSvbzwdZAhlUtid6cqxVU8LG77v9KR6dR8MZ78e1+lP+58T77TK98fXvxUUUh0tlOFpijrGhp1JBNSSxo2tn1WGPSqs56Mj8JODXeKbA2rb7/uRDkjJ7YmWRNHK4a8Qd5FGECb6QrtVWlrDSfCd8D/TraBiVpJhNLD82c0hXrHLu0SFRP47fv8gem+Ky1vvcx2edp7g4HqjN7sTnmukozV3obpQ8jyfTigGrsxfUDeagxpiLdTCVNXEYw1D/nVsOHokcAAjEPBrS2qap5KB6YbCwmv8P70gv34MW7u0jXpr7Xxdf1JiwfZBzExyYIqxJGM4SCAltfG8lYUvqTLZg+6CWnT9cv+lrvDfLFaxjLozZw2MKiH0m7c7gH9Ucm6Cv08ajKawZz3YVqxWRciYyyOUH73XYL2RGpnffjfGkM4W41XZyCJFZ/FFJs1vAJySIVw0zgm/2paG6Ij5eF/Hyzb8y8jiwQPBTCzIvtXtlnutPsKDbD3/vpA0YRD+ZW0jFjuLYCwHY1Kg+ZJqQH1jQbI5bm7QxJS9CrGp741WDoJBewsuWZ0F8n4yAOA5nsLKwRzv8sCNkO5/l3bDdqFFo=

%URL%
http://www.infsec.ethz.ch/research/software/tamarin

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1781454679

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

%MAKEDEPENDS%
ghc
uusi

