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

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

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-39

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

%CSIZE%
282058

%ISIZE%
1422404

%SHA256SUM%
6cb20343fbc25dca758293922cc359774a2f31d0cc6f92131b68d1879298172b

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmogN7cACgkQeGxj8zDXy5LXBBAAhwrt2r3QuDIGDNq8Huby3x+u00zMejHX4Gt892TBM2e/0n+15PiGQideTh+aLPeC1bbmhEK2Xs+Ceiye3NfgmfG7H7Dk83efWoDNsY9uMCbN1319EvVJwIqsSSY+DaNLE9OamCO1Pn6KrCzMxL422LChI8A7bUxUEeiUdaM6R0pQZJ3B5or6fqgzjj/g3TDxNxFMoIX/99U8rjExeQXKAwquuUe2OtXl2MSG7D2MTG/yIEZ1E0rqxpYnCQIJD52WxT+oesK5LJmxw4LLN5M+/NN+5+9AjYFhfeocrzMZRVSocbEU3ZmjQOHpeq/LIaxjXBWL+N3ybKjk/yXzGesxADwPcyEKNpvHXWm6Yjjul0Rk9GripzJOdf2motlK/5GV1wBeOG8rhS3mY3ML9Mhse3FB3To6GbJw26uwITorNoS37Ndp9VW1FKEk9qsUOrCU/6crXSytvZNLRfMuaOMy5j7Fpcfi8dnavGkIt5eI2t5GCB//mM2QkwqV6tKqFavxURcTwOY3+ukWWKdyb+ZrWSud/qUehKF/ZuxUxhbrFHx8KcHrYCcdIRVxOxHyS4CfZbOr4uKgw8TtCxSDY5tE+1mO3YkCKvAkgg3pJJ4fG81KOPubflD3S38/6RzDTjt2QB5XXGNvmzAWGbh+mwRzH9/LQ8Rw4/OeAQaTuiPPJSc=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1780496283

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

%MAKEDEPENDS%
ghc
uusi

