%FILENAME%
haskell-tamarin-prover-sapic-debug-1.12.0-71-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-sapic-debug

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-71

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

%CSIZE%
281638

%ISIZE%
1419636

%SHA256SUM%
99f7b2d17695b6c789eb574f60758ab79e3718daa235688666e701db11ce3f8a

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqp8xYACgkQeGxj8zDXy5Kw8hAAiLULhkq0Wu9OO0Dph2mS7zTYjYjWBaD/SW8p2w1tjFhGjGDWxBDOrVB5KgRWsSgdwXmOnZ+K58wPD9QlpxbjWIIihpklhW4c0VlwPGHC1vFjc/t825IvqaAf0Kc+/fOQruQvxAk4UQpz2KzknSMuhXgPpXkbN+5No0JvCrSVkpqxR8PblAxnVhtqTKEcjhnVP9AEUeq8F5aBK1uAd0a6L4cc8Os3eXYbPFyQlrwI/c7n8zvdNAz/kH3EubyhWDXqJ9xPvlykTvgEX+HBqKbv9i6W/B1t/bY3kCz28pu+e4rUTKgBAgi/l/v194jRxIv4+i5Um2Lx0irVLAThhErFYu/rRXc65/K39keZBz3L6evhA43vemJBBHqGZfh1ENmFdPJpotJtvGwVpW9WGhDPc3KkFLIOT4cf0cx5YHKGjW+C00WwqzE2pScAp24rFBkP0+hKiADZe2LP0rXwZnrHifgIHvsClyKTN8siwun3BIVv3ysfmNDZidv0v5Ra3MZ5NRGkLS1OHWtJzowH1Q+PFnBh2Q3HiDf7JKSgCMZ/bB/iJLrtfDKXBSYvHoCvYQxSGfCJn0VPuZ9SkwpeZGTeMvLnE8FK8e4RCB8rUstLDeri+D70XUsUUzFNBGRws0ohLfENlhgD31FTT9vSydZBzKZJDr1scuUUuKKNdwFx+KQ=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1789522683

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

%MAKEDEPENDS%
ghc
uusi

