%FILENAME%
haskell-tamarin-prover-accountability-debug-1.12.0-87-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-accountability-debug

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-87

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

%CSIZE%
42065

%ISIZE%
170296

%SHA256SUM%
25cbc4102c804890a9278dd095ba47088ab17776aaabe8dc0f5114537b92611f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrKrbIACgkQeGxj8zDXy5IGQQ//XId+hqFTB0FS0eKVtd3i/6kQPLPGWmERvrTpUx4KzpuRh+KOgWQuUBudJ+PIYasnn2M4OnDMOEHN0HLIGFkc0RoNtny4N4qTN3M4YSknLLArqcs6weqxidFmvAqDWOgXZvEn2HKQTEpV0UtKmJt2fPo9jstKFcmNjE6oo7ceKg9SY48d+wJPZmNPIUsSPM+kqkNiisLjNyHxYSDlTS1N8NAYnSUqFrMdzkaFluw9GsGQhpYDxuOjEtXFXeHmuISBcHTBGQP12aL3b9sEVSMs5iWMxGpmpCKbWeOKrvf5Q5HMhmXBbe9NDMS5ZOyrJJUOV8QowuNXjHULvQT13B6SXxpjQ5YPHYC/P7/K4VhhpTfyWiewsf3757jxv1gDiRi5ZivrlOPEIqr4+b9oOWqere3uJ02SndM+NQOkJ62YQ09SE3qQBjJySA5ev6y+7e/v/hlngqNvFfaYC36vAOwr8llo6+9vC+0nxbyiApk/xWEXgCtHAvjbCivozmdIaBpSCsRjBOt96uzQmiMsxzwsRM+QbLNqfPdSAQdUrhTOaGdbzhCueUzPWMN/FYsCVXZ60pHPUBmvvSRVek+WzOwAZLMW8QJzxCSbdmlCBSP6ZhvsP5JYGT9Q7glfKmv5fyly5I+HSOtvm2bomn2xafXqSGomIgeIM5OuPKo0S/8wP6w=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791667560

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

%MAKEDEPENDS%
ghc
uusi

