%FILENAME%
haskell-tamarin-prover-theory-debug-1.10.0-3-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory-debug

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.10.0-3

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

%CSIZE%
3263588

%ISIZE%
18054632

%SHA256SUM%
df55e66fe2384dfe7e2a03da218081f68c52903c4459073d2160ce97c2b5365c

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmd4P0IACgkQeGxj8zDXy5JWjQ//XXmTQ6C7BkViQgiFFMBdc4TFXOPTpnAajXc/czsBRdDLp29UXOmAGxVz9pgYnAwWS+ljFNLbe+0goTnIl6iauWjeTOtQkcPf589/gnBS7kwbYS8dojuBxDQXpbTlh0YIPbdvn9G3Io/zPd6PH+FHyd6IdUXT67Xpt5J0Acua7qtlzR48ssX/5qxuEfvk1YeZAOVFB9+tzhtY/nQGnKjcG4YNIRon/oy1PF9s+So230A7s4G6SX2uVUQ2Wuz/5NebKqaWr5sYy6lMtjLkOiVB7B49npe4B0F0pavUX/akRBF/wgaawx2sKo16v9lvVAsfBwF2S+ZqOvrE/KUCSctx4IwrI+Z9R7iQlp6/1bGCWegwK+aZGOL9N1B2OdNHIA0ncZIpyqhP9DXYxBPvNdJ5YijnqAmwQSYoI/cnblKRTuRR8xq1obUGN5SR7kzU3vS0ot0LQkHvweWS20iR16TfIPhspbXu899RaID30jH/XYBtrNxndfEMWRO1ouG/aKYfhDVPPAvE5KnBZZzaVYfytSZjdzrpuO6K0RQd2Arhq4slqEeWp+vBzHH9/S7O53THS25lvoiz7qzMy58poMK9QykgHi2DIkoCkM9aTMmItzKoMBRm8R0wGWvK/mf8U2Vzt/5KhKvgIBcmxQpwUffX9bbgA0Q0b6PqfthCB1YNWf0=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1735933635

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

%MAKEDEPENDS%
ghc
uusi

