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

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

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-30

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

%CSIZE%
201370

%ISIZE%
1145210

%SHA256SUM%
905dcd31182933f285286ab16f46f2c280c68d27cf95175a6252a6c24ad3f426

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmn8Sx0ACgkQeGxj8zDXy5LF4hAAgClMobYW7OjNzv/fOhsVPwyLVGXPWRHVzkoJ/Q3bivL5N72tiS/yKV67rjA0VEfe5RMgg4ee1ZKqnRNuEXlMA8gBPvZVTn5KZaQLhgqfB3TsU4yFwvg89PgHccwFfx3LWrUognQEg11QmEM5mmwpQPnGMLcOEe4hZPLbi0vNjQwR7cPai/7eWLgfAqhXZ77EcEAGybnNHct81mpHeATNa93r3pnBlJWSaruujYi36DUjqs4Vi/37MkKhoUnXktc8XQG0euqRCoM2zXX/Cbn0R/qk5anhvI2Qa1pMiNXJ4t208EgrHxFgp3CZKGFZcXwMPrHDsXeZCIsIQmofjui815wgzpwBEiYepvvd+2hpM+4q/MyyjQkZ95bpnkNVB5HAtIHLqy66spa8nKm0/92hXheTTGW3janeNsNzOAIEViv4kcM4QZCKPfOdx07/TqJFRy2O7snZAKwZkLoU3/bIn5ovi/DdFFKp1GJljmB9T2S8f0FCqRvjWZ/CxVkT8Q8tjQUYRsSLWXIMMeR9+uzUtWrh/iHQlw44M6Q/i34W1+5pwSmupeBR2Mly4NrNJV3NZ6g3JTOh3mXBXhLeQxmyQndaTIiDMmAyVLMw9ZqsWe2HWIWwL0OcBcHMBICYIVobvL5PgrCYhwL6dQmYFuQQsGphDCqOadqEd97vLKW12qs=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778141960

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

%MAKEDEPENDS%
ghc

