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

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

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-78

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

%CSIZE%
638678

%ISIZE%
3736273

%SHA256SUM%
41e37a820f4da74fc0e6101ebf427835cfe2571488854f7e8e7ce35726e21c60

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq/EsIACgkQeGxj8zDXy5LXkg//ezUXmkCcH3u7ajn30Ew9w8Slx/Grfe14kXzg/Z/4GLSi3ZZzxgYoXeDSvYXIdS9+MC1gchc2PnbcSearP+8eIHXbLFx2QM3xd8t59vUwO0AiV0QqLPjFzKlSm89xt/fmUdJzXHCBjmzXYIkGPKlEvpoUgZPc6HW5SgwY2QKfKGMFheM0svTSqgrzt83sqTz3z9+Y0qeO4BxV8LP+B4p/dD7ZeLCIw6teJV8Pded4ycve4a3UH0mtRtMPnqVdB/5qYcVRffLHlxgChhOYEimbfLPq+mrqcsMp/AW/CwLMUmRCBvWP29FP1hTp35LmK2EqSRgesrRIMHuIg0WBMvB7r8d4fs6CQ9n4ybaVCcsmjWt040LIhZ3cNlVT52t626GToZ7DyjtwZyO3agl1bppG1lLB4Q/HI7a9dnjpczLyzeB/CmtGfVAWHo9ky4EWVY74pImiklg2HBto5MMXeKH+p+1+eEUoZ3J6HbM173Yo+Sls+BmVKcA5Nr9peDEPFza0hh6WenQ2HoOTJld2foFwRXS5AUW04QNFSoG+8oy1p9GG7fCNQPDyXuX7+sm634kGCul468tV85+7h6qTcCgYsFa2yVCUJCtj4qPyIszEIBq0FOj/9J8ZoMCMwRMU4XlwmBOBTm0bv/Y97rf7E4Wx6bewumbWj2PIABp1fzfeqMs=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790907045

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

%MAKEDEPENDS%
ghc

