%FILENAME%
haskell-tamarin-prover-term-debug-1.12.0-89-x86_64.pkg.tar.zst

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

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-89

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

%CSIZE%
639835

%ISIZE%
3737577

%SHA256SUM%
ed0e978ad4f3fc42e8caa75ed99f4b4db7ba2547908e23654ede588923e064da

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrMoyoACgkQeGxj8zDXy5L8GRAAj9IQamfweKnRYmUVjD/rmL3uOcBXOc+IJkHZ1azdAsxBlkvzyLn+cJd2n2ZgBHr6/W06HKGNnCPvMqMuSU0SPuWnze6RyYGMZFQToVp67qOZRJGU2mDA20fTGvwofnCyf2ZY+zIuLSMG7P8qgCwKY6DJ7dkUeKklSB/TJRy41OIGt1fKAMq6cn4nfjwzfwqLTRpofOc7dd6v0QTppoGKbVcPdluvQMUIUm0pr5AllxVJU0NP9OFyQhQ41A0cGJjReumFHE8nCQX3k5AFzzPybKvqrxk1tUAyEdJhEuJcAVQ7oI+SjcbvigiDjPpbdnzzVr8hPEpirdC4snaF0KAxtPrbEP9BYHL4b5VJ+b1i4AtqbHqO8bASvuxgYij7LRR7LUA0vtdzpScnrH1ZZIElFJZQdEq84uDph+t3gHoYzd5u55rCDUNOrrY3XvAEjlau+9BY46PdLtWc4gWebdNlT06c21qO0I/Q0jrnlo1cp4nUxfyPFZz896Lyh536LnUGylcyQkwSWwb4w5lvDzDsScGypJi2OfjuaI2D6T5XuGgXzUVgbADxx62iWmfLLCaSfEprzPboNl04xhoiU4irqgvxeh7qxXr0tHdcpiIRn6ECFGjsBH0tCAbn3Ydlgq+/64Ypncytn2NZhOw+Oxqm5i/O4JiY8HpeDNGZu8E9wvc=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791795968

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

%MAKEDEPENDS%
ghc

