%FILENAME%
haskell-tamarin-prover-term-debug-1.10.0-59-x86_64.pkg.tar.zst

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

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.10.0-59

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

%CSIZE%
606959

%ISIZE%
3448046

%SHA256SUM%
5ea11f7a505ab06f789bf794a6d3f3d677f58a8789566321dec4044859ecfef8

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmiHtEYACgkQeGxj8zDXy5I2eQ//a0LjcWYu+SVGtBCYVceGJYDuPsPXPj4v18jHvA4h8sOypUy9RdDuXGMOV+M6/0Ewkk/AIF4Po92l6G865XkTicBcFlJYP0crcx0p1gSTmyRCvRXRdZqWXWLKDColmIgN+K3v8VQ0tXnGJm0ZMZrPF0c0ZkvOzbAF0zTdJGIQuleh2XfVHyjQmfYZ0U3IpgmWwy5kSm4mmtkA7TwD8bdFmWARwnAO5ftmfrzHhT6mbeudxnrXbV4H7cy11TszOpQnFnQfbMqYXNodObrT80sAHUMxnL52ZuL+cD3amVWBZGoY7cVL0RENaosHNAvfI7wzTFB+UbfTREuUvOjp3PdpfsQjYCrzki/TKzzSgcAsRdTqkfAI3F3H60GEdJwnJk11DArCxxj7WyOoi2NHHVJjKZx5mrBDDbg2ImLGfpljel048xRsSQv4gNle7mHubzkA9vAEX9anPX1/9dIJ3tsrHA+0ACM5HC5X2+phRCxChSxXPyDf2A6lQo1pWabitZAq08Co5dPn+pcmiakiOeHMHi7aQUivk62f9bB7F3qIVZBSzGZg/gKpYrJtbECnUjHN+jOWQxzcuibbYjm2UtgC2dS/uqMcquUWyF5TvOg2oQJNi1AC4+i14PHH4MkQEbb3i/lQOA1A/2v3la6y5VfPKUJzP3S5y8QvCsKRweCZBNw=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1753723856

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

%MAKEDEPENDS%
ghc

