%FILENAME%
haskell-tamarin-prover-term-debug-1.10.0-142-x86_64.pkg.tar.zst

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

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.10.0-142

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

%CSIZE%
569615

%ISIZE%
3257774

%SHA256SUM%
9a9e2e1e38a73c9f2a96ff556e82369309c4de466f5905df631c6d1544b6c446

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmljsSIACgkQeGxj8zDXy5KG0xAAwTXQEagHFPHkKT8loOK6TVPofqeaC0cRPNFcUgJYAT436x4LP6/MkO/NLskzM8HDjs74IVhkYqRj6+QjwYX3o7EYP4V75Fhk+znehFMSqZNFGCklMyH2b1ETVVfk6qKN3LMqtDgflA+y6AZCVB/D7VUTxvw0zHtHvizZrRq9Synu0DbVIqVZ41zUbB65IPANHo6HB0lI8qO3Gpd+1mijG/WPM588/1WPYwE2QY44ar7xWlN9ijJAH8a6I1IkKDtKqq8po+PKKWKtBcQup+XL0F6b9oN05Xnf1RlXu9LoBzxxnxcUyJoOlgMDT57s49WWzdl/d6/0OurKFVlQmlrQo7AmenkWDFLXhh94mAX6Klze3qKCG5KF15ZbZW1kAOQAznIpXk39PSSUo6f1KqIv2OSfkCHARHvXAehjpFQBGiSaRwBo0RtQpkeOYGtPtxBaM+epEa/lojlnyArvfhhsykURw7BL8vIWlmUnMrfBoWkgHCFLM4JangnScbyMj6TPUr/K4N+oUv0RyF2sw2zpN7o7jb4i7nRqagnH6OTCX9icdP1dY31j5LThcZK1/VoYVfzYjvoNdUtgFthpwoIHppv8A7CEBOMbD2+tmU4cX2k/jdoZwcBkdf/DIK/68zbTVPIztWNcVw0oIII85GiQt9z/Jie4G7pKS2/HWXBjuac=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1768140989

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

%MAKEDEPENDS%
ghc

