%FILENAME%
haskell-tamarin-prover-term-debug-1.6.1-83-x86_64.pkg.tar.zst

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

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.6.1-83

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

%CSIZE%
3581

%ISIZE%
2848

%MD5SUM%
61fc28b2888bb6665422dfd733a30751

%SHA256SUM%
d43093cb643bbe55eff95fd4fc7e18fdecb1c14f9bcb9f0028f95924f23db76d

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmS3DIkACgkQrx0hme8KPM+wnA//UszXQL9FzQy37DANGW3NwHdw4ioPQWhxq1ovb0o9R8Hbbu0QNvvjWYfsB+d2uGGPHtIy7uf5Hh2PJtX4BK6uRxn5NGEZwSZaoH/qcIZakO2upzZkxmpu2TPFJiuK8LJ3zPWlBmnNdU4gqema1gEK3A/ARxJSvH4ImfKHygl1fJVhb4uWswUK9TtX6MqXCRICPHR278EhCaOkYNXKsdpWesMnV5ZpAuw1a7p3tMpVjoTSAxQ/qRXY1CSlsWFy86343DlZqXOm3tJgGm7rgLzQnqtGLXSb9IO0V1Il27a3qZkKMgEMNPLvgEu0eY4ju061vuKDx4mMAB1hCShlvAspeBLa/xzorWngPN3nCaJeMH5RkszVf0IqH50eMjZRNamX+dATUTFmv82lCqmMlVJDQOB8uqGjveG6813uPmdhVZJEiRx88CRLa4hqtvzHR4+3e9hRLbcozR7McahlARHXGhGXDoTOn8fUrjBr7K1zg2HJ4mNRzw4T/dE1QWoCjq9x13/jl+NK+XHtqMbm9WBYsSwjR6SktBGO6e+NNRdPJCi0ZSVlp5lb8RcnF/1+AOvG1jSTB72L0DyITkpcat+7ZZPp2IcMXmu54ADBz6UgasKqHNYJ/vsc3GgZpwIIiQd/pBEw6zpMfyjcv+87coq+HUEJSBQEP96kzsyGoqf3538=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1685898805

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

%MAKEDEPENDS%
ghc

