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

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

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-79

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

%CSIZE%
639040

%ISIZE%
3736273

%SHA256SUM%
146e39767a99b8625148064cba0a93f2631916289823166b92b6f5435cc0fa05

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrAXYEACgkQeGxj8zDXy5JulxAAhgbWPoYupfkbpA5eslU4TSCYOcGU2H5TVLBvFpXhQnaaF4z/EVlnAPMZxGfYQidyQUscqBHU+yCncPhpB6vXvarpyBFbeaMQ1TJ6sI6AAk0ipu0jZThqLZYbWVdKPIV9quePutAQsOwE/B+yfLRbPGE/fCWJBITBES+UMZxjNrxYJiEmXBUqXD5GaEHHtuYzRrSsolX38fVvXd5ULfnh3YCE1MtVf/2onE8bN9KsH4jCoNyw3M0ING7xgeEl9ErQTbZwqznkDMq5SsTAUYBvptSk7ay6ZDlgQMwBrHKv7mW+/8xSXpNgKD0OgAjyy4zCD52gjyYi5rckgdbW0+LeOsvpYI0z24ahk2iU72aEbbGgR5YxWN+yX3npZ7FGy0h/kTAJZEdMKpr7321e6Yi7B7fKzmmpOgultMCGYhk/js6OhFu4y91LZ8URq94Bf5ZJCmR4OEooxZr+EkV9glJ+lBoIBG6x7c+so5eK82Bk7FgoGmcR0rIV55AsHS4KUlJD5O+j9IFKlH6LLoTtFoF3th2m86MbUZts7f/yab1t6sg0meE2i+yLZKWkWE4uG+OZvAUpjq91FX/AGeXc9rZRgzw0++vjmWJM6QRDreEq8df2nNJ6kyUTzS6aRz6zlqLbMKUJdExeiKIOk06mc5obZnYknHiSyU3t/1X4akHxvoE=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790991723

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

%MAKEDEPENDS%
ghc

