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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-82

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41156

%ISIZE%
163716

%SHA256SUM%
2fab475d68bb06210a015c4fd466236a4e3f0c7cb356aa9fb44036ffab3d8fee

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrCVm4ACgkQeGxj8zDXy5J5Tw/8CBChHHYlo5WhtyUrad5ZjOtXVKw3ECCUEffLVhdrvvISM4yLcU4Yct3zs83F32YCiU13mI18F1aAg3fIPMi4zV+loG/SlHMYU584FrI8HEdB0sorDyILg0qzelYVUuhX+0shQkzRJeqjLN/NneqnlRgsuPwR7xER6ATqeLdCOJc/j0Qt2J3Zx8VU/bLzafWHXaNkFU1ZWtEV6FJMpvGih3KS2Fvg49AqSXn9nMwrL4uulIzWpxu1vJ0Xh9ohJUUoTMf250SXu5uBUC5/jv4KifPDDAXHVlwEzkxGcf017AySfb/q8e170d1O1aIo4Gz6L1aFcvkM7U3IrRjdoKYSDkLiaS+DxwJgtk8etn0/u8T4xRYAFEQ1PC8GOJ6+5gq6kwin/U3KuymZS2G7oGLraWw5HlUKwiN/3NHx3pUwupBN6i9wJtOJczkQ0YXx4Hoizfmx3TusocO+O1G1mNJkXVbiOHhrBzVPaDiIevKXiWpKnT5W8h+m92kN6lEvqp6GekXrscx7ZhxN4FpiZ91KrAI1vwQpTYgdU405h8DcbMd24zXYXV+uj7disBIQNxeJq4hecfaPSUwRGZLv/ooM/jSnoYZIdzZlyGfQbjjC7WC1ESX4hJn5PyH8ajRreeMUW6vZwO1XMaipQYkfPGBFIDjTz14yPYjRMeb5P04ozhM=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791120985

%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

