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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-57

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41283

%ISIZE%
163714

%SHA256SUM%
751a34b0f64fd42fc140fbe85e7f7de4abd3a4b12afe1562a10a7db482704ee5

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo/IxQACgkQeGxj8zDXy5LTYhAAwGs4GvEMLn0KgS8lZa5jxBJMQfH+W2TmSkgN/V8GYcfbY7E+1OCNmk0vpbuZAiYVPG6atvoAheLZVwYCxU8MFCMTKKHXm6nSWO20AGKi26on2+XTlUXmd6BNJR/79NceD3kGN9/QlV1ZGcQhOX9PUObjO2Q8FQjf/M0tveoKIMU54eDFTGjFElNQhWnCGWfZyPGTnmDh5h6K+k6OWU3UszhX0RvUrnSqA+jvezTQs65sm99iFAqnOybCZodO3B0h4Q1TsIWDPhS7C2zgTd2Qk68Tb5abd1MnBbfqfg2NeekWM06uGjXwB3+dC61paO/mYgMO9kmlg2g408K/aSqSDOwkqzHxI6NfrNDDebRJHjEv7jfs4abTllQZZb86JoDpbJum7GWCNrIo6A9TQIrZdOMXLGHyO/lxXCDBcp7jxIYsece55MAktxz2Ef3oQO3Tk5D4Vn2RRLiBWkJL1cR+p4islpRjpV2DH6vZ+bXtkyW/ssFa2t8sDfnQr4gONxeF87N/zJ8EuR0DuUCaomMevItQ6nz8cl0tDwDWnE/VryQRJe1pTSAn4dbX6GAOxIoLGODs+XsxOSb+jNM6V+fZYSFtpYcosVA6SudpLhemU02W9KYoK7QccQ6YD4ow/GJBGbBUO6veecnt1qMgtsUhBTpikmXbLAEdhWPLllaXi8k=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1782522629

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

%DEPENDS%
ghc-libs
haskell-aeson
haskell-aeson-pretty
haskell-dlist
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

