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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.10.0-50

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
40873

%ISIZE%
164142

%SHA256SUM%
430965fa90183276d4341290b944c79b3b079339cb211edad51fffc02a5b9e6c

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmgy+9MACgkQeGxj8zDXy5IPBhAAm3OSl2VKuukq+pSY9wAEGlZihKxG6GIBJzvMOQgj4HfDKF/7OsP0VcxovoFm29mKEKzbYAxUoLq9JedtomC77RMIgQdeEP7wDI5AZN744NSj5OGI1GH8fRsHFmvyU1cKQLRff6jc2d9nsmL50wUCcfONsUjWgZhrglHg96340ciyoTPy6BLZ6BvUxUrJ1H+FYPexzzAAUPVItjHFU+PbfLHkmkVNgOyQyTLlWGjjfZWfbxvHI0dL3HtKeLzGRDfzEJ2ppOSP/156lXjftHMZCphCtfTp7399ObStfVSM5YVlQSE83ebd9bVSPEYHFpLvs+KEQPkNgb4jdx5JCS1Io5p/hiCfCMyMecSsDB9fVji073pW6gbfxNOGhbuCZ4rQlEwUc9ziC7XGqgmUOP4wmz5PJJysaXoLKJy9eMZdwUQh8rLOFW9Dwyjh4TsuECoqN8vUZYWOyMPJe5iAZdgrvzDvyi801rn858goELEfBoFal4Qpnfv6V9TTOg4ae3isSFEW91b95g+1YBxdY19Lz/aiMqPu4AiVRUENRiSORVIE+mdefASxDjp6jVy99HWRv+yg+8T5EmzlyKA9x93B/LPc5gwyO7YC7fpcant8UOyb4e2LCcOg3n2nZ4rBFEkkvCEVuPyXEhsForROjxLh5eVfxUcG10moeZ4F7HUxYlc=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1748171697

%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

