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

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

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.6.1-82

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

%CSIZE%
3581

%ISIZE%
2848

%MD5SUM%
27a58f7d5527ad6a185acd0d59ad3fb4

%SHA256SUM%
f60026f3365ed8fc4b47e7ceb22b9fa7f51a5c08d5f55a0207001a1a292981fb

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmQtAq8ACgkQeGxj8zDXy5L9dhAAtTPwiGyhJAUCCb5i6aK0p5B89HZhxFHd0WcIuKvttRWjQ4LNNjTYL6vExz5qvFR7S9mND8OpWRq0l5XK2RrfzfJWp7jBAJG42ZGPVX3T9byN8gsYYMddEqLx+ICGP7M6oz5spKvXMt124PanmSYxDUwvTzxhSljD//IwuB2+fXPLSPw2muzQpQ4nqXGqDjW7f3kVKKWil81qap1hH3soDPblVaziaprsJp82MYvAoSRyw0zjUsOAQXG8z10dAZtJAQs1zqJTxFVPoobx9rD7Gw8Gfz3KXaWSonXq7DHXVuvNVKzJyhyqSSXpTGhwbochxuyrHvkzTFrjJI5i/It16y7LMGjl9JJYxOKuk83Z+On5sk7xDvc2r18LFEg+RHxm+WE9tguTFkQV4lgN4zLMUwRDJmaJDfR9ynqjdn9FThDQEj19VmjKcZnyRxqUGm/aT2wIMqWXxQblc4EW+i8sG51IZYKywsRLWZtEYmGuom2WXOENp7l5WaRoymrc5Vjd9dRZSbltn1drSugq8PEg2Fc7/lgQQXy8iMLicqkiHnrCyVbvT6285NEWKIPoSP3ll/uh3Y8TKL92fdzINtBp/foBeGAaIpZI51wst876+GYZLfxsPfKAtVYW5//jg6DiP6H8ZCDRmVA8lUijnNGZBywgpwmD47VUs75qC/6ioL0=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1680671325

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

%MAKEDEPENDS%
ghc

