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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-78

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41244

%ISIZE%
163713

%SHA256SUM%
8d2829cc73eaeead4c74674622a4b5b9749bd62be9fcaf1815e0df9f1cbe6d53

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq/FDEACgkQeGxj8zDXy5Kqvg//cqQ1jOd0uVwJVFGNYYHVQXlOqBM+lg1dfFuTAHCCmvWtViyLXIQfgSBb+5LPSd/C2Tw4SpEAiBzvi/EKo/VWZKttqT4FG5O4ZdGKVMmJJt0YfvJIGrMEV2NUUUIroiTEWHzcYsWX9X5vEhmH84y9m4cq+d60JDhxA1WK5N3vOLoqsXL6egJB/fNfbiNND069JgnyTqgAxfMdrtydv44Ul4CIvSLcjs6nTYF+u1U2rFA2eaOkbWtSJ67s2MOOYpb2Y7n7/bd2S8pIbc69unFGc6gf5HlzafXrOWi3epbf0f88hMpARwzzLOigtc+qCaCJtgHRnZEJmF4V2xFl1GRdzpTZ/7Y3gX6qbKzGDF7tZBQhRNBnDDsFxkThmhFLFlPy9arISAOb8NmMJ0Atz7jo/069DwZC3xBbXfGSeA6MWmC2ZpPKmey/IF+v2EeG5imqGPtO+Xbpk7liD8XzbrL7UNBLx69EEeLRD7ObQf40efWAoopUgfIo3WLu0wzFintQQi1eKjwE/NXwE+U1O1gsd5ERx60MJzFp7tieNTnyHrG1W4PBfntOZ+u31hnahe5iqIO3WqOxKns43/0CioBFAiXVUbxPLWXDHF59MWIksi99UZ13mVtAz4VQgbfh0isX8WC6DQFRDyDmsPAlQixGW0hD1i3jDyV7FZaR9UUzahg=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790907378

%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

