%FILENAME%
haskell-tamarin-prover-utils-debug-1.12.0-63-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils-debug

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-63

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

%CSIZE%
201034

%ISIZE%
1148898

%SHA256SUM%
ce34aeb35637ca6cc9fdb5da87771bd3bdb3b26b1cd67c691fb169d105e4de7e

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmp7Y1wACgkQeGxj8zDXy5KfpxAAqetzb0LU6oNhwZmuTQfblblgupJpd3sKHc6Tl9c0MC5CPA3fy8Rn2tZGDVdrbOt835xeivBh8AQQt1g1R2p7GCrRBCEoXrwQl1ODRp6MOw1jMDtFVu60hoE+ytPTiq0V04440n0bmiQOZoYRCnQ30kUUdRbkQPOIrMVhdW782crLS5IR3ElALS+DBukJ7AzFTLWIT5tk64bbpqohouVCbWQBLBBomtPiCVWOQi4D7f8TmmLHiVs8Ghtvc02tsloGVKQI0KLj4m1RcO1nbk0n1Rc9w2lSqmYhr3dMxAcgIPuzFhxcDiOTXo/aWGrPNA8ZWsfCt7hjTnxkzzUouzyMgwFATin5ID626xSignJ1Wsg4NuFJZenQk6zBArCOvKne8DDKhvVVplLGgtFUZMpqdZ9aJF4YviM+sgSml1zfnlX8UxiLoOQnKDqVYp8EeHm+YBcT0kR6BhUBev/NISCCPQBfqHyEJut3ErzMZLIOuJI7C9VlVoKYrvlAp7IJO4mzmrn0t2ql5Bt0LcJs4NdMCjHg/GqP/dfs6l7bT/GlIkQwg1vKzsUOpDBa4XgE/SNHGsw0OY3RiZsIdHcofaK9LXoM3/o2yH/jD1jr2Z1cr4poieAmRPqbuKB39cfd2zVgjAeZPApL7FCDtpDXzvxLH7eh77qqLp/6VSMoyBdqytk=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1786471240

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

%MAKEDEPENDS%
ghc

