%FILENAME%
haskell-tamarin-prover-accountability-1.10.0-60-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.10.0-60

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
40848

%ISIZE%
164132

%SHA256SUM%
6a13c3e7516006c68cdd228ccf1ecd19639453a7e0a58be72ad5fc72085ce221

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmiHth4ACgkQeGxj8zDXy5LU0A//cS8WMtOugbB/NhNZFyKbmB/yWiZJ8n8CvawvuiyPb0EKEIec2f8sTbEgO1T9baDCnXvSVWjcCOGY5jJWsoJBgoFBGDCDUT8CCDfdF3BcD0ffOH+ImS2Ik4DN799VqAdbTxjJFeajfQeapGlEBE0Dq3FusZajE3ojgKofGtmMhgHRA3lZa8rG8tLTMtUzXUucTSGFeAearWkoSxcxlJ8Yx8g8ycqzfA/607wLYAriOMryEpjdXRAPypjA9jYgHy89elzMSeIMNN8KDFMWw4kdqAY8HSSbES38TJXm6GB1v/0g4tcoNj9qSvzpSIzyLvzPkPypGTscaItPvRYC6WbR66JQFzvBxJeqOAoI+RgupEFmFRFF2raJlt5Nce0TZ/2Jn11yjPETLH6Me4xTQAoxvOCKFTsY98t1Gg3kfH2+P0vuPBU2ovt4YgunNAxXSAihK4F5zMYqslCw7cDCuQS3pQ1uxbOGouTfydYDx/J+3ak4o5VmLQ9PHWCvXpXAaHi/uq6nQoH+VWgqxVWDZqtL5TB73MNsVi8LF+jPYB5YRGbkjmTR8NEHcQ8bUgI+/yOYi4noOubo2GUmkQDDsDoSXQxkPXfR42Hzj/8QJOx4rwdzdqDj33XXZ6ODTPtVjmx9BEVFbJKOwMTGEaZj2uK4KRBTdzCQyzc489SHhY5EeZk=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1753724418

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

%DEPENDS%
ghc-libs
haskell-aeson
haskell-aeson-pretty
haskell-dlist
haskell-fclabels
haskell-parallel
haskell-safe
haskell-uniplate
haskell-raw-strings-qq
haskell-tamarin-prover-utils
haskell-tamarin-prover-term
haskell-tamarin-prover-theory

%MAKEDEPENDS%
ghc
uusi

