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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-91

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41175

%ISIZE%
163716

%SHA256SUM%
ede9fe7fca011f64a5dd3cebcf661ecd6450463a256a407b2dc8c7bcc148924c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrTbXoACgkQeGxj8zDXy5LwVRAAk3sa0Npo14NtaURV5KNei2z7MAgD90vSiLSQAAjGoAnOeh5uOoDsBCvH3uv7qFmjmOTNLtn6iwxf+7NZQoO8p0g6pDADpvy8UeFbK4b0nLlHLCxWhXzE95w9FzkGaUd3hWErkFVtfegQQsRH2prbJyitaxTE7lFNidRBCOkRZHXnKomQbbetUW8SiZqqXCsifET2ZtjrTwmxni3ZSgKafFXU+iyctS2iRTP8nC8BQP2XAUsuNbGKPMJhE7j++jvFNbAITG7W/u9cNl6sOJGaRR9twA1ucCX7KtXs+o45lZw+sKIMqlIW+ZWbl3eYbF4NYc+gvn4yJau+UNANxwo1R7lVDKiirPbfgKrUmmjxrtMYfLxGMdTw2CNxm3Gt7wtCjjdcWfEAr3Qnym/tOEbIoPS78LLiZFXJR12iy7lnaGyKE9AG175Iagg5VmIigB/zA+RcmDKvVc/sfyEELQGAWDDwzye0rhT5Y0uO9YjGxDd66CGk0/Xz6mGIn2O0uXtlxuYBZ1Htz5bEqd/iOF9qsVW/k+zcHK/BVKHzWaRbFcPTd+PJO5pbQTrxcqKG7KTQMVT5ZSmqGixHBfz4yI0fTC3s4qAqXw8wAOXAf/evdybGmtC0xdOyPyz86+eZhK5JuiUPlg2SYXoU7tKsBg0BTkmyAJsyr+H1hXfIOEd+row=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792240952

%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

