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

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

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-68

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

%CSIZE%
638659

%ISIZE%
3724993

%SHA256SUM%
347b688ce3dda72c684c69012c3114ec582354b440dc96da16aa802e2cd24edc

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqUREwACgkQeGxj8zDXy5LpAA/8DlHmV7nhEdnPAfS2UvOddJGmqtPexy1BXgWT4vJN0PVgOPwzcg/Y8jUgcZEBbr6LQADI7tj0APM+2+x29BKNUb1MihHI4ZCQlgF28mxo1Ft+iG5/6OqDknkL+sQhEaucoM0eMmMAOQzhBlMxXy88TG+/oii6yIcUfBk9ZSkXvvFCaeqhIYAwPU5aslhfQ5IYFy2TV7YApvGj/PNSTptr5FVZmbs2Lq6sBiSELlQdPDdbmCcKVfl9qRr5WcWrYTpAK42fgGW6Ch+MHC1chqKtWVj2vRkEheYN3/Dv7p1bCjYShTZyB/GgTNEGx6FIyvTyJf03+jINpw5/WbQ519yJ8+7wPTWRqy/n5Hm0NzPaItsrwO/VYkS/ll3JmP7eEb8Z+Z8e5NQkebFa9PXINKy6RPEwJxOBAGRQg6PVVtiYHWMeIRSWupjPAzOnf8N98yYbPvIETYDo2EitEUsG5Dp7UJGER2HvhgHZb6SITO8XCYho4kB0M/5vf0DVfns+jCqXRcec9ztKhn4W079DuU8bo9STRxhs6WqVhd3RH5xT+w0744dpD40LzQj0Zcf1Kpbw2XppVSVsCbFlIluXfj/axUUqZYeAbIWFNtc2H9vjQpLsXBqdZM2goR+bJkcGSYdgB0u6KmnzNamYRGYtV3SEyHyR5MnU5akvn2oG+fIWc0E=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1788101671

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

%MAKEDEPENDS%
ghc

