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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-99

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41063

%ISIZE%
163724

%SHA256SUM%
75e1b62e87673829aaf6f86080f097ed0bf42dad4032bafdcb178ecc19d622ec

%PGPSIG%
iQIyBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmr1uC0ACgkQeGxj8zDXy5I0hA/2MDkIUSVNwGnnaaEAi4XihdCSZY43GDLewdhACSi5++qIKXnh1/erX8q9QHxc8G4jt4PKAqFhFPP5okewsGgfVS6n2zEbBaqXylNCqamRduRlsHp2r3y8tXfGDTxQVEg/r78JTIaRJCZXjGf92YKb76UPsM3s8KbnM4LU1+CO6VlH10utoWAm+jCOt3/YW8LDG4CRKMelSgP8Xyj45lcVBlFROIuU9QNRjfPLOhas+mW15skOMtsXwLVV3rRf7dHIU/a4BKflE6iUQogs58AdG32SeR9tOdILfDbU1AMUwNUGOcuOaRFzcRbs74WOApBjdXt6/pZS/x+DMZgxxPh4NNw5PnTwGNlOEXWHuDfBjQohU8erEChnw1f0QUqCUOolSsSjVOTxt/5fMMwL1yNq0K9LKAkg1b7r+xRt9yB1KCwamjIMUQhUVuU2Tgd7ThYQnR/1GNKwSbleyeF+QHcDW7hh845FV/1QlXIBnZgWGAWCNBiALZGUBbLgbhhVfQf7h5ljxKyoEBhVa+XifBfyBnEYsg2gXnY5AuqFqax/YB44lo0krbTmTZBrFwztUSNSlUt9I4Yperi3V46V3FmKu/dVrdD6p0Aou/RbMAx1eNLer+p5fLNGo1iB5+lNLLsjdOGxAO0LUPkZJDm6kVkM2+/RrCAx3uennfJnTtd+7Q==

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1794488309

%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

