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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.10.0-3

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41664

%ISIZE%
169485

%SHA256SUM%
dcf07886eee054682ac0a91ffe8474d41412d39581c4565adf080a966e844b9e

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmd4P6oACgkQeGxj8zDXy5J9Pg//dxwAqC+BIEe5v1ISRlGPMdSsjunbNXwpImMEpO7E4bs+dnXSxy9zdCd2I2H/ad3OhLESu1AR1iKMLHe0jLPMaBn2JDfDRvNqF3tLezD2qNF9lb/xzrrjTgmHy4eolYLgy39POylozZ+0Te6f1haSgpKjs8hkv87qJad69bIJvrka7cuS3EaKbefK36/X79M9m6FCS8nlYSX6WYV+44X248osg206heMjTxYlnF5jw9rMwwq8nq18aYEE0fGPkQ3QSGQuQyj6ulttlxEpv7iBTQAyGKJToDzei8hCbj3gre8S8gjK2m4k9xgjblAGg+Pwo/8eWBtci8CEEMKp/dQATnKCrzfnikYmVD404HwumpSQLMZ3OEOMpz9wvrAKzLPdTf7qkq6O4fXbtl6ZLVCb5J5PcqwrsfluTYKG2TbOCCKoOj4HBDopF/u5XIamwyus4mBoDNL6dUtgRTBOORHbNxVo7vFnX25HQCW3rvtX30NuLHN0zWtO2S0mSihgqSgIdB2ECYRKojCt0Z7vqd3MBSzRFpGYZttoFdLFlCVvK1lLv1h++BUDvEC5AgDsFUQ4JgewRj+GmiHc9SKi+DkKnunuRJaZjZCD5EaNR3pWQ9XqnU6LpfuZnLPiSeRmz1XWS3b28SM+rOOquqeHt9nFp8YgbIveiYekb8QvDgfqP9Y=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1735933843

%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

