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

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

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-94

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

%CSIZE%
638716

%ISIZE%
3726169

%SHA256SUM%
833ab5f85ab646ddbbd0e9a3898bee4aebb3d02bbc783357417c6da18c7e5902

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrZTnsACgkQeGxj8zDXy5Jr3RAAp7Dc38U6GFO/0xldwlE5G7EWTj8se1eKbcTHmmtelt61EQRpyEh+dASUj3rJEqvSDp9mGsJf25b0Uo2uJco3AgFF6rZZiEnK6x7Ke7ePqAXyFMOFvU1QfMqDYyvO537AJqD6cBSaJmQDTuhI9vwAduvdSiHfvA+s0knfhidj2pv7UcwF8P3nqcDTvQUfIM/QMiS/r4UXvw/Ayx1I1HgmysbTRH1gzXaOqUR6cdFb2nrYukEBwikqhwDY8HvzFL8QRV2pEjaBQPqghL8fh+VUq4oHm28Ea4/gtzCQD8aytIXPbQkrJcjbvhO5SS8fOVSata3eSbJO3bEac5JSdZkpxhMrSyFHm5SYd8zLujcgo+WCS9y4tM4Zkh+g12DAaOnJNm/ucfQbsQDpnffUFVvsogHeln/Uwc7Gj5TeJV7ju7ONqhafrOsCKOMmwS16OCZ+6i4DL1fs4od7B4VWi1EbxRksmFc/sHRa2fNtjYZ+kfn4InuxfvttUfWEfCPn92JfF1MqefXr3wq3nYncRIu+S8nWiJ+Osd5ZRb+tGl35ChpVvjjr7x9kwO4vlFyYVEM35aTLquhxMSY5ghxtDdVR/a3b3gXz/oZ0M4ufhl1uyZiaLWGnGFW76NCsWBf8eYn9Dip4yIRYC0x4a4JMuRdt+vj/x+FDC+hwqs5Z1uigfo8=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792626270

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

%MAKEDEPENDS%
ghc

