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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.10.0-142

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
38969

%ISIZE%
153499

%MD5SUM%
abbb9a73ee0a31864bf7e14ced118abd

%SHA256SUM%
e84efe10a065656d395bb55015a4f0e16c120f9bafc14691423088d6494bf744

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmlacpoACgkQeGxj8zDXy5IlPQ/+P8+OhdLLL5JfUFXxrZFIK36xC76A6xjiRh5xV7EJb6pLc80oyA7wbgJadTtlxSlPW9z8LJ8SxXIYtZB5DIgVtkf+nFtT+41Xa/Y8L+VZwSPTGJlWIeNfLQx2YdA3cS2TSPfFakW2f+OnYbh5hcpjTK74y2UKdDXxlGk3O0VSDVj6T6T0c49Zc7V7BmKnxtMQG1jLE6MsDs1iXOzklwWwjxpNxd0gD8EiolyQ7DdyqJtepsLizsyG4PadcAY8v4qgbeJCKqfIrwwacQn89L+E8Vw7IKnD2MbDaXacV/HLt191tNz1V53frirsiCWVcK1bBg+2dNmg7YwwrnNMAx4g/8+LmFlWHjpuMQLmFpD4ypt5VECSnqpCxgOGsbyZLCeAscnt52RFacSLbHOG6U7y3wI07fTGEPpS/ksKnt31gMkGldkqkiq0gXmxkGf7WngJ2zg44BaNgzjKnj1XxkCOyQTqUtLl2gWf0mP39i+EVoZJwmtWzJvS0j0U/AnL1NMFRLYyB+qY89YlhSWbF9ZmPyqkIyS5kLdCccPjflFtxnWWVbbWBeYLeMN0BtWOLapHdQPySMEVUisB3Lz48Q0KPAVsVBFtlVahEZYOJT4E8XmsgzePw61kDxQwDs6ZmpI/GKtMVL8dTkCVvQfavt91VkBP3qIRCwg9BZMXVsGobIY=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1767535217

%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

