%FILENAME%
haskell-tamarin-prover-export-debug-1.12.0-30-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-export-debug

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-30

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

%CSIZE%
266980

%ISIZE%
1212837

%SHA256SUM%
ecab57be22052f0a72dcd4dc3840d46191d3d4d1be54cf9fcc25f69d5bc5dc69

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmn8VpYACgkQeGxj8zDXy5Ji8w//cWdLUl1riVU7vTLVLafwDcGR+GltWiPrJik8M5sYtkJuMOP4/Q9JQWiMsU2GINXeeIls4APlxpU2WPl4QySsjYFZvWj4gYYJXIiFZKXCxlCUoNhGZdX8g3XMGwrsPIpex2eHbFP40SEGuMak0IJ4PsG/LKo0L1nNKCNRnT+8PWHiCqa6J1gjaZkscZdRz0PQGZbJxSJ1OoQ8t/WGjXjqdgkwPcR7y1HXG4rSiNoTKQqxfduq8wcA5K3WU7VJeJ6rsRWl4KmxZQNPZ9iUCq6VcK4/yFevMgCxpUD2lPosDpYo8GMaBB1tjDqgSeNJtVQwgreKmeXXbmwbtEO037zVpG/iKMr6KKWgMLxLnYVqW+DSINCb6AM4RH07zNMlRfnBphr4iMETGxoQ37iCNlPq25ssnE7RRK8ybIvyhxGTLLpVZmDLCCDN8ogHzh/zjeg9DLiK77AAriuqmR8XniWqgeLrH45KpysgQCyNmyv3iH2f+2y/6klU/Ll8PEEXzGKaQq2S3DZKh5pswdHI3TZhuUjEiKEfuImc/ntGodWmzSMGL2evDkYei8Y1bAuksWFB2D4/m5IIGYAbEKsXYCgI1JE3/dqSode8KZY4JWRsY0ESRte2YdMs2WkycJVZjeGU1bzcIa8YCqnLpYua66Gon1Otpr0wWTgT0ExD1VF/Nx4=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778144880

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

%MAKEDEPENDS%
ghc
uusi

