%FILENAME%
haskell-tamarin-prover-accountability-debug-1.12.0-79-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-accountability-debug

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-79

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

%CSIZE%
41969

%ISIZE%
170232

%SHA256SUM%
a80a7a8a7d9dbbb1d213cc11f321ccff886d37b50c61220be4050750d561404e

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrAXqcACgkQeGxj8zDXy5JfWw//WBa+aWxTroGNMVo1LvcN3DSoSlCJh47JbYMJSla93x9n9aIohTAl5T2CvqRnErOui1kjSrrM1iGYggT3qYIBraGm9thpqKxMB+7FKr6kjBpmjFxyy21scn3Q+bC/l/wDlr3vOrIhVO3riXKXr4DwTnbtYGkplAQmhegKI0I0/wX4U3A6pDr3anNT88IyhEXJgtQvj6shAZp5t3Ebh75pm9lSzpKPXZsEPb6GumUnyRJOL6UFF/fFiFMJQsJJ5bKLdU0EwEzSHP+MLVXmDYsL6cysnWD4OASh3/q+U3aYiYPDrGVN4YgQAr/nR+cdxGlS952HoBOD96b8XuJOtHuvEkjoK3kdMWG1p++huCs55UidrP6pKaFLSh4FyYr5aR1Qr6eHdNOrjb9s1S16pSiS3UezbI2s26GqOJXEEiIUWc8MlPQ0FC7vV2Tr1Xs6b8WcryrKYW8j8sw3E1qY6ggn6A/I1ZiqZ6QD2ATI+u8uv0rRaorJc+UeVIwqPlcnDyZMxQA0fNAascz+LQJl0yDkb+0urid+FibN7Hrxp2a548knIWUIZUytqVutqdqW/Q1G1gf6j6RmPp9ru7C3XBcYkncYhuA7VTNP9YOTOPUunMvLitQuGYU8VKFKCgWbdDwXWKUgLko2PLlItOJLwm1xBdeJGqSKKeWMzIBLaW1GMVM=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790991997

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

%MAKEDEPENDS%
ghc
uusi

