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

%NAME%
haskell-tamarin-prover-accountability

%BASE%
haskell-tamarin-prover-accountability

%VERSION%
1.12.0-77

%DESC%
Library for accountability for the tamarin prover

%CSIZE%
41105

%ISIZE%
163707

%SHA256SUM%
59e094edec4fab08f143fdb311b44c4ce403a01e485a0734a2630d7afe921909

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq+QKcACgkQeGxj8zDXy5KutQ/+KUJ945nzbmwn3GNA4CNsm3O2wkg0KmFKdU8A7EiV99dblUAtydBMdSpOukIgFNhwY9UndJNCvz68FI/Ti2wUk/6h27Dgb9jxvlcHEmWh8n46Ior9ifcbK4OAqJpVXNGhRFXxcIUsZwgFbydDU79E8MFGpdAl72YVMiMKlKvAzoWD6igRch6wn4L/RxAcmoSF6B0WHwXiaXUxLGWpxTAmhiDRwGnH8PRzNBnlpUzaladOqqPxPsDRncM6FnBfnli5mvQhlKq0DUN7d6pWx/VrC7dW8etNFUmPxXM+AnaVRLPyRctJ3ekpgqxcTsOBiNKrWf7ZrL8FrOPOnmRl0KoGaQfiuI4LSWexN9OvwWbSBmIOb0DPnq/dRA0w8XX3gw2M4b56PO+AVsFKB2uJ+07I+4QQjVjhWAlFaaIFtQ+1yURauiC4yvKVxXCeT8acpAMIJKYIetITaVX9k0vH1COCuYCsqq/qYaDu3WCQtd+qshFPXqndICcqr86FjrfadzZdVVB1CSGKvzMIOALZp9xfHY1xZMfIRAvyeKklyVoQtgxOMl6KxV8gD+skuvxVCfS+ItcJfI+MscAA8Irvum9nEZZEmNPU1/C9YNjDrtz+vgXyyXFFCoPFbPxQeVFACGa8BZhBgLtoM0reUR81jJVgqAWkxGaQgAyBEe+ZzlIdtq4=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790853270

%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

