%FILENAME%
haskell-tamarin-prover-term-debug-1.8.0-21-x86_64.pkg.tar.zst

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

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.8.0-21

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

%CSIZE%
3590

%ISIZE%
2848

%MD5SUM%
16bcbd16b98544d50ce917e4b17a9536

%SHA256SUM%
361f40dd190a6b7017fa5d836c2c0cbd5ff5723ce6164b53a94b04cde2efb803

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoEWAACgkQrx0hme8KPM8xOA//Y9foB0oFd2CvaL+UVbfk0CMJ3NPqbnE45HthNdIkojwoJbG8u/zcG+hJTLyXnJcK1KkLeHdo6JQ4pVBuv048TbVDDNj8aNh0wSMf+KFUFv1Z9Q7KXJN9yq3JVxV5jhezl2eoLL5qXMnWJj/aln0JUzJJ3TLzaMSWHOUleAEROT5oX6En3ZNaL3SyHH+bLNcaVkOfq6kFhOCVc9bcu8Uaa4PLbMlluXLCB+aZBNjcIB+3pLr3h1yeERX/nwYhffe7TZU0yOdBMouXa2RmeuuH4YDRPJZ0D0a5srF6x6UKcclauqcizluaMl+JSzevixnyJ06/uhH2GtI4OX/UKpli+J/+Pm8TNdUfcZ/crcAPk7Co1Eh1MSKpd0c+SdcatXFm8ddSZTvRJ2yynygKJEBh1eV1gn1HnYmHH20O7QrFbF3IlggCT8dqnSkVMiL5pTVIeea5SW6PUyOCv7jTCjymKR9yBp2gVeZlWxFFLxZ0yP8ZA5EIeTai6et9vUhqm2i4+j3DhjL7rNUkh1zD1rMiRQpEAx6xprWyxBqKdcjqjCtR7LbORpvrQQF1DFT/p0lTSRHxDpRexohUwbkxGPXbW4RKBtR2sZ77HhhHwdYKbNbwK2sLv+uW465Iiejap/QAQbEuQGilgw5F5AGgPWqW0LevTaE1HdjNqQARKiX8AY8=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1707340809

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

%MAKEDEPENDS%
ghc

