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

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

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-89

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

%CSIZE%
42087

%ISIZE%
170288

%SHA256SUM%
1998373104d30b47c633976ec421bd507f66436f56e773bc92f83e49becac7de

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrMpJsACgkQeGxj8zDXy5KBrg//f/VXbO7c/kJFH4uB6TezJGR4r1I5CpXamjEYjCsV0WxgWY9EkKgSbndn1k2AH+AhTR6sh1ojY6IMAWOuEmBB+cUgT9y5tIN1pHzIt+NkpFwUASwyItFxgKP4iet2it/CJm5LKJU1ZI6TFZIkNN3Tim1aNHFAouth7HTTgBkrdZ2kBDFRcUsVsTqgebkXij0hP8Tr8C+nByTYVOkltZp8u9bv0h4RJI8h+diMkRBQFglqpfdOH1MRG/FALgPvqiUAL4Y1iOMT2KNgjE2Dsmvxvh1TodTdy5DDZphduH6Sbou1ufz4H6RYvPlzjDkurcCw221yV4azwK3hLcreFSwvBOQqyT3jf7ZdxcCYhdT24QcDcWQC9Sm3hi/Ksm6C/Cn7VtJaSnCm9lCQ4Oc7Vn0Xsdm6BIWho1lIkCJSal8YW0NbquvMpKg2LNLUbxN3ar/MZsGNURR19gLbFfz3/99m2GZvOujo9HG+wkV8oYIL+3iZdJaM8W1kRd63x1nHu67d4dDvO9keJr1SmZNFZya4Nnm6pI0ACqrrMn9wbLgh/nJ4rGzNpdUOThIWJUOmBGvDpQE5gkduK457lbiiAbKAYYLBX60IxX6k62vq4FmF0bdGudwDh++LKVxCrPTd0OR3nmQOsHEhj1BsO2YbKgLJ/xw+Y9OChxcj1hjImBcX/uk=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791796362

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

%MAKEDEPENDS%
ghc
uusi

