%FILENAME%
haskell-tamarin-prover-term-debug-1.12.0-92-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-term-debug

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-92

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

%CSIZE%
639324

%ISIZE%
3737441

%SHA256SUM%
3e8489259f9f9e8ba80ef8aa1f30db9dabdafad5e84d949ca7ac9931005f26fe

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrVSvkACgkQeGxj8zDXy5KnwA/9GrEBA11zVo1SA9Ks00iZhjndgTKfOQutX1VuX/J2UySE0acc/dZaZujL/pi8cHzUV3tDX79/fCMQ/gTiP+Cea9NpEexzUHzzyzZKvJPIi5YWbogiqmddJ50DTzIFOFsjj+jfNwSfgj16bwpaCj7XbhGsimrjr42jR9JXowLTkBUifCmrDUxpgfzpcpCwmsi4Sn6bwAY4+UqbCsjzCQvEwPXgnY8Epzm2zRbi2y03I7kn5EzLucGqgBgzBc5hRddagD6GzxOlE/xJxeXgzSai08dCk3efrzjeBoEASFQf5TlFm7129GGisoD8e2WTF+NshfFoi9lLuXHIamf64ECwPVriLCWp3DBIDJtV2Rc1fO+l6QxKJ2BqPXaE07ZqjDG4AhfHYTSqYws0sUI+j3rFANdec2zccMY53MlxnwA2/Q7T0380kept9M1HcF3XpBlygQAL5pg3Iz0UyC6vRZR5W1jwodJLlp8MrH/nXqAs/jkJGhprF4HaU7X4ADUhgMgeboNEYX2rrPJIsS/jqGx7PXAQ0UspSxok/449fqg9T4AcZxJVFgwDcrjwrF3S5QbM9MoYq3fxIjx2SqMQH4jCdD98KpPArTd66v22EYaaQIIbBfPmwn7E0SRxrHPlb+81vN6FCEdwBzsZtPLBXYipBaLUZrNxq7dlJTjcnk6cAnE=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792363228

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

%MAKEDEPENDS%
ghc

