%FILENAME%
haskell-tamarin-prover-theory-debug-1.12.0-88-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory-debug

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-88

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

%CSIZE%
3830614

%ISIZE%
21041380

%SHA256SUM%
9b78c01442d91599c86c5a325269cf46bd40adfe15a754afe80aae6ac981602c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrLVAgACgkQeGxj8zDXy5I8HRAAmhec8S5MCR+EJDCj/nSZ6MxzJc6D2s43pMOJCnpCXr9SDnH3C+smf/RLX6LlOMZFEoKPOhmkzu5MwRFBwWm3DXAAuUl7J9s1lxSdW+2soEM39xH2o7sjykYKScMKWR4FvWovOq3KT68Aij3E7cY6ii3rHJ8RaoAi80/5cIoIIwAaMbGH59+wtEcnRAIiaIaxZc43uWiqyjdK4eFKk4zgj65LJA/wyL/lCxEIiS+9+r3G+JLzHM7lrc5YkqYb9l7EPnltjn86wnJjYcxvoS7cOLgtTbCfoGRAfET7R5TxKSFa7D+aHXZWgjKd8mtqwkFsJmrx9Ws6kzBRGNDOI/n+y8wx34VIf2dSh030WeQndSz0sCElZPk6La2iMXqnnq4EpPPqo0nSUXoo8DyjzbuAwaMtOacvcTNcWRIbZ/RSo3TstTB0EVO+7bCL2dhIpM4BpMz5RlX5N0+nbjF9oMatodMfrrxUpG5uDfse9rjmxgccTa/EnDU/AScboWvMZugrWzx18LLAuzNSjvQJqrL4z9dJ3RQYI3SB5LTwHK1DH5M5LhPivi1yJLrw9hLI3tghvfj6MlVDwQPPMW/Xd6H3xC5LMi2Y+ouaTwoRbf68x+StqCVzPn3/FSjDiBahQXNkHRSfVOu0RAljh0ScqhZbzpJkAqeI9ZAAn7RpLvu1jvA=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791710116

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

%MAKEDEPENDS%
ghc
uusi

