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

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

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-36

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

%CSIZE%
42044

%ISIZE%
170264

%SHA256SUM%
2d45bbd80dab04e80bcd453a55f1d43d51db73c988c1944313ba97b04ee07125

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoHnrQACgkQeGxj8zDXy5IiYQ//fIdf6KHag/uokuVj03KD6nA9p24CoplEY06zJtjzLWUWn8+0xSjKFLoZ+BmM5n/U/YayZJl4VbXy1kDspCFvrh9vXy3o853G1QI9zanSEDRCDOZ1smXDkrkycOcjdCbptN3MJxZjmOVpBKBz4gumZTNRIw4DejauccFhqwZeSua3fVVnGDytw74Q6oO1p5NuARZMYPZdV8SMnMKAQX0YWiFIkYNyaCQbf6RbcWIFV1yA+AWd1fbcbJPr1ZZ7xm0i52zVJwpqg6MfHgcAmsyzcntdZKOstC82UlwYde9mGNU/Z5RPuwC9XBHBHgWcDxXBG/4vujUWNUevePpirK5Vac4c8nZtnGCoPW0inTzZQKm7e56NGig/JMGbHF0KzxrLoAky3T3YmjSwpacOWq264NhuxN6Pa6eWj4YeMRV1sp8Rmcqw28h0CZn9URQs81mPeDxpF8A4T+EICrOC2c7er0HIfWRWh9T+u0F0I6R7EWM+mXF3Fn58745Hf1QRu9QEXGe4pbGcBP8S9nFn60mn184HodeUJRNNjEnQ+4E3g6oMpobrYOL75xg8R2qs4FFGEfWul++x9IysXeBulCTLq32ajaiVmTLTmZ2Vz7XE0zvXV/NOn+jasgloGcOrcKmMvfAUdZDFpKy4736mgcDznDR4uKJPi8Fn6mFqXh/BD24=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778884247

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

%MAKEDEPENDS%
ghc
uusi

